Managing efficiently temporal relations through indexed spanning trees

Authors:
Malik Ghallab;Amine Mounir Alaoui
Affiliations:
Laboratoire d'Automatique et d'Analyse des Systemes du CNRS, Toulouse, France;Laboratoire d'Automatique et d'Analyse des Systemes du CNRS, Toulouse, France
Venue:
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Year:
1989

Citing 4
Cited 11

Towards a general theory of action and time

Artificial Intelligence
Temporal data base management

Artificial Intelligence
Temporal logics in AI: semantical and ontological considerations

Artificial Intelligence
Maintaining knowledge about temporal intervals

Communications of the ACM

Point-based approaches to qualitative temporal reasoning

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
Incremental qualitative temporal reasoning: Algorithms for the Point Algebra and the ORD-Horn class

Artificial Intelligence
Reasoning about qualitative temporal information

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Temporal reasoning in sequence graphs

AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
A simple way to improve path consistency processing in interval algebra networks

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
A representation for efficient temporal reasoning

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure

Artificial Intelligence
Avian influenza: Temporal modeling of a human to human transmission case

Expert Systems with Applications: An International Journal
Allen linear (interval) temporal logic – translation to LTL and monitor synthesis

CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Temporal representation and reasoning in artificial intelligence: A review

Mathematical and Computer Modelling: An International Journal
Robotics and artificial intelligence: A perspective on deliberation functions

AI Communications - ECAI 2012 Turing and Anniversary Track

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model-based revision of knowledge bases expressed as first-order theories was shown in [Winslett 88b] to be useful as a means of describing and reasoning about the effects of actions. This paper shows that model-based theory revision is actually expressible ...