465 search results - page 30 / 93 » Knowledge and the Problem of Logical Omniscience |
JOLLI
2010
13 years 7 months ago
2010
Abstract The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of th...
DEXA
2008
Springer
13 years 10 months ago
2008
Springer
In professional environments which are characterized by a domain (Medicine, Law, etc.), information retrieval systems must be able to process precise queries, mostly because of the...
ECAI
2006
Springer
14 years 18 days ago
2006
Springer
Abstract. Most existing work on knowledge representation and reasoning assumes that the updating of beliefs is performed off-line, and that reasoning from the beliefs is performed ...
WOA
2000
13 years 10 months ago
2000
This paper presents a language for coordinating several logic-based agents capable of abductive reasoning. The system is particularly suited for solving problems with incomplete k...
ESWS
2005
Springer
14 years 2 months ago
2005
Springer
There is an ongoing discussion whether reasoning in the Semantic Web should be monotonic or not. It seems however that the problem concerns not only the reasoning over knowledge bu...