37 search results - page 1 / 8 » A Tractability Result for Reasoning with Incomplete First-Or... |
IJCAI
2003
13 years 6 months ago
2003
In previous work, Levesque proposed an extension to classical databases that would allow for a certain form of incomplete first-order knowledge. Since this extension was suffici...
KR
1998
Springer
13 years 8 months ago
1998
Springer
AAAI
1990
13 years 5 months ago
1990
Since knowledge bases (KBs) are usually incomplete, they should be able to provide information regarding their own incompleteness, which requires them to introspect on what they k...
AAAI
2012
11 years 7 months ago
2012
Tractable subsets of first-order logic are a central topic in AI research. Several of these formalisms have been used as the basis for first-order probabilistic languages. Howev...
CSFW
2003
IEEE
13 years 10 months ago
2003
IEEE
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...