| |
| | Citations: The tractability of subsumption in framebased description languages - Brachman, Levesque (ResearchIndex) |
 | | As a reaction, the implementors of the Classic system (the first industrial strength DL system) carefully restricted the expressive power of their DL [69, 17] Phase 2 (1990 1995) started with the introduction of a new algorithmic paradigm into DLs, so called tableau based algorithms [75, 32,.... |
 | | Ronald J. Brachman, Hector J. Levesque, "The Trac- tability of Subsumption in Frame-based Description Languages" in the Proceedings of the National Conference on Artificial Intelligence, AAAI 1984, 34 - 37. |
 | | Brachman and H.J. Levesque, The tractability of subsumption in frame-based description languages, Proceedings of the AAAI-84, Austin, Texas (1984) 34-37. |
| citeseer.ist.psu.edu /context/70319/0 (2000 words) |
|