Search Sciweavers | Sciweavers

15

TABLEAUX
2007
Springer

116views Artificial Intelligence» more TABLEAUX 2007»

Tree-Sequent Methods for Subintuitionistic Predicate Logics

13 years 11 months ago

Subintuitionistic logics are a class of logics deﬁned by using Kripke models with more general conditions than those for intuitionistic logic. In this paper we study predicate lo...

Ryo Ishigaki, Kentaro Kikuchi

claim paper

Read More »

10

click to vote

ICLP
2007
Springer

112views Automated Reasoning» more ICLP 2007»

Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

13 years 11 months ago

Download www.tcs.hut.fi

Matti Järvisalo, Emilia Oikarinen

claim paper

Read More »

12

click to vote

LPAR
2007
Springer

114views Automated Reasoning» more LPAR 2007»

One-Pass Tableaux for Computation Tree Logic

13 years 11 months ago

Download twb.rsise.anu.edu.au

Pietro Abate, Rajeev Goré, Florian Widmann

claim paper

Read More »

10

click to vote

DLOG
2007

74views Automated Reasoning» more DLOG 2007»

Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods

13 years 7 months ago

Download ftp.informatik.rwth-aachen.de

Thorsten Liebig, Stephan Scheele, Julian Lambertz

claim paper

Read More »

16

click to vote

JAR
2007

77views more JAR 2007»

Superposition-based Equality Handling for Analytic Tableaux

13 years 5 months ago

Download www.uio.no

We present a variant of the basic ordered superposition rules to handle equality in an analytic free-variable tableau calculus. We prove completeness of this calculus by an adaptat...

Martin Giese

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers