1746 search results - page 239 / 350 » A Constructive Semantics for ALC |
90
Voted
IJCAI
1989
15 years 1 months ago
1989
Platypus is a constraint-based reasoning engine for synthesis, diagnosis and other recognition tasks. While its target applications are similar to those of many rule-based expert ...
90
Voted
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
A monadic parser combinator library which guarantees termination of parsing, while still allowing many forms of left recursion, is described. The library's interface is simil...
123
Voted
JTRES
2010
ACM
15 years 29 days ago
2010
ACM
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
196
Voted
BDA
2007
15 years 2 months ago
2007
In content-based retrieval, relevance feedback (RF) is a noticeable method for reducing the “semantic gap” between the low-level features describing the content and the usually...
127
click to vote
AAMAS
2008
Springer
15 years 27 days ago
2008
Springer
This paper presents a BDI-based agent-oriented programming language, called 2APL (A Practical Agent Programming Language). This programming language facilitates the implementation...