Gerhard Brewka

Orcid: 0000-0001-9001-6820

Affiliations:
  • Leipzig University, Germany


According to our database1, Gerhard Brewka authored at least 135 papers between 1985 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A general framework for preferences in answer set programming.
Artif. Intell., December, 2023

2022
Shedding new light on the foundations of abstract argumentation: Modularization and weak admissibility.
Artif. Intell., 2022

2021
Comparing Weak Admissibility Semantics to their Dung-style Counterparts (Extended Abstract).
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2020
Solving Advanced Argumentation Problems with Answer Set Programming.
Theory Pract. Log. Program., 2020

Handling and measuring inconsistency in non-monotonic logics.
Artif. Intell., 2020

Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Comparing Weak Admissibility Semantics to their Dung-style Counterparts - Reduct, Modularization, and Strong Equivalence in Abstract Argumentation.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Revisiting the Foundations of Abstract Argumentation - Semantics Based on Weak Admissibility and Weak Defense.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Nichtmonotones Schließen.
Proceedings of the Handbuch der Künstlichen Intelligenz, 6. Auflage, 2020

2019
Strong inconsistency.
Artif. Intell., 2019

Argumentation-Based Explanations for Answer Sets Using ADF.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Multi-valued GRAPPA.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Strong Explanations for Nonmonotonic Reasoning.
Proceedings of the Description Logic, Theory Combination, and All That, 2019

Extension Removal in Abstract Argumentation - An Axiomatic Approach.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
The equivalence zoo for Dung-style semantics.
J. Log. Comput., 2018

Interview with Gerhard Brewka.
Künstliche Intell., 2018

Advanced Solving Technology for Dynamic and Reactive Applications.
Künstliche Intell., 2018

Weighted Abstract Dialectical Frameworks: Extended and Revised Report.
CoRR, 2018

Hybrid Reasoning for Intelligent Systems: A Focus of KR Research in Germany.
AI Mag., 2018

Reactive multi-context systems: Heterogeneous reasoning in dynamic environments.
Artif. Intell., 2018

Measuring Strong Inconsistency.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Weighted Abstract Dialectical Frameworks.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Abstract Dialectical Frameworks. An Overview.
FLAP, 2017

Strong Syntax Splitting for Iterated Belief Revision.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Strong Inconsistency in Nonmonotonic Reasoning.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016
Answer Set Programming: An Introduction to the Special Issue.
AI Mag., 2016

Measuring Inconsistency in Answer Set Programs.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Inconsistency Management in Reactive Multi-context Systems.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Preface.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Translation-Based Revision and Merging for Minimal Horn Reasoning.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Towards Inconsistency Management in Reactive Multi-Context Systems.
Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16) co-located with the 22th European Conference on Artificial Intelligence (ECAI 2016), 2016

A Personal Glimpse on Gabriele Kern-Isberner's Contributions to Artificial Intelligence.
Proceedings of the Computational Models of Rationality, 2016

2015
A Formal Theory of Justifications.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Implementing Preferences with asprin.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Adding Threshold Concepts to the Description Logic <i>EL</i>.
Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

Adding Threshold Concepts to the Description Logic EL.
Proceedings of the 28th International Workshop on Description Logics, 2015

asprin: Customizing Answer Set Preferences without a Headache.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Generalizations of Dung Frameworks and Their Role in Formal Argumentation.
IEEE Intell. Syst., 2014

GRAPPA: A Semantical Framework for Graph-Based Argument Processing.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Multi-Context Systems for Reactive Reasoning in Dynamic Environments.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013
Towards Reactive Multi-Context Systems.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Spectra in Abstract Argumentation: An Analysis of Minimal Change.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Abstract Dialectical Frameworks Revisited.
Proceedings of the IJCAI 2013, 2013

Analyzing the Equivalence Zoo in Abstract Argumentation.
Proceedings of the Computational Logic in Multi-Agent Systems, 2013

Nichtmonotones Schließen.
Proceedings of the Handbuch der Künstlichen Intelligenz, 5. Auflage, 2013

2012
Multi-context Systems: Specifying the Interaction of Knowledge Bases Declaratively.
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Parameterized Splitting: A Simple Modification-Based Approach.
Proceedings of the Correct Reasoning, 2012

2011
Answer set programming at a glance.
Commun. ACM, 2011

Splitting Argumentation Frameworks: An Empirical Evaluation.
Proceedings of the Theorie and Applications of Formal Argumentation, 2011

Aggregates in Answer Set Optimization.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Managed Multi-Context Systems.
Proceedings of the IJCAI 2011, 2011

Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs.
Proceedings of the IJCAI 2011, 2011

Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources.
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010
Abstract Dialectical Frameworks.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

State Defaults and Ramifications in the Unifying Action Calculus.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Nonmonotonic Tools for Argumentation.
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

Carneades and Abstract Dialectical Frameworks: A Reconstruction.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

Expanding Argumentation Frameworks: Enforcing and Monotonicity Results.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

Representing Preferences Among Sets.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
From Data Integration towards Knowledge Mediation.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Argumentation Context Systems: A Framework for Abstract Group Argumentation.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Combining Nonmonotonic Knowledge Bases with External Sources.
Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

2008
Nonmonotonic Reasoning.
Proceedings of the Handbook of Knowledge Representation, 2008

Preferences and Nonmonotonic Reasoning.
AI Mag., 2008

2007
Contextual Default Reasoning.
Proceedings of the IJCAI 2007, 2007

Preferences, Contexts and Answer Sets.
Proceedings of the Logic Programming, 23rd International Conference, 2007

Dynamic Interactions Between Goals and Beliefs.
Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007

Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Answer Sets and Qualitative Optimization.
Log. J. IGPL, 2006

Preface.
Ann. Math. Artif. Intell., 2006

Planning with Prioritized Goals.
Proceedings of the Proceedings, 2006

2005
Answer Sets and Qualitative Decision Making.
Synth., 2005

Preface.
Stud Logica, 2005

05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints.
Proceedings of the Nonmonotonic Reasoning, 2005

05171 Executive Summary - Nonmonotonic Reasoning, Answer Set Programming and Constraints.
Proceedings of the Nonmonotonic Reasoning, 2005

Preferences in Answer Set Programming.
Proceedings of the Current Topics in Artificial Intelligence, 2005

Prioritized Component Systems.
Proceedings of the Proceedings, 2005

2004
Logic Programs with Ordered Disjunction.
Comput. Intell., 2004

Qualitative choice logic.
Artif. Intell., 2004

A rank based description language for qualitative preferences.
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Answer Sets: From Constraint Programming Towards Qualitative Optimization.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Complex Preferences for Answer Set Optimization.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

LPOD Answer Sets and Nash Equilibria.
Proceedings of the Advances in Computer Science, 2004

2003
Special Issue on Computational Dialectics: an Introduction.
J. Log. Comput., 2003

Answer Set Optimization.
Proceedings of the IJCAI-03, 2003

Nichtmonotones Schließen.
Proceedings of the Handbuch der Künstlichen Intelligenz, 4. Auflage, 2003

2002
Preface.
Stud Logica, 2002

Logic programming with ordered disjunction.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Qualitative Decision Making and Answer Set Programming Extended Abstract.
Proceedings of the 32. Jahrestagung der Gesellschaft für Informatik, Informatik bewegt, INFORMATIK 2002, Dortmund, Germany, September 30, 2002

2001
Representing Meta-Knowledge in Poole-Systems.
Stud Logica, 2001

Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus.
J. Log. Comput., 2001

Declarative Representation of Revision Strategies.
J. Appl. Non Class. Logics, 2001

On the Relationship between Defeasible Logic and Well-Founded Semantics.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

2000
Prioritizing Default Logic.
Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000

1999
Preferred Answer Sets for Extended Logic Programs.
Artif. Intell., 1999

1998
Report on the Seventh International Workshop on Nonmonotonic Reasoning.
AI Mag., 1998

1997
Well-Founded Semantics for Default Logic.
Fundam. Informaticae, 1997

Knowledge Representation with Logic Programs.
Proceedings of the Logic Programming and Knowledge Representation, 1997

Nonmonotonic Reasoning: An Overview
CSLI Lecture Notes 73, CSLI Publications, Stanford, CA, 1997

1996
<i>Artificial intelligence - a modern approach</i> by Stuart Russell and Peter Norvig, Prentice Hall. Series in Artificial Intelligence, Englewood Cliffs, NJ.
Knowl. Eng. Rev., 1996

Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences.
J. Artif. Intell. Res., 1996

1995
Ist die Wissensrepräsentation tot?
Künstliche Intell., 1995

Zur Modellierung von Präferenzen in nichtmonotonen Inferenzsystemen.
Künstliche Intell., 1995

Extended Logic Programs with Dynamic Preference Information: Extended Abstract.
Proceedings of the 11. Workshop Logische Programmierung, 1995

1994
Adding Priorities and Specificity to Default Logic.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994

A Reconstruction of Rescher' s Theory of Formal Disputation Based on Default Logic.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

Reasoning about Priorities in Default Logic.
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993
How to do Things with Worlds: On Formalizing Actions and Plans.
J. Log. Comput., 1993

Skeptical Reason Maintenance and Belief Revision.
Artif. Intell., 1993

An Abductive Framework for Generalized Logic Programs.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

An Abductive Framework for General Logic Programs and other Nonmonotonic Systems.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1991
Cumulative Default Logic: In Defense of Nonmonotonic Inference Rules.
Artif. Intell., 1991

A Tutorial on Nonmonotonic Reasoning.
Proceedings of the Nonmonotonic and Inductive Logic, 1991

JTMS and Logic Programming.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991

Handling Partially Ordered Defaults in TMS.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1991

Assertional Default Theories.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1991

Nonmonotonic reasoning - logical foundations of commonsense.
Cambridge tracts in theoretical computer science 12, Cambridge University Press, ISBN: 978-0-521-38394-3, 1991

1990
Bevorzugte Teiltheorien: Wissensrevision in einem Ansatz zum Default-Schließen.
Kognitionswissenschaft, 1990

Cumulative Inference Relations for JTMS and Logic Programming.
Proceedings of the Nonmonotonic and Inductive Logic, 1990

Handling Incomplete Knowledge in Artificial Intelligence.
Proceedings of the Information Systems and Artificial Intelligence: Integration Aspects, 1990

1989
Nonmonotonic reasoning: from theoretical foundation towards efficient computation.
PhD thesis, 1989

Nichtmonotones Schließen (Nonmonotonic Reasoning).
Künstliche Intell., 1989

Nichtmonotone Logiken - Ein kurzer Überblick.
Künstliche Intell., 1989

<i>On being a machine. Volume 1: Formal aspects of artificial intelligence</i> by A. Narayanan 1988, Ellis Horwood/John Wiley, pp 200, £25.00.
Knowl. Eng. Rev., 1989

Nonmonotonic Logics - A Brief Overview.
AI Commun., 1989

Belief revision in a framework for default reasoning.
Proceedings of the Logic of Theory Change, 1989

On the Relation Between Truth Maintenance and Autoepistemic Logic.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

Preferred Subtheories: An Extended Logical Framework for Default Reasoning.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1987
Nichtmonotone Logiken. Ein einführender Überblick.
Proceedings of the Künstliche Intelligenz, 5. Frühjahrsschule, 1987

The Logic of Inheritance in Frame Systems.
Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

1986
Nonmonotonic Reasoning: Formalizations and Implementations.
Proceedings of the WOPPLOT 86, 1986

Tweety - Still Flying: Some Remarks on Abnormal Birds Applicable Rules and a Default Prover.
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1985
Über normale Vögel, anwendbare Regeln und einen Default-Beweiser.
Proceedings of the GWAI-85, 1985


  Loading...