Search Sciweavers | Sciweavers

955 search results - page 15 / 191

» Tractable Temporal Reasoning

click to vote

DLOG
2004

79views Automated Reasoning» more DLOG 2004»

Reasoning on Temporal Conceptual Schemas with Dynamic Constraints

13 years 9 months ago

Download sunsite.informatik.rwth-aachen.de

Alessandro Artale

claim paper

Read More »

click to vote

LICS
2006
IEEE

96views Automated Reasoning» more LICS 2006»

On Tractability and Congruence Distributivity

14 years 1 months ago

Download www.math.mcmaster.ca

Constraint languages that arise from ﬁnite algebras have recently been the object of study, especially in connection with the Dichotomy Conjecture of Feder and Vardi. An importa...

Emil W. Kiss, Matthew Valeriote

claim paper

Read More »

click to vote

FLAIRS
2008

108views Artificial Intelligence» more FLAIRS 2008»

Tractable Class of a Problem of Goal Satisfaction in Mutual Exclusion Network

13 years 10 months ago

Download ktiml.mff.cuni.cz

In this paper we describe a class of a problem of goal satisfaction in mutual exclusion network that can be solved in polynomial time. This problem provides a common basis for rea...

Pavel Surynek

claim paper

Read More »

click to vote

CADE
2003
Springer

97views Logical Reasoning» more CADE 2003»

Monodic Temporal Resolution

14 years 8 months ago