4617 search results - page 288 / 924 » Automation of Diagrammatic Reasoning |
196
click to vote
DEON
2010
Springer
15 years 11 months ago
2010
Springer
The aim of this paper is to strengthen the point made by Horty about the relationship between reason holism and moral particularism. In the literature prima facie obligations have ...
199
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
Ontologies can be used to provide an enriched vocabulary for the formulation of queries over instance data. We identify query emptiness and predicate emptiness as two central reas...
193
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
Hyper tableau reasoning is a version of clausal form tableau reasoning where all negative literals in a clause are resolved away in a single inference step. Constrained hyper table...
171
click to vote
AI
2010
Springer
15 years 6 months ago
2010
Springer
We develop a new automated reasoning technique for the situation calculus that can handle a class of queries containing universal quantication over situation terms. Although such ...
176
click to vote
FMSD
2008
15 years 6 months ago
2008
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...