Gerhard Brewka

Matthias Thimm

Proceedings of the Computational Models of Rationality, 2016

2015

A Formal Theory of Justifications.

[BibT_eX]

[DOI]

Marc Denecker

Hannes Strass

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Implementing Preferences with asprin.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Adding Threshold Concepts to the Description Logic EL.

[BibT_eX]

[DOI]

Franz Baader

Oliver Fernandez Gil

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

Adding Threshold Concepts to the Description Logic EL.

[BibT_eX]

[DOI]

Oliver Fernandez Gil

Franz Baader

Proceedings of the 28th International Workshop on Description Logics, 2015

asprin: Customizing Answer Set Preferences without a Headache.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Generalizations of Dung Frameworks and Their Role in Formal Argumentation.

[BibT_eX]

[DOI]

Sylwia Polberg

IEEE Intell. Syst., 2014

GRAPPA: A Semantical Framework for Graph-Based Argument Processing.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Stefan Ellmauthaler

Jörg Pührer

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.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Spectra in Abstract Argumentation: An Analysis of Minimal Change.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Abstract Dialectical Frameworks Revisited.

[BibT_eX]

[DOI]

Hannes Strass

Stefan Ellmauthaler

Johannes Peter Wallner

Proceedings of the IJCAI 2013, 2013

Analyzing the Equivalence Zoo in Abstract Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2013

Nichtmonotones Schließen.

[BibT_eX]

[DOI]

Proceedings of the Handbuch der Künstlichen Intelligenz, 5. Auflage, 2013

2012

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

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Parameterized Splitting: A Simple Modification-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Correct Reasoning, 2012

2011

Answer set programming at a glance.

[BibT_eX]

[DOI]

Commun. ACM, 2011

Splitting Argumentation Frameworks: An Empirical Evaluation.

[BibT_eX]

[DOI]

Renata Wong

Proceedings of the Theorie and Applications of Formal Argumentation, 2011

Aggregates in Answer Set Optimization.

[BibT_eX]

[DOI]

Emad Saad

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Managed Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs.

[BibT_eX]

[DOI]

Paul E. Dunne

Proceedings of the IJCAI 2011, 2011

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

[BibT_eX]

[DOI]

Michael Fink

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010

Abstract Dialectical Frameworks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Nonmonotonic Tools for Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

Carneades and Abstract Dialectical Frameworks: A Reconstruction.

[BibT_eX]

[DOI]

Thomas F. Gordon

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

Expanding Argumentation Frameworks: Enforcing and Monotonicity Results.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

Representing Preferences Among Sets.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

From Data Integration towards Knowledge Mediation.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Argumentation Context Systems: A Framework for Abstract Group Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Combining Nonmonotonic Knowledge Bases with External Sources.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

2008

Nonmonotonic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Knowledge Representation, 2008

Preferences and Nonmonotonic Reasoning.

[BibT_eX]

[DOI]

AI Mag., 2008

2007

Dynamic Interactions between Goals and Beliefs.

[BibT_eX]

[DOI]

Steven Shapiro

Proceedings of the IJCAI 2007, 2007

Contextual Default Reasoning.

[BibT_eX]

[DOI]

Floris Roelofsen

Luciano Serafini

Proceedings of the IJCAI 2007, 2007

Preferences, Contexts and Answer Sets.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 23rd International Conference, 2007

Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Answer Sets and Qualitative Optimization.

[BibT_eX]

[DOI]

Log. J. IGPL, 2006

Preface.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2006

Planning with Prioritized Goals.

[BibT_eX]

[DOI]

Robert Feldmann

Sandro Wenzel

Proceedings of the Proceedings, 2006

2005

Answer Sets and Qualitative Decision Making.

[BibT_eX]

[DOI]

Synth., 2005

Preface.

[BibT_eX]

[DOI]

Pavlos Peppas

Stud Logica, 2005

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

[BibT_eX]

[DOI]

Torsten Schaub

Joost Vennekens

Proceedings of the Nonmonotonic Reasoning, 2005

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

[BibT_eX]

[DOI]

Torsten Schaub

Proceedings of the Nonmonotonic Reasoning, 2005

Preferences in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Current Topics in Artificial Intelligence, 2005

Prioritized Component Systems.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

2004

Logic Programs with Ordered Disjunction.

[BibT_eX]

[DOI]

Tommi Syrjänen

Comput. Intell., 2004

Qualitative choice logic.

[BibT_eX]

[DOI]

Salem Benferhat

Daniel Le Berre

Artif. Intell., 2004

Answer Sets: From Constraint Programming Towards Qualitative Optimization.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Complex Preferences for Answer Set Optimization.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

A Rank Based Description Language for Qualitative Preferences.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

LPOD Answer Sets and Nash Equilibria.

[BibT_eX]

[DOI]

Norman Y. Foo

Thomas Meyer

Proceedings of the Advances in Computer Science, 2004

2003

Special Issue on Computational Dialectics: an Introduction.

[BibT_eX]

[DOI]

Henry Prakken

Gerard Vreeswijk

J. Log. Comput., 2003

Answer Set Optimization.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

Nichtmonotones Schließen.

[BibT_eX]

[DOI]

Proceedings of the Handbuch der Künstlichen Intelligenz, 4. Auflage, 2003

2002

Preface.

[BibT_eX]

[DOI]

Stud Logica, 2002

Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs.

[BibT_eX]

[DOI]

Tommi Syrjänen

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Qualitative Decision Making and Answer Set Programming Extended Abstract.

[BibT_eX]

[DOI]

Proceedings of the 32. Jahrestagung der Gesellschaft für Informatik, Informatik bewegt, INFORMATIK 2002, Dortmund, Germany, September 30, 2002

Logic Programming with Ordered Disjunction.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001

Representing Meta-Knowledge in Poole-Systems.

[BibT_eX]

[DOI]

Stud Logica, 2001

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

[BibT_eX]

[DOI]

J. Log. Comput., 2001

Declarative Representation of Revision Strategies.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2001

On the Relationship between Defeasible Logic and Well-Founded Semantics.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

2000

Prioritizing Default Logic.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Artif. Intell., 1999

1998

Report on the Seventh International Workshop on Nonmonotonic Reasoning.

[BibT_eX]

[DOI]

AI Mag., 1998

1997

Well-Founded Semantics for Default Logic.

[BibT_eX]

[DOI]

Georg Gottlob

Fundam. Informaticae, 1997

Knowledge Representation with Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Knowledge Representation, 1997

Nonmonotonic Reasoning: An Overview

[BibT_eX]

Kurt Konolige

CSLI Lecture Notes 73, CSLI Publications, Stanford, CA, 1997

1996

Artificial intelligence - a modern approach by Stuart Russell and Peter Norvig, Prentice Hall. Series in Artificial Intelligence, Englewood Cliffs, NJ.

[BibT_eX]

[DOI]

Gerd Brewka

Knowl. Eng. Rev., 1996

Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 1996

1995

Ist die Wissensrepräsentation tot?

[BibT_eX]

Künstliche Intell., 1995

Zur Modellierung von Präferenzen in nichtmonotonen Inferenzsystemen.

[BibT_eX]

Künstliche Intell., 1995

Extended Logic Programs with Dynamic Preference Information: Extended Abstract.

[BibT_eX]

Proceedings of the 11. Workshop Logische Programmierung, 1995

1994

Adding Priorities and Specificity to Default Logic.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994

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

[BibT_eX]

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

Reasoning about Priorities in Default Logic.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Joachim Hertzberg

J. Log. Comput., 1993

Skeptical Reason Maintenance and Belief Revision.

[BibT_eX]

[DOI]

Cees Witteveen

Artif. Intell., 1993

An Abductive Framework for Generalized Logic Programs.

[BibT_eX]

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

An Abductive Framework for General Logic Programs and other Nonmonotonic Systems.

[BibT_eX]

[DOI]

Kurt Konolige

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.

[BibT_eX]

[DOI]

Artif. Intell., 1991

A Tutorial on Nonmonotonic Reasoning.

[BibT_eX]

[DOI]

Kurt Konolige

Proceedings of the Nonmonotonic and Inductive Logic, 1991

JTMS and Logic Programming.

[BibT_eX]

David Makinson

Karl Schlechta

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

Handling Partially Ordered Defaults in TMS.

[BibT_eX]

[DOI]

Ulrich Junker

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1991

Assertional Default Theories.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1991

Nonmonotonic reasoning - logical foundations of commonsense.

[BibT_eX]

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.

[BibT_eX]

Kognitionswissenschaft, 1990

Cumulative Inference Relations for JTMS and Logic Programming.

[BibT_eX]

[DOI]

David Makinson

Karl Schlechta

Proceedings of the Nonmonotonic and Inductive Logic, 1990

Handling Incomplete Knowledge in Artificial Intelligence.

[BibT_eX]

[DOI]

Proceedings of the Information Systems and Artificial Intelligence: Integration Aspects, 1990

1989

Nonmonotonic reasoning: from theoretical foundation towards efficient computation.

[BibT_eX]

[DOI]

PhD thesis, 1989

Nichtmonotones Schließen (Nonmonotonic Reasoning).

[BibT_eX]

Künstliche Intell., 1989

Nichtmonotone Logiken - Ein kurzer Überblick.

[BibT_eX]

Künstliche Intell., 1989

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

[BibT_eX]

[DOI]

Joachim Hertzberg

Knowl. Eng. Rev., 1989

Nonmonotonic Logics - A Brief Overview.

[BibT_eX]

[DOI]

AI Commun., 1989

Belief revision in a framework for default reasoning.

[BibT_eX]

[DOI]

Proceedings of the Logic of Theory Change, 1989

On the Relation Between Truth Maintenance and Autoepistemic Logic.

[BibT_eX]

[DOI]

Michael Reinfrank

Oskar Dressler

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

Preferred Subtheories: An Extended Logical Framework for Default Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1987

Nichtmonotone Logiken. Ein einführender Überblick.

[BibT_eX]

[DOI]

Proceedings of the Künstliche Intelligenz, 5. Frühjahrsschule, 1987

The Logic of Inheritance in Frame Systems.

[BibT_eX]

[DOI]

Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

1986

Nonmonotonic Reasoning: Formalizations and Implementations.

[BibT_eX]

[DOI]

Proceedings of the WOPPLOT 86, 1986

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

[BibT_eX]

[DOI]

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1985

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

[BibT_eX]

[DOI]