We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic lang...
This paper discusses aspects of the planning of explanatory texts for logic based systems. It presentsa methodfor derivingNaturalLanguagetext plansfrom Natural Deduction-basedstru...
Clarisse Sieckenius de Souza, Maria das Graç...
In this paper we present an embedding of propositional production systems into µ-calculus, and first-order production systems into fixed-point logic, with the aim of using these...
As no plan can cover all possible contingencies, the ability to detect failures during plan execution is crucial to the robustness of any autonomous system operating in a dynamic ...