Results 1  10
of
939
Twentyone Large Tractable Subclasses of Allen's Algebra
 ARTIFICIAL INTELLIGENCE
, 1997
"... This paper continues Nebel and Burckert's investigation of Allen's interval algebra by presenting nine more maximal tractable subclasses of the algebra (provided that P != NP), in addition to their previously reported ORDHorn subclass. Furthermore, twelve tractable subclasses are identifi ..."
Abstract

Cited by 23 (8 self)
 Add to MetaCart
This paper continues Nebel and Burckert's investigation of Allen's interval algebra by presenting nine more maximal tractable subclasses of the algebra (provided that P != NP), in addition to their previously reported ORDHorn subclass. Furthermore, twelve tractable subclasses
Tractable Disjunctions of Linear Constraints: Basic Results and Applications to Temporal Reasoning
 Theoretical Computer Science
, 1996
"... We study the problems of deciding consistency and performing variable elimination for disjunctions of linear inequalities and disequations with at most one inequality per disjunction. This new class of constraints extends the class of generalized linear constraints originally studied by Lassez an ..."
Abstract

Cited by 52 (3 self)
 Add to MetaCart
algorithms for the OrdHorn subclass of Allen's interval formalism. We also show that there is no low level of local consistency that can guarantee global consistency for the OrdHorn subclass. This property distinguishes the OrdHorn subclass from the pointizable subclass (for which strong 5
Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra
 Journal of the ACM
, 1995
"... We introduce a new subclass of Allen's interval algebra we call "ORDHorn subclass," which is a strict superset of the "pointisable subclass." We prove that reasoning in the ORDHorn subclass is a polynomialtime problem and show that the pathconsistency method is sufficient ..."
Abstract

Cited by 195 (8 self)
 Add to MetaCart
We introduce a new subclass of Allen's interval algebra we call "ORDHorn subclass," which is a strict superset of the "pointisable subclass." We prove that reasoning in the ORDHorn subclass is a polynomialtime problem and show that the pathconsistency method
Maximal Tractable Subclasses of Allen's Interval Algebra: Preliminary Report
 IN AAAI '96
, 1996
"... This paper continues Nebel and Burckert's investigation of Allen's interval algebra by presenting nine more maximal tractable subclasses of the algebra (provided that P != NP), in addition to their previously reported ORDHorn subclass. Furthermore, twelve tractable subclasses are identifi ..."
Abstract

Cited by 20 (9 self)
 Add to MetaCart
This paper continues Nebel and Burckert's investigation of Allen's interval algebra by presenting nine more maximal tractable subclasses of the algebra (provided that P != NP), in addition to their previously reported ORDHorn subclass. Furthermore, twelve tractable subclasses
Global Consistency in Interval Algebra Networks: Tractable Subclasses
 In Proc. ECAI'96
, 1996
"... . Global consistency is an important property in binary constraint satisfaction problems. It implies minimality in the sense that the edges contain all and only the labels that can participate in a global solution, which, for instance, is an important property in querying temporal knowledge bases. A ..."
Abstract

Cited by 9 (0 self)
 Add to MetaCart
to any network expressed in either of the two subclasses leads to a globally consistent network. One of the two subclasses covers more than 60% of the ORDHorn subclass. Keywords: Complexity of Reasoning, ConstraintBased Reasoning, Temporal Reasoning. 1 INTRODUCTION Representing and reasoning about
Global Consistency in Interval Algebra Networks: Tractable Subclasses
 In Proc. ECAI'96
, 1996
"... . Global consistency is an important property in binary constraint satisfaction problems. It implies minimality in the sense that the edges contain all and only the labels that can participate in a global solution, which, for instance, is an important property in querying temporal knowledge bases. A ..."
Abstract
 Add to MetaCart
to any network expressed in either of the two subclasses leads to a globally consistent network. One of the two subclasses covers more than 60% of the ORDHorn subclass. Keywords: Complexity of Reasoning, ConstraintBased Reasoning, Temporal Reasoning. 1 INTRODUCTION Representing and reasoning about
Solving Hard Qualitative Temporal Reasoning Problems: Evaluating the Efficiency of Using the ORDHorn Class
 Constraints
, 1997
"... While the worstcase computational properties of Allen's calculus for qualitative temporal reasoning have been analyzed quite extensively, the determination of the empirical efficiency of algorithms for solving the consistency problem in this calculus has received only little research attent ..."
Abstract

Cited by 68 (6 self)
 Add to MetaCart
attention. In this paper, we will demonstrate that using the ORDHorn class in Ladkin and Reinefeld's backtracking algorithm leads to performance improvements when deciding consistency of hard instances in Allen's calculus. For this purpose, we prove that Ladkin and Reinefeld's algorithm
Tractable Disjunctions of Linear Constraints
 Theoretical Computer Science
, 1996
"... We study the problems of deciding consistency and performing variable elimination for disjunctions of linear inequalities and inequations with at most one inequality per disjunction. This new class of constraints extends the class of generalized linear constraints originally studied by Lassez and ..."
Abstract
 Add to MetaCart
reasoning algorithms for the OrdHorn subclass of Allen's interval formalism. This answers an open question posed by Nebel and Burckert. 1 Introduction Linear constraints over the reals have recently been studied in depth by researchers in constraint logic programming (CLP) and constraint databases
Wireless Communications
, 2005
"... Copyright c ○ 2005 by Cambridge University Press. This material is in copyright. Subject to statutory exception and to the provisions of relevant collective licensing agreements, no reproduction of any part may take place without the written permission of Cambridge University ..."
Abstract

Cited by 1129 (32 self)
 Add to MetaCart
Copyright c ○ 2005 by Cambridge University Press. This material is in copyright. Subject to statutory exception and to the provisions of relevant collective licensing agreements, no reproduction of any part may take place without the written permission of Cambridge University
A LinearProgramming Approach to Temporal Reasoning
 IN PROCEEDINGS OF AAAI96
, 1996
"... We present a new formalism, Horn Disjunctive Linear Relations (Horn DLRs), for reasoning about temporal constraints. We prove that deciding satisfiability of sets of Horn DLRs is polynomial by exhibiting an algorithm based upon linear programming. Furthermore, we prove that most other approache ..."
Abstract

Cited by 26 (6 self)
 Add to MetaCart
approaches to tractable temporal constraint reasoning can be encoded as Horn DLRs, including the ORDHorn algebra and most methods for purely quantitative reasoning.
Results 1  10
of
939