2022 search results - page 399 / 405 » Complexity of Non-Monotonic Logics |
100
click to vote
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
110
click to vote
AI
2007
Springer
15 years 17 days ago
2007
Springer
Although reasoning about what is the case has been the historic focus of logic, reasoning about what should be done is an equally important capacity for an intelligent agent. Reas...
117
Voted
AIL
2007
15 years 17 days ago
2007
In order to improve the management of copyright in the Internet, known as Digital Rights Management, there is the need for a shared language for copyright representation. Current a...
100
Voted
ARTMED
2010
15 years 17 days ago
2010
Objective: The programming language Arden Syntax has been optimised for use in clinical decision support systems. We describe an extension of this language named Fuzzy Arden Synta...
133
Voted
BMCBI
2008
15 years 17 days ago
2008
Background: This paper describes techniques for accelerating the performance of the string set matching problem with particular emphasis on applications in computational proteomic...