Author of the publication

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 Theorem Prover for Default Logic Based on Prioritized Conflict Resolution and an Extended Resolution Principle.. ECSQARU, volume 946 of Lecture Notes in Computer Science, page 301-310. Springer, (1995)Graded Default Logics., , and . ECSQARU, volume 548 of Lecture Notes in Computer Science, page 70-75. Springer, (1991)A Framework for Default Logics., and . JELIA, volume 633 of Lecture Notes in Computer Science, page 154-173. Springer, (1992)On Decision Problems Related to the Preferred Semantics for Argumentation Frameworks., , and . J. Log. Comput., 13 (3): 377-403 (2003)Experimental Evaluation of Three Value Recommendation Methods in Interactive Configuration., , and . J. Univers. Comput. Sci., 26 (3): 318-342 (2020)Dialectical Proof Theories for the Credulous Preferred Semantics of Argumentation Frameworks., , and . ECSQARU, volume 2143 of Lecture Notes in Computer Science, page 668-679. Springer, (2001)On Sceptical Versus Credulous Acceptance for Abstract Argument Systems., and . JELIA, volume 3229 of Lecture Notes in Computer Science, page 462-473. Springer, (2004)Preferred Extensions of Argumentation Frameworks: Query Answering and Computation., and . IJCAR, volume 2083 of Lecture Notes in Computer Science, page 272-288. Springer, (2001)Conditionally Acyclic CO-Networks for Efficient Preferential Optimization., and . ECAI, volume 372 of Frontiers in Artificial Intelligence and Applications, page 843-850. IOS Press, (2023)A Knowledge Compilation Map for Conditional Preference Statements-based Languages., and . AAMAS, page 492-500. ACM, (2021)