Sciweavers

1426 search results - page 13 / 286
» Specification of nonmonotonic reasoning
Sort
View
IJCAI
1997
15 years 1 months ago
Nonmonotonic Reasoning and Multiple Belief Revision
Dongmo Zhang, Shifu Chen, Wujia Zhu, Hongbing Li
AMAI
1998
Springer
14 years 11 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 3 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
95
Voted
CADE
2010
Springer
15 years 26 days 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,...