From post

A Theorem Prover for Default Logic Based on Prioritized Conflict Resolution and an Extended Resolution Principle.

. ECSQARU, том 946 из Lecture Notes in Computer Science, стр. 301-310. Springer, (1995)

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.

 

Другие публикации лиц с тем же именем

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