Towards a general theory of action and time
Artificial Intelligence
Constraint propagation algorithms for temporal reasoning: a revised report
Readings in qualitative reasoning about physical systems
Exact and approximate reasoning about temporal relations
Computational Intelligence
Temporally distributed symptoms in technical diagnosis
Temporally distributed symptoms in technical diagnosis
Temporal reasoning and planning
Reasoning about plans
Temporal reasoning based on semi-intervals
Artificial Intelligence
Towards coordinated temporal multimedia presentations
Intelligent multimedia interfaces
Complexity and algorithms for reasoning about time: a graph-theoretic approach
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Unit Refutations and Horn Sets
Journal of the ACM (JACM)
Maintaining knowledge about temporal intervals
Communications of the ACM
Synthesizing constraint expressions
Communications of the ACM
Convex Relations between Time Intervalls
5. Österreichische Artificial Intelligence-Tagung
An algebra for cyclic ordering of 2D orientations
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Querying temporal constraint networks in PTIME
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Building tractable disjunctive constraints
Journal of the ACM (JACM)
Automated complexity analysis based on ordered resolution
Journal of the ACM (JACM)
Tractable disjunctions of linear constraints: basic results and applications to temporal reasoning
Theoretical Computer Science
The Logical Approach to Temporal Reasoning
Artificial Intelligence Review
Fast algebraic methods for interval constraint problems
Annals of Mathematics and Artificial Intelligence
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Spatial Reasoning About Points in a Multidimensional Setting
Applied Intelligence
Querying Temporal Constraint Networks: A Unifying Approach
Applied Intelligence
Temporal Constraints: A Survey
Constraints
’’Corner‘‘ Relations in Allen‘s algebra
Constraints
Determining Consistency of Topological Relations
Constraints
Constraints
Spatial Cognition and Computation
Solving multi-granularity temporal constraint networks
Artificial Intelligence
Disjunctions, independence, refinements
Artificial Intelligence
The phase transition in random horn satisfiability and its algorithmic implications
Random Structures & Algorithms
Mental Models in Spatial Reasoning
Spatial Cognition, An Interdisciplinary Approach to Representing and Processing Spatial Knowledge
Spatial Reasoning with Topological Information
Spatial Cognition, An Interdisciplinary Approach to Representing and Processing Spatial Knowledge
The Influence of Linear Shapes on Solving Interval-Based Configuration Problems
Spatial Cognition II, Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications
Interactive Layout Generation with a Diagrammatic Constraint Language
Spatial Cognition II, Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications
INDU: An Interval and Duration Network
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation
COSIT 2001 Proceedings of the International Conference on Spatial Information Theory: Foundations of Geographic Information Science
STDBM '99 Proceedings of the International Workshop on Spatio-Temporal Database Management
Orthogonal Relations for Reasoning about Abstract Events
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
The Complexity of Constraints on Intervals and Lengths
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
Refinements and Independence: A Simple Method for Identifying Tractable Disjunctive Constraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Some Observations on Durations, Scheduling and Allen's Algebra
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
New Tractable Classes from Old
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Improving Reasoning Efficiency for Subclasses of Allen's Algebra with Instantiation Intervals
KI '99 Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
The Point Algebra for Branching Time Revisited
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
A Fuzzy Extension of Allen`s Interval Algebra
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
A method for metric temporal reasoning
Eighteenth national conference on Artificial intelligence
Qualitative spatiotemporal representation and reasoning: a computational perspective
Exploring artificial intelligence in the new millennium
New tractable constraint classes from old
Exploring artificial intelligence in the new millennium
Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra
Journal of the ACM (JACM)
New Tractable Classes From Old
Constraints
Point algebras for temporal reasoning: algorithms and complexity
Artificial Intelligence
Combining heterogeneous temporal information: A case study
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Composing cardinal direction relations
Artificial Intelligence
Combining interval-based temporal reasoning with general TBoxes
Artificial Intelligence
On-line algorithms for networks of temporal constraints
Journal of Discrete Algorithms
Implementing a Test for Tractability
Constraints
The complexity of constraint satisfaction problems for small relation algebras
Artificial Intelligence
Relation Algebras and their Application in Temporal and Spatial Reasoning
Artificial Intelligence Review
On the consistency of cardinal direction constraints
Artificial Intelligence
Spatial and temporal reasoning: beyond Allen's calculus
AI Communications - Special issue on: Spatial and temporal reasoning
RCC8 binary constraint network can be consistently extended
Artificial Intelligence
The algebra IAfuz: a framework for qualitative fuzzy temporal reasoning
Artificial Intelligence
Using a temporal constraint network for business process execution
ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
Complexity classification in qualitative temporal constraint reasoning
Artificial Intelligence
Spatial and temporal reasoning: beyond Allen's calculus
AI Communications - Spatial and Temporal Reasoning
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
Determining the consistency of partial tree descriptions
Artificial Intelligence
A Family of Directional Relation Models for Extended Objects
IEEE Transactions on Knowledge and Data Engineering
GNet: A generalized network model and its applications in qualitative spatial reasoning
Information Sciences: an International Journal
Temporal reasoning about fuzzy intervals
Artificial Intelligence
The complexity of temporal constraint satisfaction problems
STOC '08 Proceedings of the fortieth annual ACM symposium on Theory of computing
A Workflow Engine-Driven SOA-Based Cooperative Computing Paradigm in Grid Environments
International Journal of High Performance Computing Applications
Modelling and solving temporal reasoning as propositional satisfiability
Artificial Intelligence
Non-dichotomies in Constraint Satisfaction Complexity
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Qualitative design support for engineering and architecture
Advanced Engineering Informatics
Constraint Satisfaction Problems with Infinite Templates
Complexity of Constraints
Maximal infinite-valued constraint languages
Theoretical Computer Science
Temporal similarity measures for querying clinical workflows
Artificial Intelligence in Medicine
Semilinear Program Feasibility
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
Interval event stream processing
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems
Reasoning on interval and point-based disjunctive metric constraints in temporal contexts
Journal of Artificial Intelligence Research
On finding a solution in temporal constraint satisfaction problems
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Towards a complete classification of tractability in Allen's algebra
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Combining spatial and temporal logics: expressiveness vs. complexity
Journal of Artificial Intelligence Research
The design and experimental analysis of algorithms for temporal reasoning
Journal of Artificial Intelligence Research
A complete classification of tractability in RCC-5
Journal of Artificial Intelligence Research
Eight maximal tractable subclasses of Allen's algebra with metric time
Journal of Artificial Intelligence Research
Maximal tractable fragments of the region connection calculus: a complete analysis
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
A new framework for reasoning about points, intervals and durations
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Combining topological and directional information for spatial reasoning
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Qualitative spatial and temporal reasoning: efficient algorithms for everyone
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Qualitative temporal reasoning about vague events
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Incremental tractable reasoning about qualitative temporal constraints
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A spatial odyssey of the interval algebra: 1. directed intervals
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
On the consistency of cardinal direction constraints
Artificial Intelligence
RCC8 binary constraint network can be consistently extended
Artificial Intelligence
The algebra IAfuz: a framework for qualitative fuzzy temporal reasoning
Artificial Intelligence
Complexity classification in qualitative temporal constraint reasoning
Artificial Intelligence
A divide-and-conquer approach for solving interval algebra networks
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
The complexity of temporal constraint satisfaction problems
Journal of the ACM (JACM)
Early Verification of Computer Systems Temporal Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
Plan decoupling of agents with qualitatively constrained tasks
Multiagent and Grid Systems - Planning in multiagent systems
A fast algorithm and datalog inexpressibility for temporal reasoning
ACM Transactions on Computational Logic (TOCL)
Grading knowledge: extracting degree information from texts
Grading knowledge: extracting degree information from texts
Relaxation of qualitative constraint networks
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Eligible and frozen constraints for solving temporal qualitative constraint networks
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Customizing qualitative spatial and temporal calculi
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Qualitative spatial reasoning with topological information
Qualitative spatial reasoning with topological information
Reasoning about cyclic space: axiomatic and computational aspects
Spatial cognition III
Reasoning about cardinal directions between extended objects
Artificial Intelligence
SOWL: spatio-temporal representation, reasoning and querying over the semantic web
Proceedings of the 6th International Conference on Semantic Systems
A multi - agent based architecture to qualitative temporal constraint reasoning
ECC'10 Proceedings of the 4th conference on European computing conference
A linear-programming approach to temporal reasoning
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Maximal tractable subclasses of Allen's interval algebra: preliminary report
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Collaborative coordination of activities with temporal dependencies
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Proceedings of the 14th international conference on Hybrid systems: computation and control
Complex event pattern detection over streams with interval-based temporal semantics
Proceedings of the 5th ACM international conference on Distributed event-based system
Temporal reasoning for supporting temporal queries in OWL 2.0
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
Reasoning about cardinal directions between extended objects: The NP-hardness result
Artificial Intelligence
Dependency calculus: reasoning in a general point relation algebra
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
Towards an efficient SAT encoding for temporal reasoning
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Graph theoretic models for reasoning about time
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
The core of a countably categorical structure
STACS'05 Proceedings of the 22nd annual conference on Theoretical Aspects of Computer Science
Knowledge representation and reasoning for qualitative spatial change
Knowledge-Based Systems
A method for characterizing tractable subsets of qualitative fuzzy temporal algebrae
WILF'05 Proceedings of the 6th international conference on Fuzzy Logic and Applications
A semi-dynamical approach for solving qualitative spatial constraint satisfaction problems
Theoretical Computer Science
A condensed semantics for qualitative spatial reasoning about oriented straight line segments
Artificial Intelligence
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
Maximal infinite-valued constraint languages
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Reasoning With Topological And Directional Spatial Information
Computational Intelligence
Solving minimal constraint networks in qualitative spatial and temporal reasoning
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Syntactically characterizing local-to-global consistency in ORD-Horn
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
From path-consistency to global consistency in temporal qualitative constraint networks
AIMSA'12 Proceedings of the 15th international conference on Artificial Intelligence: methodology, systems, and applications
Decomposition and tractability in qualitative spatial and temporal reasoning
Artificial Intelligence
Spatial reasoning with rectangular cardinal relations
Annals of Mathematics and Artificial Intelligence
Qualitative constraint satisfaction problems: An extended framework with landmarks
Artificial Intelligence
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Describing disease processes using a probabilistic logic of qualitative time
Artificial Intelligence in Medicine
Automatic Learning of Temporal Relations Under the Closed World Assumption
Fundamenta Informaticae - Cognitive Informatics and Computational Intelligence: Theory and Applications
| Hi-index | 0.01 |
We introduce a new subclass of Allen's interval algebra we call “ORD-Horn subclass,” which is a strict superset of the “pointisable subclass.” We prove that reasoning in the ORD-Horn subclass is a polynomial-time problem and show that the path-consistency method is sufficient for deciding satisfiability. Further, using an extensive machine-generated case analysis, we show that the ORD-Horn subclass is a maximal tractable subclass of the full algebra (assuming P ≠ NP). In fact, it is the unique greatest tractable subclass amongst the subclasses that contain all basic relations.