Search Sciweavers | Sciweavers

64

CORR
2006
Springer

130views Education» more CORR 2006»

Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic

14 years 9 months ago

There has been a great deal of work on characterizing the complexity of the satisfiability and validity problem for modal logics. In particular, Ladner showed that the consistency...

Joseph Y. Halpern, Leandro Chaves Rêgo

claim paper

Read More »

56

click to vote

TABLEAUX
1999
Springer

133views Artificial Intelligence» more TABLEAUX 1999»

Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems

15 years 2 months ago

Download www.racer-systems.com

In this paper we present the results of applying HAM-ALC, a description logic system for ALCNR, to modal logic SAT problems.

Volker Haarslev, Ralf Möller

claim paper

Read More »

84

click to vote

KI
1999
Springer

135views Artificial Intelligence» more KI 1999»

On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics

15 years 2 months ago

Download www.dbnet.ece.ntua.gr

Among the formalisms for qualitative spatial reasoning, the Region Connection Calculus and its variant, the constraint algebra RCC8, have received particular attention recently. A...

Werner Nutt

claim paper

Read More »

96

click to vote

IJCAI
1997

98views Artificial Intelligence» more IJCAI 1997»

A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics

14 years 11 months ago

Download www.cs.man.ac.uk

In the paper, we consider the problem of supporting automated reasoning in a large class of knowledge representation formalisms, including terminological and epistemic logics, who...

Angelo Montanari, Alberto Policriti

claim paper

Read More »

91

click to vote

SYNASC
2008
IEEE

208views Algorithms» more SYNASC 2008»

On Some Problems of Efficient Inference Search in First-Order Cut-Free Modal Sequent Calculi

15 years 4 months ago

Download www.math.nsc.ru

Alexander V. Lyaletski

claim paper