3776 search results - page 197 / 756 » Partition-Based Logical Reasoning |
121
Voted
CLIMA
2004
15 years 5 months ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...
352
Voted
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
114
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
This note provides background information and references to the tutorial on recent research developments in logic programming inspired by need of knowledge representation.
119
Voted
IGPL
2006
15 years 3 months ago
2006
Very recently, a (fuzzy modal) logic to reason about coherent conditional probability, in the sense of de Finetti, has been introduced by the authors. Under this approach, a condi...
128
Voted
WOA
2000
15 years 5 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...