908 search results - page 166 / 182 » Generating maximal models using the stable model semantics |
149
click to vote
PLDI
1997
ACM
15 years 8 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
155
click to vote
PAMI
2007
15 years 3 months ago
2007
— This paper presents a novel approach for visual scene modeling and classification, investigating the combined use of text modeling methods and local invariant features. Our wo...
153
click to vote
AIPS
2008
15 years 6 months ago
2008
As no plan can cover all possible contingencies, the ability to detect failures during plan execution is crucial to the robustness of any autonomous system operating in a dynamic ...
149
click to vote
CN
1999
15 years 3 months ago
1999
The paper argues for the use of general and intuitive knowledge representation languages (and simpler notational variants, e.g. subsets of natural languages) for indexing the cont...
146
click to vote
AUSDM
2007
Springer
15 years 10 months ago
2007
Springer
Argumentation allows agents to exchange additional information to argue about their beliefs and other mental attitudes during the negotiation process. Utterances and subsequent obs...