Gerhard Brewka

发表

Ist die Wissensrepräsentation tot?

Gerhard Lakemeyer, Bernhard Nebel, Torsten Schaub, 1995, Künstliche Intell..

Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases

Gerhard Brewka, Gabriele Kern-Isberner, Christoph Beierle, 2020, KR.

Implementing Preferences with asprin

Torsten Schaub, James P. Delgrande, Gerhard Brewka, 2015, LPNMR.

Representing Meta-Knowledge in Poole-Systems

Gerhard Brewka, G. Brewka, 2001, Stud Logica.

Zur Modellierung von Präferenzen in nichtmonotonen Inferenzsystemen

Gerhard Brewka, 1995, Künstliche Intell..

Reasoning about Priorities in Default Logic

Gerhard Brewka, 1994, AAAI.

Nichtmonotone Logiken - Ein kurzer Überblick

Gerhard Brewka, 1989, Künstliche Intell..

Nonmonotonic Logics - A Brief Overview

Gerhard Brewka, G. Brewka, 1989, AI Commun..

Well-Founded Semantics for Default Logic

Georg Gottlob, Gerhard Brewka, G. Gottlob, 1997, Fundam. Informaticae.

Answer set programming at a glance

Miroslaw Truszczynski, Thomas Eiter, Gerhard Brewka, 2011, Commun. ACM.

IJCAI-07 Reviewers

Wolfram Burgard, Olivier Buffet, Christian Balkenius, 2007, IJCAI.

Über normale Vögel, anwendbare Regeln und einen Default-Beweiser

Gerhard Brewka, G. Brewka, 1985, GWAI.

Strong Explanations for Nonmonotonic Reasoning

Gerhard Brewka, Markus Ulbricht, G. Brewka, 2019, Description Logic, Theory Combination, and All That.

Tweety - Still Flying: Some Remarks on Abnormal Birds Applicable Rules and a Default Prover

Gerhard Brewka, G. Brewka, 1986, AAAI.

Interview with Gerhard Brewka

Stefan Woltran, Torsten Schaub, Gerhard Brewka, 2018, KI - Künstliche Intelligenz.

A Brief Introduction to Nonmonotonic Reasoning

Stefan Woltran, Gerhard Brewka, G. Brewka, 2013 .

Combining Nonmonotonic Knowledge Bases with External Sources

Thomas Eiter, Giovambattista Ianni, Minh Dao-Tran, 2009, FroCoS.

Proceedings of the Second International Workshop on Nonmonotonic and Inductive Logic

Peter H. Schmitt, Klaus P. Jantke, Gerhard Brewka, 1990 .

Logic Programs with Context-Dependent Preferences

Gerhard Brewka, 1999 .

A Tutorial on Nonmonotonic Reasoning

Jürgen Dix, Kurt Konolige, Gerhard Brewka, 1991, Nonmonotonic and Inductive Logic.

Multi-context Systems: Specifying the Interaction of Knowledge Bases Declaratively

Gerhard Brewka, 2012, RR.

Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29. April 2005

Miroslaw Truszczynski, Torsten Schaub, Gerhard Brewka, 2005, Nonmonotonic Reasoning, Answer Set Programming and Constraints.

Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning

Chitta Baral, Gerhard Brewka, John S. Schlipf, 1999, ICLP 2007.

Preferences, Contexts and Answer Sets

Gerhard Brewka, G. Brewka, 2007, ICLP.

Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources

Thomas Eiter, Michael Fink, Gerhard Brewka, 2011, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning.

05171 Executive Summary - Nonmonotonic Reasoning, Answer Set Programming and Constraints

Miroslaw Truszczynski, Torsten Schaub, Ilkka Niemelä, 2005, Nonmonotonic Reasoning, Answer Set Programming and Constraints.

Comparing Weak Admissibility Semantics to their Dung-style Counterparts - Reduct, Modularization, and Strong Equivalence in Abstract Argumentation

Ringo Baumann, Gerhard Brewka, Markus Ulbricht, 2020, KR.

Hybrid Reasoning for Intelligent Systems: A Focus of KR Research in Germany

Gerhard Lakemeyer, Gerhard Brewka, G. Lakemeyer, 2018, AI Mag..

Nonmonotonic reasoning: from theoretical foundation towards efficient computation

Gerhard Brewka, 1989 .

Extended Logic Programs with Dynamic Preference Information: Extended Abstract

Gerhard Brewka, G. Brewka, 1995, WLP.

Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012

Sheila A. McIlraith, Thomas Eiter, Gerhard Brewka, 2012, KR.

Skeptical reason belief revision maintenance and

Cees Witteveen, Gerhard Brewka, G. Brewka, 2002 .

Preferences and Nonmonotonic Reasoning

Miroslaw Truszczynski, Ilkka Niemelä, Gerhard Brewka, 2008, AI Mag..

Generalizations of Dung Frameworks and Their Role in Formal Argumentation

Stefan Woltran, Sylwia Polberg, Gerhard Brewka, 2014, IEEE Intelligent Systems.

Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs

Ilkka Niemelä, Gerhard Brewka, Tommi Syrjänen, 2002, JELIA.

Advanced Solving Technology for Dynamic and Reactive Applications

Torsten Schaub, Philipp Obermeier, Gabriele Kern-Isberner, 2018, KI - Künstliche Intelligenz.

Principles of Knowledge Representation and Reasoning: Proceedings of the 11th International Conference (KR 2008)

Jérôme Lang, Gerhard Brewka, 2008 .

Qualitative choice logic

Salem Benferhat, Gerhard Brewka, Daniel Le Berre, 2004, Artif. Intell..

Prioritized Component Systems

Miroslaw Truszczynski, Ilkka Niemelä, Gerhard Brewka, 2005, AAAI.

Joint German/Austrian conference on artificial intelligence (KI-2001)

Franz Baader, Thomas Eiter, Gerhard Brewka, 2002 .

Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences

Gerhard Brewka, 1996, J. Artif. Intell. Res..

Cumulative Inference Relations for JTMS and Logic Programming

Karl Schlechta, David Makinson, Gerhard Brewka, 1990, Nonmonotonic and Inductive Logic.

Nonmonotonic Tools for Argumentation

Gerhard Brewka, 2010, JELIA.

Revisiting the Foundations of Abstract Argumentation - Semantics Based on Weak Admissibility and Weak Defense

Ringo Baumann, Gerhard Brewka, Markus Ulbricht, 2020, AAAI.

Measuring Inconsistency in Answer Set Programs

Gerhard Brewka, Matthias Thimm, Markus Ulbricht, 2016, JELIA.

Logic Programs with Ordered Disjunction

Ilkka Niemelä, Gerhard Brewka, Tommi Syrjänen, 2004, Comput. Intell..

Adding Threshold Concepts to the Description Logic EL

Franz Baader, Gerhard Brewka, Oliver Fernandez Gil, 2015, Description Logics.

Planning with Prioritized Goals

Gerhard Brewka, Robert Feldmann, Sandro Wenzel, 2006, KR.

Qualitative Decision Making and Answer Set Programming Extended Abstract

Gerhard Brewka, 2002, GI Jahrestagung.

ECAI 2006 - 17th European Conference on Artificial Intelligence. August 29 - September 1, 2006 - Riva del Garda, Italy. Proceedings

Paolo Traverso, Silvia Coradeschi, Gerhard Brewka, 2006 .

How to do Things with Worlds: On Formalizing Actions and Plans

Joachim Hertzberg, Gerhard Brewka, J. Hertzberg, 1993, J. Log. Comput..

Multi-valued GRAPPA

Stefan Woltran, Gerhard Brewka, Jörg Pührer, 2019, JELIA.

Logic programming with ordered disjunction

Gerhard Brewka, G. Brewka, 2002, NMR.

Strong Syntax Splitting for Iterated Belief Revision

Gabriele Kern-Isberner, Gerhard Brewka, 2017, IJCAI.

Spectra in Abstract Argumentation: An Analysis of Minimal Change

Ringo Baumann, Gerhard Brewka, 2013, LPNMR.

State Defaults and Ramifications in the Unifying Action Calculus

Hannes Strass, Michael Thielscher, Ringo Baumann, 2010, KR.

Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008

Jérôme Lang, Gerhard Brewka, 2008, KR.

KI 2001: Advances in Artificial Intelligence

Franz Baader, Thomas Eiter, Gerhard Brewka, 2001, Lecture Notes in Computer Science.

Knowledge Representation with Logic Programs

Jürgen Dix, Gerhard Brewka, G. Brewka, 1997, LPKR.

Belief revision in a framework for default reasoning

Gerhard Brewka, G. Brewka, 1989, The Logic of Theory Change.

On the Relation Between Truth Maintenance and Autoepistemic Logic

Michael Reinfrank, Gerhard Brewka, Oskar Dressler, 1989, IJCAI.

Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus

Gerhard Brewka, G. Brewka, 2001, J. Log. Comput..

Managed Multi-Context Systems

Antonius Weinzierl, Thomas Eiter, Michael Fink, 2011, IJCAI.

Handling Partially Ordered Defaults in TMS

Gerhard Brewka, Ulrich Junker, 1991, ECSQARU.

KI-97: Advances in Artificial Intelligence

Bernhard Nebel, Christopher Habel, Gerhard Brewka, 1997, Lecture Notes in Computer Science.

Complex Preferences for Answer Set Optimization

Gerhard Brewka, G. Brewka, 2004, KR.

Abstract Dialectical Frameworks. An Overview.

Hannes Strass, Stefan Woltran, Gerhard Brewka, 2017 .

Solving Advanced Argumentation Problems with Answer Set Programming pdf

Martin Diller, Thomas Linsbichler, Stefan Woltran, 2017, Theory and Practice of Logic Programming.

A Formal Theory of Justifications

Hannes Strass, Marc Denecker, Gerhard Brewka, 2015, LPNMR.

Abstract Dialectical Frameworks Revisited

Hannes Strass, Stefan Woltran, Gerhard Brewka, 2013, IJCAI.

Nonmonotonic and Inductive Logic

Peter H. Schmitt, Gerhard Brewka, Klaus P. Jantke, 1990, Lecture Notes in Computer Science.

Answer Sets and Qualitative Decision Making

Gerhard Brewka, G. Brewka, 2005, Synthese.

Cumulative Default Logic: In Defense of Nonmonotonic Inference Rules

Gerhard Brewka, 1991, Artif. Intell..

Nonmonotonic Reasoning: Formalizations and Implementations

Gerhard Brewka, G. Brewka, 1986, WOPPLOT.

The Logic of Inheritance in Frame Systems

Gerhard Brewka, G. Brewka, 1987, IJCAI.

Analyzing the Equivalence Zoo in Abstract Argumentation

Ringo Baumann, Gerhard Brewka, 2013, CLIMA.

Abstract Dialectical Frameworks

Stefan Woltran, Gerhard Brewka, 2010, KR.

Extension Removal in Abstract Argumentation - An Axiomatic Approach

Ringo Baumann, Gerhard Brewka, G. Brewka, 2019, AAAI.

On being a machine. Volume 1: Formal aspects of artificial intelligence by A. Narayanan 1988, Ellis Horwood/John Wiley, pp 200, £25.00

Joachim Hertzberg, Gerhard Brewka, 1989, Knowl. Eng. Rev..

Constraint Relaxation and Nonmonotonic Reasoning

Hans W. Guesgen, Joachim Hertzberg, Gerhard Brewka, 1992 .

Proceedings, Thirteenth International Conference on Principles of Knowledge Representation and Reasoning

Thomas Eiter, Gerhard Brewka, Sheila McIlraith, 2012 .

An Abductive Framework for Generalized Logic Programs

Gerhard Brewka, 1993, LPNMR.

Multi-Context Systems for Reactive Reasoning in Dynamic Environments pdf

Gerhard Brewka, Jörg Pührer, Stefan Ellmauthaler, 2014, ECAI.

A rank based description language for qualitative preferences

Gerhard Brewka, G. Brewka, 2004, NMR.

Dynamic Interactions between Goals and Beliefs

Gerhard Brewka, Steven Shapiro, G. Brewka, 2007, IJCAI.

Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence

Franz Baader, Thomas Eiter, Gerhard Brewka, 2001 .

asprin: Customizing Answer Set Preferences without a Headache

Torsten Schaub, James P. Delgrande, Gerhard Brewka, 2015, AAAI.

Preferences in Answer Set Programming

Gerhard Brewka, 2005, CAEPIA.

Inconsistency Management in Reactive Multi-context Systems

Matthias Knorr, Ricardo Gonçalves, João Leite, 2016, JELIA.

JTMS and Logic Programming

Karl Schlechta, David Makinson, Gerhard Brewka, 1991, LPNMR.

Preferred Subtheories: An Extended Logical Framework for Default Reasoning

Gerhard Brewka, G. Brewka, 1989, IJCAI.

GRAPPA: A Semantical Framework for Graph-Based Argument Processing

Stefan Woltran, Gerhard Brewka, G. Brewka, 2014, ECAI.

Answer Set Programming: An Introduction to the Special Issue

Miroslaw Truszczynski, Thomas Eiter, Gerhard Brewka, 2016, AI Mag..

Weighted Abstract Dialectical Frameworks

Hannes Strass, Stefan Woltran, Gerhard Brewka, 2018, AAAI.

The equivalence zoo for Dung-style semantics

Ringo Baumann, Gerhard Brewka, 2018, J. Log. Comput..

From Data Integration towards Knowledge Mediation

Thomas Eiter, Gerhard Brewka, 2009, LPNMR.

ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings

Gerhard Brewka, G. Brewka, 2006, ECAI.

Answer Set Optimization

Miroslaw Truszczynski, Ilkka Niemelä, Gerhard Brewka, 2003, IJCAI.

LPOD Answer Sets and Nash Equilibria

Norman Y. Foo, Thomas Andreas Meyer, Gerhard Brewka, 2004, ASIAN.

Nichtmonotones Schließen

Gerhard Brewka, 2003, Handbuch der Künstlichen Intelligenz.

KI-97: Advances in Artificial Intelligence: 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings

Bernhard Nebel, Christopher Habel, Gerhard Brewka, 1997 .

Strong Inconsistency in Nonmonotonic Reasoning

Gerhard Brewka, Matthias Thimm, Markus Ulbricht, 2017, IJCAI.

Carneades and Abstract Dialectical Frameworks: A Reconstruction

Gerhard Brewka, Thomas F. Gordon, 2010, COMMA.

Measuring Strong Inconsistency

Gerhard Brewka, Matthias Thimm, Markus Ulbricht, 2018, AAAI.

A Personal Glimpse on Gabriele Kern-Isberner's Contributions to Artificial Intelligence

Christoph Beierle, Gerhard Brewka, Matthias Thimm, 2016, Computational Models of Rationality.

Weighted Abstract Dialectical Frameworks: Extended and Revised Report pdf

Hannes Strass, Stefan Woltran, Gerhard Brewka, 2018, ArXiv.

Assertional Default Theories

Gerhard Brewka, 1991, ECSQARU.

Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments pdf

Matthias Knorr, Ricardo Gonçalves, João Leite, 2018, Artif. Intell..

Adding Priorities and Specificity to Default Logic

Gerhard Brewka, G. Brewka, 1994, JELIA.

Requirements towards automated mediation agents

Carles Sierra, Jérôme Lang, Gerhard Brewka, 2008, KR 2008.

Report on the Seventh International Workshop on Nonmonotonic Reasoning

Ilkka Niemelä, Gerhard Brewka, 1998, AI Mag..

Nichtmonotone Logiken. Ein einführender Überblick

Gerhard Brewka, G. Brewka, 1987, KIFS.

Handling Incomplete Knowledge in Artificial Intelligence

Gerhard Brewka, G. Brewka, 1990, IS/KI.

Expanding Argumentation Frameworks: Enforcing and Monotonicity Results

Ringo Baumann, Gerhard Brewka, G. Brewka, 2010, COMMA.

Splitting Argumentation Frameworks: An Empirical Evaluation

Ringo Baumann, Gerhard Brewka, Renata Wong, 2011, TAFA.

Prioritizing Default Logic

Thomas Eiter, Gerhard Brewka, G. Brewka, 2000, Intellectics and Computational Logic.

Proceedings, Eleventh International Conference on Principles of Knowledge Representation and Reasoning

Jérôme Lang, Gerhard Brewka, 2008 .

Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings

Chitta Baral, Gerhard Brewka, John S. Schlipf, 2007, LPNMR.

Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs

Stefan Woltran, Paul E. Dunne, Gerhard Brewka, 2011, IJCAI.

Representing Preferences Among Sets

Miroslaw Truszczynski, Stefan Woltran, Gerhard Brewka, 2010, AAAI.

Strong inconsistency

Gerhard Brewka, Matthias Thimm, Markus Ulbricht, 2019, Artif. Intell..

AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks

Ringo Baumann, Gerhard Brewka, 2015, IJCAI.

Preface

Pavlos Peppas, Gerhard Brewka, 2005, Stud Logica.

Preface

Luís Moniz Pereira, Manuel Ojeda-Aciego, Inmaculada Perez de Guzmán, 2002, Stud Logica.

Declarative Representation of Revision Strategies*

Gerhard Brewka, G. Brewka, 2000, J. Appl. Non Class. Logics.

Nonmonotonic Reasoning

Miroslaw Truszczynski, Gerhard Brewka, Ilkka Niemelä, 1988, We Will Show Them!.

An Abductive Framework for General Logic Programs and other Nonmonotonic Systems

Kurt Konolige, Gerhard Brewka, K. Konolige, 1993, IJCAI.

Proceedings of the 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy : including Prestigious Applications of Intelligent Systems (PAIS 2006)

Anna Perini, Paolo Traverso, Silvia Coradeschi, 2006 .

Towards Reactive Multi-Context Systems

Gerhard Brewka, 2013, LPNMR.

A Reconstruction of Rescher' s Theory of Formal Disputation Based on Default Logic

Gerhard Brewka, G. Brewka, 1994, ECAI.

Aggregates in Answer Set Optimization

Emad Saad, Gerhard Brewka, 2011, LPNMR.

Argumentation Context Systems: A Framework for Abstract Group Argumentation

Thomas Eiter, Gerhard Brewka, G. Brewka, 2009, LPNMR.

Translation-Based Revision and Merging for Minimal Horn Reasoning

Stefan Woltran, Gerhard Brewka, Jean-Guy Mailly, 2016, ECAI.

Nonmonotonic and Inductive Logic: Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : Proceedings

Peter H. Schmitt, Klaus P. Jantke, Gerhard Brewka, 1993 .

Answer Sets: From Constraint Programming Towards Qualitative Optimization

Gerhard Brewka, G. Brewka, 2004, LPNMR.

Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning

Chitta Baral, Gerhard Brewka, John S. Schlipf, 2007, ICLP 2007.

Bevorzugte Teiltheorien: Wissensrevision in einem Ansatz zum Default-Schließen

Gerhard Brewka, 1990, Kognitionswissenschaft.

Preferred Answer Sets for Extended Logic Programs

Thomas Eiter, Gerhard Brewka, G. Brewka, 1999, Artif. Intell..

Handling Exceptions in Knowledge Representation: A Brief Introduction to Nonmonotonic Reasoning

Gerhard Brewka, G. Brewka, 2013 .

Towards Inconsistency Management in Reactive Multi-Context Systems

Matthias Knorr, Ricardo Gonçalves, João Leite, 2016, DARe@ECAI.

Parameterized Splitting: A Simple Modification-Based Approach

Stefan Woltran, Ringo Baumann, Wolfgang Dvorák, 2012, Correct Reasoning.

Nonmonotonic Reasoning: Logical Foundations of Commonsense By Gerhard Brewka (Cambridge University Press, 1991)

Gerhard Brewka, G. Brewka, V. Marek, 1991, SGAR.

Argumentation-Based Explanations for Answer Sets Using ADF

Gabriele Kern-Isberner, Gerhard Brewka, Lena Rolf, 2019, LPNMR.

On the Relationship between Defeasible Logic and Well-Founded Semantics

Gerhard Brewka, 2001, LPNMR.

Special Issue on Computational Dialectics: an Introduction

Henry Prakken, Gerhard Brewka, Gerard Vreeswijk, 2003, J. Log. Comput..

KI 2001: advances in artificial intelligence : Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001 : proceedings

Franz Baader, Thomas Eiter, Gerhard Brewka, 2001 .

Handling and measuring inconsistency in non-monotonic logics

Gerhard Brewka, Matthias Thimm, Markus Ulbricht, 2020, Artif. Intell..

Nonmonotonic Reasoning: An Overview

Jürgen Dix, Kurt Konolige, Gerhard Brewka, 1997, CSLI Lecture Notes.

05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints

Miroslaw Truszczynski, Torsten Schaub, Ilkka Niemelä, 2005, Nonmonotonic Reasoning, Answer Set Programming and Constraints.

Nichtmonotones Schließen (Nonmonotonic Reasoning)

Gerhard Brewka, 1989, Künstliche Intell..

Proceedings of the 21st Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence

Bernhard Nebel, Christopher Habel, Gerhard Brewka, 1997 .

Contextual Default Reasoning

Floris Roelofsen, Luciano Serafini, Gerhard Brewka, 2007, IJCAI.

Proceedings of the European Workshop on Logics in Artificial Intelligence

Luís Moniz Pereira, Manuel Ojeda-Aciego, Gerhard Brewka, 1994 .

Answer Sets and Qualitative Optimization

Gerhard Brewka, G. Brewka, 2006, Log. J. IGPL.

Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems

Thomas Eiter, Gerhard Brewka, G. Brewka, 2007, AAAI.

Comparing Weak Admissibility Semantics to their Dung-style Counterparts (Extended Abstract)

Ringo Baumann, Gerhard Brewka, Markus Ulbricht, 2021, IJCAI.

Nonmonotonic Reasoning, Answer Set Programming and Constraints (Dagstuhl Seminar 02381)

Torsten Schaub, Miroslaw Truszczynski, Ilkka Niemelä, 2021 .

Nonmonotonic reasoning : essays celebrating its 30th anniversary

Victor W. Marek, Miroslaw Truszczynski, Gerhard Brewka, 2011 .

Prioritizing Default Logic: Abridged Report

Thomas Eiter, Gerhard Brewka, 2007 .

Inconsistency Measures for Disjunctive Logic Programs Under Answer Set Semantics

Gerhard Brewka, Matthias Thimm, Markus Ulbricht, 2018 .

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy

Anna Perini, Paolo Traverso, Silvia Coradeschi, 2006 .

Special Issue on Computational Dialectics

Gerhard Brewka, Gerard A. W. Vreeswijk, 2001 .

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence

Gerhard Brewka, G. Brewka, 2016 .

Knowledge Representation with Logic Programs

Jürgen Dix, Gerhard Brewka, 1997 .