Search Sciweavers | Sciweavers

381 search results - page 18 / 77

» Tableaux for Acceptance Logic

click to vote

DLOG
2004

144views Automated Reasoning» more DLOG 2004»

A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN

13 years 10 months ago

Download sunsite.informatik.rwth-aachen.de

We present algorithms based on truth-prefixed tableaux to solve both Concept Abduction and Contraction in ALN DL. We also analyze the computational complexity of the problems, sho...

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...

claim paper

Read More »

click to vote

CADE
2007
Springer

133views Logical Reasoning» more CADE 2007»

Hyper Tableaux with Equality

14 years 9 months ago

Download users.rsise.anu.edu.au

Abstract. In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equ...

Björn Pelzer, Peter Baumgartner, Ulrich Furba...

claim paper

Read More »

click to vote

CSL
1995
Springer

92views Automated Reasoning» more CSL 1995»

Deduction by Combining Semantic Tableaux and Integer Programming

14 years 7 days ago

Download www.uni-koblenz.de

In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...

Bernhard Beckert, Reiner Hähnle

claim paper

Read More »

click to vote

IJAR
2007

68views more IJAR 2007»

A probabilistic logic based on the acceptability of gambles

13 years 8 months ago