Gerhard Brewka

Name Venue Year citations
A general framework for preferences in answer set programming. Artificial Intelligence 2023 5
Shedding new light on the foundations of abstract argumentation: Modularization and weak admissibility. Artificial Intelligence 2022 19
Comparing Weak Admissibility Semantics to their Dung-style Counterparts (Extended Abstract). IJCAI 2021 0
Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases. KR 2020 37
Handling and measuring inconsistency in non-monotonic logics. Artificial Intelligence 2020 13
Comparing Weak Admissibility Semantics to their Dung-style Counterparts - Reduct, Modularization, and Strong Equivalence in Abstract Argumentation. KR 2020 27
Revisiting the Foundations of Abstract Argumentation - Semantics Based on Weak Admissibility and Weak Defense. AAAI 2020 50
Strong inconsistency. Artificial Intelligence 2019 27
Extension Removal in Abstract Argumentation - An Axiomatic Approach. AAAI 2019 16
Multi-valued GRAPPA. JELIA 2019 2
Weighted Abstract Dialectical Frameworks. AAAI 2018 27
Measuring Strong Inconsistency. AAAI 2018 10
Reactive multi-context systems: Heterogeneous reasoning in dynamic environments. Artificial Intelligence 2018 0
Strong Syntax Splitting for Iterated Belief Revision. IJCAI 2017 35
Strong Inconsistency in Nonmonotonic Reasoning. IJCAI 2017 12
Solving Advanced Argumentation Problems with Answer-Set Programming. AAAI 2017 0
Translation-Based Revision and Merging for Minimal Horn Reasoning. ECAI 2016 3
Measuring Inconsistency in Answer Set Programs. JELIA 2016 17
Inconsistency Management in Reactive Multi-context Systems. JELIA 2016 2
Preface. IJCAI 2016 0
AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks. IJCAI 2015 55
asprin: Customizing Answer Set Preferences without a Headache. AAAI 2015 129
GRAPPA: A Semantical Framework for Graph-Based Argument Processing. ECAI 2014 31
Multi-Context Systems for Reactive Reasoning in Dynamic Environments. ECAI 2014 48
Abstract Dialectical Frameworks Revisited. IJCAI 2013 0
Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs. IJCAI 2011 49
Managed Multi-Context Systems. IJCAI 2011 0
Abstract Dialectical Frameworks. KR 2010 302
State Defaults and Ramifications in the Unifying Action Calculus. KR 2010 17
Nonmonotonic Tools for Argumentation. JELIA 2010 5
Representing Preferences Among Sets. AAAI 2010 41
Preferences, Contexts and Answer Sets. ICLP 2007 16
Contextual Default Reasoning. IJCAI 2007 84
Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems. AAAI 2007 233
Dynamic Interactions between Goals and Beliefs. IJCAI 2007 24
Planning with Prioritized Goals. KR 2006 15
Prioritized Component Systems. AAAI 2005 7
Qualitative choice logic. Artificial Intelligence 2004 128
A Rank Based Description Language for Qualitative Preferences. ECAI 2004 74
Complex Preferences for Answer Set Optimization. KR 2004 46
Answer Set Optimization. IJCAI 2003 135
Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. JELIA 2002 67
Qualitative Choice Logic. KR 2002 2
Declarative Representation of Revision Strategies. ECAI 2000 0
Preferred Answer Sets for Extended Logic Programs. Artificial Intelligence 1999 295
Preferred Answer Sets for Extended Logic Programs. KR 1998 0
Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences. JAIR 1996 149
Reasoning about Priorities in Default Logic. AAAI 1994 195
Adding Priorities and Specificity to Default Logic. JELIA 1994 154
A Reconstruction of Rescher' s Theory of Formal Disputation Based on Default Logic. ECAI 1994 38
Skeptical Reason Maintenance and Belief Revision. Artificial Intelligence 1993 25
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 537
On the Relation Between Truth Maintenance and Autoepistemic Logic. IJCAI 1989 41
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 19
Copyright ©2019 Universität Würzburg

Impressum | Privacy | FAQ