A common-sense theory of time

Authors:
James F. Allen;Patrick J. Hayes
Affiliations:
Departments of Computer Science and Philosophy, University of Rochester, Rochester, NY;Departments of Computer Science and Philosophy, University of Rochester, Rochester, NY
Venue:
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Year:
1985

Citing 2
Cited 25

Towards a general theory of action and time

Artificial Intelligence
Maintaining knowledge about temporal intervals

Communications of the ACM

Customizing cooperative office procedures by planning

COCS '88 Proceedings of the ACM SIGOIS and IEEECS TC-OA 1988 conference on Office information systems
A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations

EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Temporal Granularity Enlightened by Knowledge

NLDB '00 Proceedings of the 5th International Conference on Applications of Natural Language to Information Systems-Revised Papers
Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic

Electronic Notes in Theoretical Computer Science (ENTCS)
Time structures for AI

IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Incremental qualitative temporal reasoning: Algorithms for the Point Algebra and the ORD-Horn class

Artificial Intelligence
Dramaturgical design of the narrative in digital games: aI planning of conflicts in non-linear spaces of time

CIG'09 Proceedings of the 5th international conference on Computational Intelligence and Games
Models of axioms for time intervals

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
A model for concurrent actions having temporal extent

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Script-based reasoning for situation monitoring

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Models of axioms for time intervals

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
A model for concurrent actions having temporal extent

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Script-based reasoning for situation monitoring

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
A temporal terminological logic

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
IPUS: an architecture for integrated signal processing and signal interpretation in complex environments

AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
A formal scheme for multimodal grammars

COLING '10 Proceedings of the 23rd International Conference on Computational Linguistics: Posters
A.N. Prior's ideas on tensed ontology

ICCS'11 Proceedings of the 19th international conference on Conceptual structures for discovering knowledge
On the expressive power of first order-logic extended with Allen's relations in the strict case

CAEPIA'11 Proceedings of the 14th international conference on Advances in artificial intelligence: spanish association for artificial intelligence
EventNet: inferring temporal relations between commonsense events

MICAI'05 Proceedings of the 4th Mexican international conference on Advances in Artificial Intelligence
Branching allen

SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
Time-oriented data model

ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Planning temporal events using point-interval logic

Mathematical and Computer Modelling: An International Journal
Temporal representation and reasoning in artificial intelligence: A review

Mathematical and Computer Modelling: An International Journal
Ontological considerations of time, meta-predicates and temporal propositions

Applied Ontology
Automatic Learning of Temporal Relations Under the Closed World Assumption

Fundamenta Informaticae - Cognitive Informatics and Computational Intelligence: Theory and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe an intelligent tutor for LISP programming. This tutor achieves a set of pedagogical objectives derived from Anderson's (1983) learning theory provide instruction in the context of problem-solving, have the student generate as much of each ...