Gerhard Brewka

Name Venue Year citations
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 2
Comparing Weak Admissibility Semantics to their Dung-style Counterparts - Reduct, Modularization, and Strong Equivalence in Abstract Argumentation. KR 2020 7
Revisiting the Foundations of Abstract Argumentation - Semantics Based on Weak Admissibility and Weak Defense. AAAI 2020 18
Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases. KR 2020 10
Extension Removal in Abstract Argumentation - An Axiomatic Approach. AAAI 2019 10
Strong inconsistency. Artificial Intelligence 2019 12
Multi-valued GRAPPA. JELIA 2019 1
Measuring Strong Inconsistency. AAAI 2018 8
Weighted Abstract Dialectical Frameworks. AAAI 2018 15
Reactive multi-context systems: Heterogeneous reasoning in dynamic environments. Artificial Intelligence 2018 18
Strong Inconsistency in Nonmonotonic Reasoning. IJCAI 2017 10
Strong Syntax Splitting for Iterated Belief Revision. IJCAI 2017 15
Solving Advanced Argumentation Problems with Answer-Set Programming. AAAI 2017 0
Measuring Inconsistency in Answer Set Programs. JELIA 2016 12
Inconsistency Management in Reactive Multi-context Systems. JELIA 2016 2
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 84
AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks. IJCAI 2015 41
GRAPPA: A Semantical Framework for Graph-Based Argument Processing. ECAI 2014 25
Multi-Context Systems for Reactive Reasoning in Dynamic Environments. ECAI 2014 48
Abstract Dialectical Frameworks Revisited. IJCAI 2013 164
Managed Multi-Context Systems. IJCAI 2011 87
Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs. IJCAI 2011 50
Representing Preferences Among Sets. AAAI 2010 33
Nonmonotonic Tools for Argumentation. JELIA 2010 5
Abstract Dialectical Frameworks. KR 2010 244
State Defaults and Ramifications in the Unifying Action Calculus. KR 2010 17
Dynamic Interactions between Goals and Beliefs. IJCAI 2007 28
Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems. AAAI 2007 223
Contextual Default Reasoning. IJCAI 2007 89
Preferences, Contexts and Answer Sets. ICLP 2007 17
Planning with Prioritized Goals. KR 2006 15
Prioritized Component Systems. AAAI 2005 9
Complex Preferences for Answer Set Optimization. KR 2004 48
A Rank Based Description Language for Qualitative Preferences. ECAI 2004 67
Qualitative choice logic. Artificial Intelligence 2004 117
Answer Set Optimization. IJCAI 2003 147
Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. JELIA 2002 75
Qualitative Choice Logic. KR 2002 0
Declarative Representation of Revision Strategies. ECAI 2000 0
Preferred Answer Sets for Extended Logic Programs. Artificial Intelligence 1999 292
Preferred Answer Sets for Extended Logic Programs. KR 1998 0
Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences. JAIR 1996 159
Adding Priorities and Specificity to Default Logic. JELIA 1994 152
A Reconstruction of Rescher' s Theory of Formal Disputation Based on Default Logic. ECAI 1994 37
Reasoning about Priorities in Default Logic. AAAI 1994 186
An Abductive Framework for General Logic Programs and other Nonmonotonic Systems. IJCAI 1993 18
Skeptical Reason Maintenance and Belief Revision. Artificial Intelligence 1993 27
Cumulative Default Logic: In Defense of Nonmonotonic Inference Rules. Artificial Intelligence 1991 217
Preferred Subtheories: An Extended Logical Framework for Default Reasoning. IJCAI 1989 497
On the Relation Between Truth Maintenance and Autoepistemic Logic. IJCAI 1989 40
The Logic of Inheritance in Frame Systems. IJCAI 1987 59
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