Author of the publication

An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On.

, , , , and . KR, page 270-281. Morgan Kaufmann, (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Ranking? Publikationen, Zitate, Drittmittelprojekte und Promotionen an deutschen Informatikfakultäten im Spiegel des WWW.. Informatik Spektrum, 24 (4): 234-249 (2001)Second International Conference: Principles of Knowledge Representation and Reasoning - KR'91., and . KI, 5 (3): 26-27 (1991)Organizing Committee., and . AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, AAAI, (2009)Trial-Based Heuristic Tree-Search for Distributed Multi-Agent Planning., and . SOCS, page 88-96. AAAI Press, (2019)On Qualitative Route Descriptions: Representation and Computational Complexity., , , and . IJCAI, page 1120-1125. IJCAI/AAAI, (2011)Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity (Extended Abstract)., , , and . IJCAI, page 6372-6376. ijcai.org, (2019)What Is the Expressive Power of Disjunctive Preconditions?. ECP, volume 1809 of Lecture Notes in Computer Science, page 294-307. Springer, (1999)Ignoring Irrelevant Facts and Operators in Plan Generation., , and . ECP, volume 1348 of Lecture Notes in Computer Science, page 338-350. Springer, (1997)Beyond Domain-Independence: Experience With the Development of a German Language Access System to Highly Diverse Background Systems., , , , , , and . IJCAI, page 588-594. William Kaufmann, (1983)Decentralized collision avoidance, deadlock detection, and deadlock resolution for multiple mobile robots., and . IROS, page 1213-1219. IEEE, (2001)