Publications of R. Aleliunas sorted by title
T
Theorist: A Logical Reasoning System for Defaults and Diagnosis, in: The Knowledge Frontier, pages 331-352, Springer, 1987 | , and ,
Theorist: A Logical Reasoning System for Defaults and Diagnosis, in: The Knowledge Frontier, pages 331-352, Springer, 1987 | , and ,