3776 search results - page 344 / 756 » Partition-Based Logical Reasoning |
162
click to vote
LPAR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic thanks to ...
136
click to vote
TARK
2005
Springer
15 years 10 months ago
2005
Springer
: Two difficult issues for the logic of knowledge have been logical omniscience and common knowledge. Our existing logics of knowledge based on Kripke structures seem to justify lo...
148
click to vote
LPNMR
2004
Springer
15 years 10 months ago
2004
Springer
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX , where k is a non-negative integer and X is a finite set of ...
142
click to vote
NMR
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents statistical default logic, an expansion of classical (i.e., Reiter) default logic that allows us to model common inference patterns found in standard inferenti...
134
click to vote
ECAI
1990
Springer
15 years 8 months ago
1990
Springer
Modal logics based on Kripke style semantics are the prominent formalismin AI for modeling beliefs. Kripke semantics involve a collection of possible worlds and a relation among t...