Author of the publication

Solving logic program conflict through strong and weak forgettings.

, and . Artif. Intell., 170 (8-9): 739-778 (2006)

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

A Trajectory Approach to Causality., , and . Australian Joint Conference on Artificial Intelligence, volume 1747 of Lecture Notes in Computer Science, page 484-485. Springer, (1999)Social Agents.. Australian Conference on Artificial Intelligence, volume 4830 of Lecture Notes in Computer Science, page 14. Springer, (2007)Algebraic Specifications as Solutions of Implementation Equations.. IEEE Trans. Software Eng., 13 (12): 1364-1369 (1987)Applying the persistent set approach in temporal reasoning., and . Ann. Math. Artif. Intell., 14 (1): 75-98 (1995)Preferential Semantics for Causal Systems., , , , and . IJCAI, page 118-123. Morgan Kaufmann, (1999)Connections Between the ATMS and AGM Belief Revision., and . IJCAI, page 534-539. Morgan Kaufmann, (1993)Towards Generalized Rule-based Updates., and . IJCAI (1), page 82-88. Morgan Kaufmann, (1997)Conceptual Spaces-The Geometry of Thought: A Review.. AI Magazine, 22 (1): 139-140 (2001)Algebraic Specifications and Transition Graphs.. Language Design and Programming Methodology, volume 79 of Lecture Notes in Computer Science, page 129-142. Springer, (1979)Logical Foundations of Negotiation: Outcome, Concession, and Adaptation., , , and . AAAI, page 293-298. AAAI Press / The MIT Press, (2004)