4573 search results - page 222 / 915 » Automated Reasoning |
150
click to vote
TIME
1994
IEEE
15 years 10 months ago
1994
IEEE
We describe in this article an abductive procedure based on a constrained resolution principle. The choice of constrained resolution is motivated by the whish to gain full advanta...
148
click to vote
EWCBR
1994
Springer
15 years 10 months ago
1994
Springer
Theusual case-basedreasoningapproachassumesthat foreachgivenprobleminstanceit is necessaryto retrieve fromscratcha similarcasefromthe casebase.Therefore, anindexedmemorystmctareor...
182
click to vote
FLOPS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a practical tool for defining and proving properties of recursive functions in the Coq proof assistant. The tool generates from pseudo-code the graph of the in...
148
click to vote
DLOG
2004
15 years 8 months ago
2004
We show how a tableaux algorithm for SHIQ can be extended to support role boxes that include range and domain axioms, prove that the extended algorithm is still a decision procedur...
195
click to vote
DLOG
2011
14 years 10 months ago
2011
We study a restriction of the classification procedure for EL++ where the inference rule for complex role inclusion axioms (RIAs) is applied in a “left-linear” way in analogy ...