Gerhard Brewka

Name Venue Year citations
A general framework for preferences in answer set programming. Artificial Intelligence 2023 0
Shedding new light on the foundations of abstract argumentation: Modularization and weak admissibility. Artificial Intelligence 2022 0
Comparing Weak Admissibility Semantics to their Dung-style Counterparts (Extended Abstract). IJCAI 2021 0
Handling and measuring inconsistency in non-monotonic logics. Artificial Intelligence 2020 3
Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases. KR 2020 17
Comparing Weak Admissibility Semantics to their Dung-style Counterparts - Reduct, Modularization, and Strong Equivalence in Abstract Argumentation. KR 2020 11
Revisiting the Foundations of Abstract Argumentation - Semantics Based on Weak Admissibility and Weak Defense. AAAI 2020 27
Strong inconsistency. Artificial Intelligence 2019 13
Extension Removal in Abstract Argumentation - An Axiomatic Approach. AAAI 2019 12
Multi-valued GRAPPA. JELIA 2019 1
Measuring Strong Inconsistency. AAAI 2018 9
Weighted Abstract Dialectical Frameworks. AAAI 2018 19
Reactive multi-context systems: Heterogeneous reasoning in dynamic environments. Artificial Intelligence 2018 0
Strong Syntax Splitting for Iterated Belief Revision. IJCAI 2017 21
Strong Inconsistency in Nonmonotonic Reasoning. IJCAI 2017 12
Solving Advanced Argumentation Problems with Answer-Set Programming. AAAI 2017 0
Inconsistency Management in Reactive Multi-context Systems. JELIA 2016 2
Measuring Inconsistency in Answer Set Programs. JELIA 2016 13
Translation-Based Revision and Merging for Minimal Horn Reasoning. ECAI 2016 2
Preface. IJCAI 2016 0
asprin: Customizing Answer Set Preferences without a Headache. AAAI 2015 97
AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks. IJCAI 2015 50
GRAPPA: A Semantical Framework for Graph-Based Argument Processing. ECAI 2014 27
Multi-Context Systems for Reactive Reasoning in Dynamic Environments. ECAI 2014 49
Abstract Dialectical Frameworks Revisited. IJCAI 2013 180
Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs. IJCAI 2011 51
Managed Multi-Context Systems. IJCAI 2011 90
State Defaults and Ramifications in the Unifying Action Calculus. KR 2010 17
Representing Preferences Among Sets. AAAI 2010 33
Nonmonotonic Tools for Argumentation. JELIA 2010 5
Abstract Dialectical Frameworks. KR 2010 265
Preferences, Contexts and Answer Sets. ICLP 2007 17
Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems. AAAI 2007 231
Contextual Default Reasoning. IJCAI 2007 94
Dynamic Interactions between Goals and Beliefs. IJCAI 2007 26
Planning with Prioritized Goals. KR 2006 15
Prioritized Component Systems. AAAI 2005 8
Complex Preferences for Answer Set Optimization. KR 2004 46
A Rank Based Description Language for Qualitative Preferences. ECAI 2004 67
Qualitative choice logic. Artificial Intelligence 2004 120
Answer Set Optimization. IJCAI 2003 145
Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. JELIA 2002 71
Qualitative Choice Logic. KR 2002 0
Declarative Representation of Revision Strategies. ECAI 2000 0
Preferred Answer Sets for Extended Logic Programs. Artificial Intelligence 1999 288
Preferred Answer Sets for Extended Logic Programs. KR 1998 0
Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences. JAIR 1996 158
Reasoning about Priorities in Default Logic. AAAI 1994 188
A Reconstruction of Rescher' s Theory of Formal Disputation Based on Default Logic. ECAI 1994 39
Adding Priorities and Specificity to Default Logic. JELIA 1994 152
Skeptical Reason Maintenance and Belief Revision. Artificial Intelligence 1993 26
An Abductive Framework for General Logic Programs and other Nonmonotonic Systems. IJCAI 1993 20
Cumulative Default Logic: In Defense of Nonmonotonic Inference Rules. Artificial Intelligence 1991 215
Preferred Subtheories: An Extended Logical Framework for Default Reasoning. IJCAI 1989 508
On the Relation Between Truth Maintenance and Autoepistemic Logic. IJCAI 1989 40
The Logic of Inheritance in Frame Systems. IJCAI 1987 61
Tweety - Still Flying: Some Remarks on Abnormal Birds Applicable Rules and a Default Prover. AAAI 1986 17
Copyright ©2019 Universit├Ąt W├╝rzburg

Impressum | Privacy | FAQ