Author of the publication

Declarative Source Debugging.

, and . EPIA, volume 541 of Lecture Notes in Computer Science, page 237-249. Springer, (1991)

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

Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents., , and . RuleML Europe, volume 6826 of Lecture Notes in Computer Science, page 250-265. Springer, (2011)Contextual Reasoning: Usually Birds Can Abductively Fly., , and . LPNMR, volume 10377 of Lecture Notes in Computer Science, page 64-77. Springer, (2017)Preferring and Updating in Logic-Based Agents., and . INAP (LNCS Volume), volume 2543 of Lecture Notes in Computer Science, page 70-85. Springer, (2001)Preferring and Updating in Abductive Multi-agent Systems., and . ESAW, volume 2203 of Lecture Notes in Computer Science, page 57-73. Springer, (2001)Delta-Prolog: A Distributed Logic Programming Language., and . FGCS, page 283-291. OHMSHA Ltd. Tokyo and North-Holland, (1984)On Preferring and Inspecting Abductive Models., , and . PADL, volume 5418 of Lecture Notes in Computer Science, page 1-15. Springer, (2009)Evolving towards an evolutionary epistemology.. IJRIS, 1 (1/2): 68-76 (2009)LUPSA language for updating logic programs., , , and . Artif. Intell., 138 (1-2): 87-116 (2002)A Declarative Characterization of Disjunctive Paraconsistent Answer Sets., , and . ECAI, page 951-952. IOS Press, (2004)Prospective Storytelling Agents., and . PADL, volume 5937 of Lecture Notes in Computer Science, page 294-296. Springer, (2010)