Author of the publication

An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms

, and . Artif. Intell., 305 (103680): 103680 (April 2022)

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.

No persons found for author name Baumann, Ringo
add a person with the name Baumann, Ringo
 

Other publications of authors with the same name

Timed abstract dialectical frameworks: A simple translation-based approach, and . Computational Models of Argument: Proceedings of COMMA 2020, (2020)Comparing weak admissibility semantics to their Dung-style counterparts (extended abstract), , and . Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, California, International Joint Conferences on Artificial Intelligence Organization, (August 2021)Shedding new light on the foundations of abstract argumentation: Modularization and weak admissibility, , and . Artif. Intell., 310 (103742): 103742 (September 2022)An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms, and . Artif. Intell., 305 (103680): 103680 (April 2022)Limits and Possibilities of Forgetting in Abstract Argumentation, and . Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, page 2539–2545. International Joint Conferences on Artificial Intelligence Organization, (July 2022)A Python Script for Abstract Dialectical Frameworks, and . (2020)On conflict-free labellings -- realizability, construction and patterns of redundancy, and . Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning, page 721--725. California, International Joint Conferences on Artificial Intelligence Organization, (September 2023)Comparing weak admissibility semantics to their Dung-style counterparts -- reduct, modularization, and strong equivalence in abstract argumentation, , and . Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning, California, International Joint Conferences on Artificial Intelligence Organization, (July 2020)Extension removal in abstract argumentation -- an axiomatic approach, and . Proc. Conf. AAAI Artif. Intell., 33 (01): 2670--2677 (July 2019)Choices and their consequences - explaining acceptable sets in abstract argumentation frameworks, and . Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning, California, International Joint Conferences on Artificial Intelligence Organization, (September 2021)