SMALLEST EXPLANATIONS AND DIAGNOSES OF REJECTION IN ABSTRACT ARGUMENTATION

von Niskanen, Andreas
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 2 of 2 (2021)

μ-TOKSIA: AN EFFICIENT ABSTRACT ARGUMENTATION REASONER

von Niskanen, Andreas
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 2 of 2 (2021)

Strong Refinements for Hard Problems in Argumentation Dynamics

von Niskanen, Andreas
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 2 (2020)

Algorithms for Dynamic Argumentation Frameworks: An Incremental SAT-Based Approach

von Niskanen, Andreas
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 2 (2020)

Preprocessing in Incomplete MaxSAT Solving

von Leivo, Marcus
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 1 (2020)

Clause Redundancy and Preprocessing in Maximum Satisfiability

von Ihalainen, Hannes
Veröffentlicht in IJCAR (11. : 2022 : Haifa) Automated reasoning (2022)

Learning Chordal Markov Networks via Stochastic Local Search

von Rantanen, Kari
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 4 (2020)

MAXIMAL ANCESTRAL GRAPH STRUCTURE LEARNING VIA EXACT SEARCH

von Rantanen, Kari
Veröffentlicht in Conference on Uncertainty in Artificial Intelligence (37. : 2021 : Online) 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021) ; Part 2 of 3 (2022)

Computing MUS-Based Inconsistency Measures

von Kuhlmann, Isabelle
Veröffentlicht in JELIA (18. : 2023 : Dresden) Logics in artificial intelligence (2023)

Extension Enforcement under Grounded Semantics in Abstract Argumentation

von Niskanen, Andreas
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (16. : 2018 : Tempe, Ariz.) Proceedings, Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (2018)

AN ANSWER SET PROGRAMMING APPROACH TO ARGUMENTATIVE REASONING IN THE ASPIC+ FRAMEWORK

von Lehtonen, Tuomo
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 2 of 2 (2021)

A Hybrid Approach to Optimization in Answer Set Programming

von Saikko, Paul
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (16. : 2018 : Tempe, Ariz.) Proceedings, Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (2018)

Theory and applications of satisfiability testing - SAT 2013 : 16th international conference, Helsinki, Finland, July 8 - 12, 2013 ; proceedings

Veröffentlicht 2013