default search action
Gerhard Brewka
Person information
- affiliation: Leipzig University, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j41]Gerhard Brewka, James P. Delgrande, Javier Romero, Torsten Schaub:
A general framework for preferences in answer set programming. Artif. Intell. 325: 104023 (2023) - 2022
- [j40]Ringo Baumann, Gerhard Brewka, Markus Ulbricht:
Shedding new light on the foundations of abstract argumentation: Modularization and weak admissibility. Artif. Intell. 310: 103742 (2022) - 2021
- [c90]Ringo Baumann, Gerhard Brewka, Markus Ulbricht:
Comparing Weak Admissibility Semantics to their Dung-style Counterparts (Extended Abstract). IJCAI 2021: 4740-4744 - 2020
- [j39]Markus Ulbricht, Matthias Thimm, Gerhard Brewka:
Handling and measuring inconsistency in non-monotonic logics. Artif. Intell. 286: 103344 (2020) - [j38]Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran:
Solving Advanced Argumentation Problems with Answer Set Programming. Theory Pract. Log. Program. 20(3): 391-431 (2020) - [c89]Ringo Baumann, Gerhard Brewka, Markus Ulbricht:
Revisiting the Foundations of Abstract Argumentation - Semantics Based on Weak Admissibility and Weak Defense. AAAI 2020: 2742-2749 - [c88]Ringo Baumann, Gerhard Brewka, Markus Ulbricht:
Comparing Weak Admissibility Semantics to their Dung-style Counterparts - Reduct, Modularization, and Strong Equivalence in Abstract Argumentation. KR 2020: 79-88 - [c87]Gabriele Kern-Isberner, Christoph Beierle, Gerhard Brewka:
Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases. KR 2020: 560-571 - [p3]Gerhard Brewka:
Nichtmonotones Schließen. Handbuch der Künstlichen Intelligenz 2020: 189-226
2010 – 2019
- 2019
- [j37]Gerhard Brewka, Matthias Thimm, Markus Ulbricht:
Strong inconsistency. Artif. Intell. 267: 78-117 (2019) - [c86]Ringo Baumann, Gerhard Brewka:
Extension Removal in Abstract Argumentation - An Axiomatic Approach. AAAI 2019: 2670-2677 - [c85]Gerhard Brewka, Markus Ulbricht:
Strong Explanations for Nonmonotonic Reasoning. Description Logic, Theory Combination, and All That 2019: 135-146 - [c84]Gerhard Brewka, Jörg Pührer, Stefan Woltran:
Multi-valued GRAPPA. JELIA 2019: 85-101 - [c83]Lena Rolf, Gabriele Kern-Isberner, Gerhard Brewka:
Argumentation-Based Explanations for Answer Sets Using ADF. LPNMR 2019: 89-102 - [i10]Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran:
Solving Advanced Argumentation Problems with Answer Set Programming. CoRR abs/1912.02734 (2019) - 2018
- [j36]Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer:
Reactive multi-context systems: Heterogeneous reasoning in dynamic environments. Artif. Intell. 256: 68-104 (2018) - [j35]Gerhard Brewka, Gerhard Lakemeyer:
Hybrid Reasoning for Intelligent Systems: A Focus of KR Research in Germany. AI Mag. 39(4): 80-83 (2018) - [j34]Gerhard Brewka, Stefan Ellmauthaler, Gabriele Kern-Isberner, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Steffen Schieweck:
Advanced Solving Technology for Dynamic and Reactive Applications. Künstliche Intell. 32(2-3): 199-200 (2018) - [j33]Gerhard Brewka, Torsten Schaub, Stefan Woltran:
Interview with Gerhard Brewka. Künstliche Intell. 32(2-3): 219-221 (2018) - [j32]Ringo Baumann, Gerhard Brewka:
The equivalence zoo for Dung-style semantics. J. Log. Comput. 28(3): 477-498 (2018) - [c82]Gerhard Brewka, Hannes Strass, Johannes Peter Wallner, Stefan Woltran:
Weighted Abstract Dialectical Frameworks. AAAI 2018: 1779-1786 - [c81]Markus Ulbricht, Matthias Thimm, Gerhard Brewka:
Measuring Strong Inconsistency. AAAI 2018: 1989-1996 - [i9]Gerhard Brewka, Jörg Pührer, Hannes Strass, Johannes Peter Wallner, Stefan Woltran:
Weighted Abstract Dialectical Frameworks: Extended and Revised Report. CoRR abs/1806.07717 (2018) - 2017
- [j31]Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes Peter Wallner, Stefan Woltran:
Abstract Dialectical Frameworks. An Overview. FLAP 4(8) (2017) - [c80]Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran:
Solving Advanced Argumentation Problems with Answer-Set Programming. AAAI 2017: 1077-1083 - [c79]Gerhard Brewka, Matthias Thimm, Markus Ulbricht:
Strong Inconsistency in Nonmonotonic Reasoning. IJCAI 2017: 901-907 - [c78]Gabriele Kern-Isberner, Gerhard Brewka:
Strong Syntax Splitting for Iterated Belief Revision. IJCAI 2017: 1131-1137 - 2016
- [j30]Gerhard Brewka, Thomas Eiter, Miroslaw Truszczynski:
Answer Set Programming: An Introduction to the Special Issue. AI Mag. 37(3): 5-6 (2016) - [c77]Christoph Beierle, Gerhard Brewka, Matthias Thimm:
A Personal Glimpse on Gabriele Kern-Isberner's Contributions to Artificial Intelligence. Computational Models of Rationality 2016: 1-22 - [c76]Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer:
Towards Inconsistency Management in Reactive Multi-Context Systems. DARe@ECAI 2016 - [c75]Gerhard Brewka, Jean-Guy Mailly, Stefan Woltran:
Translation-Based Revision and Merging for Minimal Horn Reasoning. ECAI 2016: 734-742 - [c74]Subbarao Kambhampati, Gerhard Brewka:
Preface. IJCAI 2016: xxxiii-xxxiv - [c73]Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer:
Inconsistency Management in Reactive Multi-context Systems. JELIA 2016: 529-535 - [c72]Markus Ulbricht, Matthias Thimm, Gerhard Brewka:
Measuring Inconsistency in Answer Set Programs. JELIA 2016: 577-583 - [e10]Christoph Beierle, Gerhard Brewka, Matthias Thimm:
Computational Models of Rationality, Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday. College Publications 2016, ISBN 978-1-84890-198-8 [contents] - [i8]Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer:
Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments. CoRR abs/1609.03438 (2016) - 2015
- [c71]Gerhard Brewka, James P. Delgrande, Javier Romero, Torsten Schaub:
asprin: Customizing Answer Set Preferences without a Headache. AAAI 2015: 1467-1474 - [c70]Oliver Fernandez Gil, Franz Baader, Gerhard Brewka:
Adding Threshold Concepts to the Description Logic EL. Description Logics 2015 - [c69]Franz Baader, Gerhard Brewka, Oliver Fernandez Gil:
Adding Threshold Concepts to the Description Logic EL. FroCos 2015: 33-48 - [c68]Ringo Baumann, Gerhard Brewka:
AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks. IJCAI 2015: 2734-2740 - [c67]Gerhard Brewka, James P. Delgrande, Javier Romero, Torsten Schaub:
Implementing Preferences with asprin. LPNMR 2015: 158-172 - [c66]Marc Denecker, Gerhard Brewka, Hannes Strass:
A Formal Theory of Justifications. LPNMR 2015: 250-264 - [i7]Gerhard Brewka, Stefan Ellmauthaler, Jörg Pührer:
Multi-Context Systems for Reactive Reasoning in Dynamic Environments. CoRR abs/1505.05366 (2015) - 2014
- [j29]Gerhard Brewka, Sylwia Polberg, Stefan Woltran:
Generalizations of Dung Frameworks and Their Role in Formal Argumentation. IEEE Intell. Syst. 29(1): 30-38 (2014) - [c65]Gerhard Brewka, Stefan Woltran:
GRAPPA: A Semantical Framework for Graph-Based Argument Processing. ECAI 2014: 153-158 - [c64]Gerhard Brewka, Stefan Ellmauthaler, Jörg Pührer:
Multi-Context Systems for Reactive Reasoning in Dynamic Environments. ECAI 2014: 159-164 - 2013
- [c63]Ringo Baumann, Gerhard Brewka:
Analyzing the Equivalence Zoo in Abstract Argumentation. CLIMA 2013: 18-33 - [c62]Gerhard Brewka, Hannes Strass, Stefan Ellmauthaler, Johannes Peter Wallner, Stefan Woltran:
Abstract Dialectical Frameworks Revisited. IJCAI 2013: 803-809 - [c61]Gerhard Brewka:
Towards Reactive Multi-Context Systems. LPNMR 2013: 1-10 - [c60]Ringo Baumann, Gerhard Brewka:
Spectra in Abstract Argumentation: An Analysis of Minimal Change. LPNMR 2013: 174-186 - [p2]Gerhard Brewka:
Nichtmonotones Schließen. Handbuch der Künstlichen Intelligenz 2013: 171-204 - 2012
- [c59]Ringo Baumann, Gerhard Brewka, Wolfgang Dvorák, Stefan Woltran:
Parameterized Splitting: A Simple Modification-Based Approach. Correct Reasoning 2012: 57-71 - [c58]Gerhard Brewka:
Multi-context Systems: Specifying the Interaction of Knowledge Bases Declaratively. RR 2012: 1-4 - [e9]Gerhard Brewka, Thomas Eiter, Sheila A. McIlraith:
Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012. AAAI Press 2012, ISBN 978-1-57735-560-1 [contents] - 2011
- [j28]Gerhard Brewka, Thomas Eiter, Miroslaw Truszczynski:
Answer set programming at a glance. Commun. ACM 54(12): 92-103 (2011) - [c57]Gerhard Brewka, Thomas Eiter, Michael Fink:
Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 233-258 - [c56]Gerhard Brewka, Paul E. Dunne, Stefan Woltran:
Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs. IJCAI 2011: 780-785 - [c55]Gerhard Brewka, Thomas Eiter, Michael Fink, Antonius Weinzierl:
Managed Multi-Context Systems. IJCAI 2011: 786-791 - [c54]Emad Saad, Gerhard Brewka:
Aggregates in Answer Set Optimization. LPNMR 2011: 211-216 - [c53]Ringo Baumann, Gerhard Brewka, Renata Wong:
Splitting Argumentation Frameworks: An Empirical Evaluation. TAFA 2011: 17-31 - 2010
- [c52]Gerhard Brewka, Miroslaw Truszczynski, Stefan Woltran:
Representing Preferences Among Sets. AAAI 2010: 273-278 - [c51]Gerhard Brewka, Thomas F. Gordon:
Carneades and Abstract Dialectical Frameworks: A Reconstruction. COMMA 2010: 3-12 - [c50]Ringo Baumann, Gerhard Brewka:
Expanding Argumentation Frameworks: Enforcing and Monotonicity Results. COMMA 2010: 75-86 - [c49]Gerhard Brewka:
Nonmonotonic Tools for Argumentation. JELIA 2010: 1-6 - [c48]Ringo Baumann, Gerhard Brewka, Hannes Strass, Michael Thielscher, Vadim Zaslawski:
State Defaults and Ramifications in the Unifying Action Calculus. KR 2010 - [c47]Gerhard Brewka, Stefan Woltran:
Abstract Dialectical Frameworks. KR 2010
2000 – 2009
- 2009
- [c46]Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner:
Combining Nonmonotonic Knowledge Bases with External Sources. FroCoS 2009: 18-42 - [c45]Gerhard Brewka, Thomas Eiter:
Argumentation Context Systems: A Framework for Abstract Group Argumentation. LPNMR 2009: 44-57 - [c44]Gerhard Brewka, Thomas Eiter:
From Data Integration towards Knowledge Mediation. LPNMR 2009: 610-612 - 2008
- [j27]Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski:
Preferences and Nonmonotonic Reasoning. AI Mag. 29(4): 69-78 (2008) - [e8]Gerhard Brewka, Jérôme Lang:
Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008. AAAI Press 2008, ISBN 978-1-57735-384-3 [contents] - [r1]Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski:
Nonmonotonic Reasoning. Handbook of Knowledge Representation 2008: 239-284 - 2007
- [c43]Gerhard Brewka, Thomas Eiter:
Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems. AAAI 2007: 385-390 - [c42]Gerhard Brewka:
Preferences, Contexts and Answer Sets. ICLP 2007: 22 - [c41]Gerhard Brewka, Floris Roelofsen, Luciano Serafini:
Contextual Default Reasoning. IJCAI 2007: 268-273 - [c40]Steven Shapiro, Gerhard Brewka:
Dynamic Interactions between Goals and Beliefs. IJCAI 2007: 2625-2630 - [e7]Chitta Baral, Gerhard Brewka, John S. Schlipf:
Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings. Lecture Notes in Computer Science 4483, Springer 2007, ISBN 978-3-540-72199-4 [contents] - [i6]Steven Shapiro, Gerhard Brewka:
Dynamic Interactions Between Goals and Beliefs. Formal Models of Belief Change in Rational Agents 2007 - 2006
- [j26]Gerhard Brewka, Jürgen Dix:
Preface. Ann. Math. Artif. Intell. 47(1-2): 1-2 (2006) - [j25]Gerhard Brewka:
Answer Sets and Qualitative Optimization. Log. J. IGPL 14(3): 413-433 (2006) - [c39]Robert Feldmann, Gerhard Brewka, Sandro Wenzel:
Planning with Prioritized Goals. KR 2006: 503-514 - [e6]Gerhard Brewka, Silvia Coradeschi, Anna Perini, Paolo Traverso:
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. Frontiers in Artificial Intelligence and Applications 141, IOS Press 2006, ISBN 1-58603-642-4 [contents] - 2005
- [j24]Gerhard Brewka, Pavlos Peppas:
Preface. Stud Logica 79(1): 3-5 (2005) - [j23]Gerhard Brewka:
Answer Sets and Qualitative Decision Making. Synth. 146(1-2): 171-187 (2005) - [c38]Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski:
Prioritized Component Systems. AAAI 2005: 596-601 - [c37]Gerhard Brewka:
Preferences in Answer Set Programming. CAEPIA 2005: 1-10 - [e5]Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski:
Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29. April 2005. Dagstuhl Seminar Proceedings 05171, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005 [contents] - [i5]Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski:
05171 Executive Summary - Nonmonotonic Reasoning, Answer Set Programming and Constraints. Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005 - [i4]Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, Joost Vennekens:
05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints. Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005 - 2004
- [j22]Gerhard Brewka, Salem Benferhat, Daniel Le Berre:
Qualitative choice logic. Artif. Intell. 157(1-2): 203-237 (2004) - [j21]Gerhard Brewka, Ilkka Niemelä, Tommi Syrjänen:
Logic Programs with Ordered Disjunction. Comput. Intell. 20(2): 335-357 (2004) - [c36]Norman Y. Foo, Thomas Meyer, Gerhard Brewka:
LPOD Answer Sets and Nash Equilibria. ASIAN 2004: 343-351 - [c35]Gerhard Brewka:
A Rank Based Description Language for Qualitative Preferences. ECAI 2004: 303-307 - [c34]Gerhard Brewka:
Complex Preferences for Answer Set Optimization. KR 2004: 213-223 - [c33]Gerhard Brewka:
Answer Sets: From Constraint Programming Towards Qualitative Optimization. LPNMR 2004: 34-46 - [c32]Gerhard Brewka:
A rank based description language for qualitative preferences. NMR 2004: 88-93 - 2003
- [j20]Gerhard Brewka, Henry Prakken, Gerard Vreeswijk:
Special Issue on Computational Dialectics: an Introduction. J. Log. Comput. 13(3): 317-318 (2003) - [c31]Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski:
Answer Set Optimization. IJCAI 2003: 867-872 - [p1]Gerhard Brewka:
Nichtmonotones Schließen. Handbuch der Künstlichen Intelligenz 2003: 237-266 - 2002
- [j19]Manuel Ojeda-Aciego, Gerhard Brewka, Inman P. de Guzmán, Luís Moniz Pereira:
Preface. Stud Logica 72(1): 3-5 (2002) - [c30]Gerhard Brewka:
Logic Programming with Ordered Disjunction. AAAI/IAAI 2002: 100-105 - [c29]Gerhard Brewka:
Qualitative Decision Making and Answer Set Programming Extended Abstract. GI Jahrestagung 2002: 655-659 - [c28]Gerhard Brewka, Ilkka Niemelä, Tommi Syrjänen:
Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. JELIA 2002: 444-455 - [c27]Gerhard Brewka, Salem Benferhat, Daniel Le Berre:
Qualitative Choice Logic. KR 2002: 158-169 - [c26]Gerhard Brewka:
Logic programming with ordered disjunction. NMR 2002: 67-76 - [i3]Gerhard Brewka:
Logic Programming with Ordered Disjunction. CoRR cs.AI/0207042 (2002) - 2001
- [j18]Gerhard Brewka:
Declarative Representation of Revision Strategies. J. Appl. Non Class. Logics 11(1-2): 151-167 (2001) - [j17]Gerhard Brewka:
Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus. J. Log. Comput. 11(2): 257-282 (2001) - [j16]Gerhard Brewka:
Representing Meta-Knowledge in Poole-Systems. Stud Logica 67(2): 153-165 (2001) - [c25]Gerhard Brewka:
On the Relationship between Defeasible Logic and Well-Founded Semantics. LPNMR 2001: 121-132 - [e4]Franz Baader, Gerhard Brewka, Thomas Eiter:
KI 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings. Lecture Notes in Computer Science 2174, Springer 2001, ISBN 3-540-42612-4 [contents] - 2000
- [c24]Gerhard Brewka, Thomas Eiter:
Prioritizing Default Logic. Intellectics and Computational Logic 2000: 27-45 - [c23]Gerhard Brewka:
Declarative Representation of Revision Strategies. ECAI 2000: 18-22 - [e3]Manuel Ojeda-Aciego, Inman P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira:
Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings. Lecture Notes in Computer Science 1919, Springer 2000, ISBN 3-540-41131-3 [contents] - [i2]Gerhard Brewka:
Declarative Representation of Revision Strategies. CoRR cs.AI/0003035 (2000)
1990 – 1999
- 1999
- [j15]Gerhard Brewka, Thomas Eiter:
Preferred Answer Sets for Extended Logic Programs. Artif. Intell. 109(1-2): 297-356 (1999) - 1998
- [j14]Gerhard Brewka, Ilkka Niemelä:
Report on the Seventh International Workshop on Nonmonotonic Reasoning. AI Mag. 19(4): 139 (1998) - [c22]Gerhard Brewka, Thomas Eiter:
Preferred Answer Sets for Extended Logic Programs. KR 1998: 86-97 - 1997
- [b3]Gerhard Brewka, Jürgen Dix, Kurt Konolige:
Nonmonotonic Reasoning: An Overview. CSLI Lecture Notes 73, CSLI Publications, Stanford, CA 1997 - [j13]Gerhard Brewka, Georg Gottlob:
Well-Founded Semantics for Default Logic. Fundam. Informaticae 31(3/4): 221-236 (1997) - [c21]Gerhard Brewka, Jürgen Dix:
Knowledge Representation with Logic Programs. LPKR 1997: 1-51 - [e2]Gerhard Brewka, Christopher Habel, Bernhard Nebel:
KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings. Lecture Notes in Computer Science 1303, Springer 1997, ISBN 3-540-63493-2 [contents] - 1996
- [j12]Gerhard Brewka:
Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences. J. Artif. Intell. Res. 4: 19-36 (1996) - [j11]Gerd Brewka:
Artificial intelligence - a modern approach by Stuart Russell and Peter Norvig, Prentice Hall. Series in Artificial Intelligence, Englewood Cliffs, NJ. Knowl. Eng. Rev. 11(1): 78-79 (1996) - [i1]Gerhard Brewka:
Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences. CoRR cs.AI/9602101 (1996) - 1995
- [j10]Gerhard Brewka:
Zur Modellierung von Präferenzen in nichtmonotonen Inferenzsystemen. Künstliche Intell. 9(2): 29-33 (1995) - [j9]Ulrich Furbach, Hans-Jürgen Bürckert, Joachim Hertzberg, Bernhard Nebel, Gerhard Brewka, Gerhard Lakemeyer, Torsten Schaub, Frank Puppe:
Ist die Wissensrepräsentation tot? Künstliche Intell. 9(5): 18-26 (1995) - [c20]Gerhard Brewka:
Extended Logic Programs with Dynamic Preference Information: Extended Abstract. WLP 1995: 195-203 - 1994
- [c19]Gerhard Brewka:
Reasoning about Priorities in Default Logic. AAAI 1994: 940-945 - [c18]Gerhard Brewka:
A Reconstruction of Rescher' s Theory of Formal Disputation Based on Default Logic. ECAI 1994: 366-370 - [c17]Gerhard Brewka:
Adding Priorities and Specificity to Default Logic. JELIA 1994: 247-260 - 1993
- [j8]Cees Witteveen, Gerhard Brewka:
Skeptical Reason Maintenance and Belief Revision. Artif. Intell. 61(1): 1-36 (1993) - [j7]Gerhard Brewka, Joachim Hertzberg:
How to do Things with Worlds: On Formalizing Actions and Plans. J. Log. Comput. 3(5): 517-532 (1993) - [c16]Gerhard Brewka, Kurt Konolige:
An Abductive Framework for General Logic Programs and other Nonmonotonic Systems. IJCAI 1993: 9-17 - [c15]Gerhard Brewka:
An Abductive Framework for Generalized Logic Programs. LPNMR 1993: 349-364 - [e1]Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt:
Nonmonotonic and Inductive Logic, Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991, Proceedings. Lecture Notes in Computer Science 659, Springer 1993, ISBN 3-540-56433-0 [contents] - 1991
- [b2]Gerhard Brewka:
Nonmonotonic reasoning - logical foundations of commonsense. Cambridge tracts in theoretical computer science 12, Cambridge University Press 1991, ISBN 978-0-521-38394-3, pp. I-XI, 1-168 - [j6]Gerhard Brewka:
Cumulative Default Logic: In Defense of Nonmonotonic Inference Rules. Artif. Intell. 50(2): 183-205 (1991) - [c14]Gerhard Brewka:
Assertional Default Theories. ECSQARU 1991: 120-124 - [c13]Ulrich Junker, Gerhard Brewka:
Handling Partially Ordered Defaults in TMS. ECSQARU 1991: 211-218 - [c12]Gerhard Brewka, David Makinson, Karl Schlechta:
JTMS and Logic Programming. LPNMR 1991: 199-210 - [c11]Gerhard Brewka, Jürgen Dix, Kurt Konolige:
A Tutorial on Nonmonotonic Reasoning. Nonmonotonic and Inductive Logic 1991: 1-88 - 1990
- [j5]Gerhard Brewka:
Bevorzugte Teiltheorien: Wissensrevision in einem Ansatz zum Default-Schließen. Kognitionswissenschaft 1(1): 27-35 (1990) - [c10]Gerhard Brewka:
Handling Incomplete Knowledge in Artificial Intelligence. IS/KI 1990: 11-29 - [c9]Gerhard Brewka, David Makinson, Karl Schlechta:
Cumulative Inference Relations for JTMS and Logic Programming. Nonmonotonic and Inductive Logic 1990: 1-12
1980 – 1989
- 1989
- [b1]Gerhard Brewka:
Nonmonotonic reasoning: from theoretical foundation towards efficient computation. University of Hamburg, Germany, 1989, pp. 1-209 - [j4]Gerhard Brewka:
Nonmonotonic Logics - A Brief Overview. AI Commun. 2(2): 88-97 (1989) - [j3]Gerhard Brewka, Joachim Hertzberg:
On being a machine. Volume 1: Formal aspects of artificial intelligence by A. Narayanan 1988, Ellis Horwood/John Wiley, pp 200, £25.00. Knowl. Eng. Rev. 4(3): 250-251 (1989) - [j2]Gerhard Brewka:
Nichtmonotone Logiken - Ein kurzer Überblick. Künstliche Intell. 3(2): 5-12 (1989) - [j1]Gerhard Brewka:
Nichtmonotones Schließen (Nonmonotonic Reasoning). Künstliche Intell. 3(2): 20 (1989) - [c8]Gerhard Brewka:
Preferred Subtheories: An Extended Logical Framework for Default Reasoning. IJCAI 1989: 1043-1048 - [c7]Michael Reinfrank, Oskar Dressler, Gerhard Brewka:
On the Relation Between Truth Maintenance and Autoepistemic Logic. IJCAI 1989: 1206-1212 - [c6]Gerhard Brewka:
Belief revision in a framework for default reasoning. The Logic of Theory Change 1989: 206-222 - 1987
- [c5]Gerhard Brewka:
The Logic of Inheritance in Frame Systems. IJCAI 1987: 483-488 - [c4]Gerhard Brewka:
Nichtmonotone Logiken. Ein einführender Überblick. KIFS 1987: 188-217 - 1986
- [c3]Gerhard Brewka:
Tweety - Still Flying: Some Remarks on Abnormal Birds Applicable Rules and a Default Prover. AAAI 1986: 8-12 - [c2]Gerhard Brewka:
Nonmonotonic Reasoning: Formalizations and Implementations. WOPPLOT 1986: 136-149 - 1985
- [c1]Gerhard Brewka:
Über normale Vögel, anwendbare Regeln und einen Default-Beweiser. GWAI 1985: 218-229
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint