Reasoning about partially ordered events

Using temporal hierarchies to efficiently maintain large temporal databases

Journal of the ACM (JACM)

Temporal reasoning for planning and scheduling

ACM SIGART Bulletin

Supporting valid-time indeterminacy

ACM Transactions on Database Systems (TODS)

The Logical Approach to Temporal Reasoning

Artificial Intelligence Review

A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus

Annals of Mathematics and Artificial Intelligence

Temporal representation and reasoning in artificial intelligence: Issues and approaches

Annals of Mathematics and Artificial Intelligence

Temporal Granularity and Indeterminacy in Reasoning About Actions and Change: An Approach Based on the Event Calculus

Annals of Mathematics and Artificial Intelligence

Using Constraint Propagation to Reason about UnsynchronizedClocks

Constraints

A Deductive Database Approach to A.I. Planning

Journal of Intelligent Information Systems

Temporal Indeterminancy in Deductive Databases: An Approach Based on Event Calculus

ARTDB '97 Proceedings of the Second International Workshop on Active, Real-Time, and Temporal Database Systems

Tractable Query Answering in Indefinite Constraint Databases: Basic Results and Applications to Querying Spatiotemporal Information

STDBM '99 Proceedings of the International Workshop on Spatio-Temporal Database Management

Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events

AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence

Point algebras for temporal reasoning: algorithms and complexity

Artificial Intelligence

Reasoning about discrete event sources

AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1

Total-order and partial-order planning: a comparative analysis

Journal of Artificial Intelligence Research

Goal ordering in partially ordered plans

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2

Logical specification of real-time granular systems in an object oriented language

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2

Commitment strategies in planning: a comparative analysis

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1

Parallel non-binary planning in polynomial time

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1

Complexity results for planning

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1

An algebraic approach to conflict resolution planning

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1

An approach to reasoning about continuous change for applications in planning

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1

On the computational complexity of temporal projection and plan validation

AAAI'92 Proceedings of the tenth national conference on Artificial intelligence

Uptake and joint action

Cognitive Systems Research

Advanced user assistance based on AI planning

Cognitive Systems Research

A formal study on the dualities in temporal projection problems

Canadian AI'12 Proceedings of the 25th Canadian conference on Advances in Artificial Intelligence