258 search results - page 41 / 52 » Nonmonotonic Reasoning |
IJCAI
1993
15 years 7 days ago
1993
These notes discuss formalizing contexts as first class objects. The basic relation is ist(c, p). It asserts that the proposition p is true in the context c. The most important f...
136
Voted
LOPSTR
2009
Springer
15 years 5 months ago
2009
Springer
Answer Set Programming (ASP) is a powerful paradigm of logic programming for non-monotonic reasoning. However, the restriction of “grounded range-restricted function-free normal ...
77
Voted
ATAL
2005
Springer
15 years 4 months ago
2005
Springer
This paper aims at proposing a general formal framework for dialogue between autonomous agents which are looking for a common agreement about a collective choice. The proposed set...
79
Voted
ECAI
2000
Springer
15 years 3 months ago
2000
Springer
This paper proposes new algorithms for the Binate Covering Problem (BCP), a well-known restriction of Boolean Optimization. Binate Covering finds application in many areas of Com...
ATAL
2006
Springer
15 years 2 months ago
2006
Springer
The AgentSpeak agent-oriented programming language has recently been extended with a number of new features, such as speech-act based communication, internal belief additions, and...