3776 search results - page 210 / 756 » Partition-Based Logical Reasoning |
131
click to vote
ECSQARU
1999
Springer
15 years 8 months ago
1999
Springer
In this paper we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning. For this we conside...
124
Voted
ICLP
1991
Springer
15 years 7 months ago
1991
Springer
Well Founded Semantics is adequate to capture nonmonotonic reasoning if we interpret the Well Founded model of a program P as a (possibly incomplete) view of the world. Thus the W...
105
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...
122
click to vote
OWLED
2008
15 years 5 months ago
2008
Chemical Entities of Biological Interest (ChEBI) is a database and ontology that represents biochemical knowledge about small molecules. Recent changes to the ontology have created...
142
click to vote
CADE
2003
Springer
16 years 4 months ago
2003
Springer
In this paper we present a translation principle, called the axiomatic translation, for reducing propositional modal logics with background theories, including triangular propertie...