3776 search results - page 209 / 756 » Partition-Based Logical Reasoning |
153
click to vote
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in computer science can be compiled to SAT and then effectively decided using state-of-th...
116
click to vote
JANCL
2000
15 years 3 months ago
2000
Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion o...
130
Voted
DLOG
2009
15 years 1 months ago
2009
The CEL system is known for its scalability of reasoning in the lightweight DL EL++ which has been proved suitable for several ontology applications, most notably from the life sci...
104
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Previous CASC competitions have focused on proving difficult problems on small numbers of axioms. However, typical reasoning applications for expert systems rely on knowledge base...
152
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...