Sciweavers

1426 search results - page 13 / 286
» Specification of nonmonotonic reasoning
Sort
View
IJCAI
1997
14 years 11 months ago
Nonmonotonic Reasoning and Multiple Belief Revision
Dongmo Zhang, Shifu Chen, Wujia Zhu, Hongbing Li
AMAI
1998
Springer
14 years 9 months ago
Nonmonotonic Reasoning with Multiple Belief Sets
ns. Finally, we study abstract properties of selection operators connected to belief set operators, which are used to choose some of the possible belief sets.
Joeri Engelfriet, Heinrich Herre, Jan Treur
FAABS
2004
Springer
15 years 1 months ago
Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols
The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a h...
Jaime Ramírez, Angélica de Antonio
81
Voted
CADE
2010
Springer
14 years 10 months ago
Global Caching for Coalgebraic Description Logics
Coalgebraic description logics offer a common semantic umbrella for extensions of description logics with reasoning principles outside relational semantics, e.g. quantitative uncer...
Rajeev Goré, Clemens Kupke, Dirk Pattinson,...