Search Sciweavers | Sciweavers

32

DLOG
2010

164views Automated Reasoning» more DLOG 2010»

Automata-Based Abduction for Tractable Diagnosis

13 years 5 months ago

Abstract. Abductive reasoning has been recognized as a valuable complement to deductive inference for tasks such as diagnosis and integration of incomplete information despite its ...

Thomas Hubauer, Steffen Lamparter, Michael Pirker

claim paper

Read More »

16

click to vote

IJCAI
1997

95views Artificial Intelligence» more IJCAI 1997»

Towards a Complete Classification of Tractability in Allen's Algebra

13 years 9 months ago

Download dli.iiit.ac.in

We characterise the set of subalgebras of Allen's algebra which have a tractable satisfiability problem, and in addition contain certain basic relations. The conclusion is th...

Thomas Drakengren, Peter Jonsson

claim paper

Read More »

44

click to vote

FROCOS
2011
Springer

220views Control Systems» more FROCOS 2011»

Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models

12 years 7 months ago

Download www.dcs.bbk.ac.uk

Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Uniﬁed Modelli...

Alessandro Artale, Roman Kontchakov, Vladislav Ryz...

claim paper

Read More »

27

click to vote

KR
2010
Springer

235views Automated Reasoning» more KR 2010»

Towards Fixed-Parameter Tractable Algorithms for Argumentation

14 years 14 days ago

Download www.dbai.tuwien.ac.at

Abstract argumentation frameworks have received a lot of interest in recent years. Most computational problems in this area are intractable but several tractable fragments have be...

Wolfgang Dvorák, Reinhard Pichler, Stefan W...

claim paper

Read More »

18

click to vote

EUROCAST
2007
Springer

105views Hardware» more EUROCAST 2007»

Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic

13 years 9 months ago