A Temporal Description Logic for Reasoning about Actions and Plans

@article{Artale1998ATD,
  title={A Temporal Description Logic for Reasoning about Actions and Plans},
  author={Alessandro Artale and Enrico Franconi},
  journal={J. Artif. Intell. Res.},
  year={1998},
  volume={9},
  pages={463-506}
}
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true while the action itself is occurring, and plans are constructed by temporally relating actions and world states. The temporal languages are members of the family of Description Logics, which are characterized by high expressivity combined with good computational properties. The subsumption problem for a class of temporal… CONTINUE READING
Highly Influential
This paper has highly influenced 13 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 182 citations. REVIEW CITATIONS
99 Citations
53 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 99 extracted citations

182 Citations

051015'97'02'08'14
Citations per Year
Semantic Scholar estimates that this publication has 182 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 53 references

Feature constraint logics for uni cation grammar

  • G. Smolka
  • Journal of Logic Programming,
  • 1992
Highly Influential
4 Excerpts

Temporal reasoning and planning

  • J. F. Allen
  • Reasoning about Plans, chap
  • 1991
Highly Influential
4 Excerpts

Temporal Extensions of Terminological Languages

  • C. Bettini
  • Ph.D. thesis, Computer Science Department,
  • 1993
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…