Plan-Based Terminological Reasoning

@inproceedings{Devanbu1991PlanBasedTR,
  title={Plan-Based Terminological Reasoning},
  author={Premkumar T. Devanbu and Diane J. Litman},
  booktitle={KR},
  year={1991}
}

Citations

Publications citing this paper.
SHOWING 1-10 OF 29 CITATIONS

Using domain models for system testing

VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

The Use of Description Logics in KBSE Systems

  • ACM Trans. Softw. Eng. Methodol.
  • 1994
VIEW 5 EXCERPTS
CITES METHODS

On Special Description Logics for Processes and Plans

VIEW 2 EXCERPTS
CITES METHODS & BACKGROUND

A survey of temporal extensions of description logics

  • Annals of Mathematics and Artificial Intelligence
  • 2000
VIEW 3 EXCERPTS
CITES BACKGROUND