3776 search results - page 81 / 756 » Partition-Based Logical Reasoning |
118
click to vote
SARA
2009
Springer
15 years 9 months ago
2009
Springer
Real-world automated reasoning systems must contend with inconsistencies and the vast amount of information stored in relational databases. In this paper, we introduce compilation...
152
click to vote
ESWS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The demonstration presents Pronto - a prototype of a nonmonotonic probabilistic reasoner for very expressive Description Logics. Pronto is built on top of the OWL DL reas...
123
Voted
DLOG
2004
15 years 3 months ago
2004
The last decade of basic research in the area of Description Logics (DL) has created a stable theory, efficient inference procedures, and has demonstrated a wide applicability of ...
112
click to vote
ECAI
1994
Springer
15 years 6 months ago
1994
Springer
Default logic, one of the best known formalisms to express common sense reasoning, does not allow to reason by cases in its standard formulations. We propose a natural and easy way...
139
click to vote
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
Optimistic concurrency algorithms provide good performance for parallel programs but they are extremely hard to reason about. Program logics such as concurrent separation logic and...