3776 search results - page 217 / 756 » Partition-Based Logical Reasoning |
113
Voted
VLDB
1994
ACM
15 years 7 months ago
1994
ACM
In this paper, we consider various spatial relationships that are of general interest in pictorial database systems. We present a set of rules that allow us to deduce new relation...
133
Voted
JAPLL
2006
15 years 3 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
136
Voted
ENTCS
2007
15 years 3 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
116
Voted
CADE
2008
Springer
16 years 4 months ago
2008
Springer
One of the keys to the success of the Thousands of Problems for Theorem Provers (TPTP) problem library and related infrastructure is the consistent use of the TPTP language. This p...
124
Voted
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...