A Computational Account for a Description Logic of Time and Action-Reference-Cited by-同舟云学术

A Computational Account for a Description Logic of Time and Action

Published:1994 Issue: Volume: Page:3-14
ISSN:
Container-title:Principles of Knowledge Representation and Reasoning
language:
Short-container-title:

Author:

Artale Alessandro,Franconi Enrico

Publisher

Elsevier

Reference25 articles.

1. Temporal reasoning and planning;Allen,1991

2. Alessandro Artale and Enrico Franconi. A unified framework for representing time, actions and plans. In F. D. Anger, H. W. Guesgen, and J. van Benthem, editors, Workshop Notes of the IJCAI Workshop on Temporal and Spatial Reasoning, pages 193–217, Chambery, France, August 1993. Also in the Workshop Notes of the IJCAI-93 Workshop on Object-Based Representation System; a shorter version appears in the Workshop Notes of the Italian 1993 Workshop on Automatic Planning, Roma Italy, September 1993.

3. Time, actions and plans representation in a description logic;Artale;International Journal of Intelligent Systems,1994

4. Alessandro Artale, Claudio Bettini, and Enrico Franconi. Homogeneous concepts in a temporal description logic. Forthcoming, 1994.

5. Alessandro Artale. Rappresentazione di Tempo ed Azioni e Ragionamento Tassonomico per Object-Oriented Databases nel Contesto dei Linguaggi Terminologici. PhD thesis, University of Florence, Italy, February 1994. (in italian).

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Automated Reasoning;Encyclopedia of Big Data Technologies;2019

2. Automated Reasoning;Encyclopedia of Big Data Technologies;2018

3. A dynamic access control model;Applied Intelligence;2010-09-16

4. A Correspondence between Temporal Description Logics;Journal of Applied Non-Classical Logics;2004-01

5. A Formal Approach to Describing Action Concepts in Taxonomical Knowledge Bases;Lecture Notes in Computer Science;2003