![]() | 2009 | |
---|---|---|
84 | ![]() ![]() ![]() ![]() ![]() ![]() | Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner: Combining Nonmonotonic Knowledge Bases with External Sources. FroCos 2009: 18-42 |
83 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka, Thomas Eiter: Argumentation Context Systems: A Framework for Abstract Group Argumentation. LPNMR 2009: 44-57 |
82 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka, Thomas Eiter: From Data Integration towards Knowledge Mediation. LPNMR 2009: 610-612 |
2008 | ||
81 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
2007 | ||
80 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 Springer 2007 |
79 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka, Thomas Eiter: Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems. AAAI 2007: 385-390 |
78 | ![]() ![]() ![]() ![]() ![]() ![]() | Steven Shapiro, Gerhard Brewka: Dynamic Interactions Between Goals and Beliefs. Formal Models of Belief Change in Rational Agents 2007 |
77 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Preferences, Contexts and Answer Sets. ICLP 2007: 22 |
76 | ![]() ![]() ![]() ![]() ![]() ![]() | Steven Shapiro, Gerhard Brewka: Dynamic Interactions between Goals and Beliefs. IJCAI 2007: 2625-2630 |
75 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka, Floris Roelofsen, Luciano Serafini: Contextual Default Reasoning. IJCAI 2007: 268-273 |
2006 | ||
74 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 IOS Press 2006 |
73 | ![]() ![]() ![]() ![]() ![]() ![]() | Robert Feldmann, Gerhard Brewka, Sandro Wenzel: Planning with Prioritized Goals. KR 2006: 503-514 |
72 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka, Jürgen Dix: Preface. Ann. Math. Artif. Intell. 47(1-2): 1-2 (2006) |
71 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Answer Sets and Qualitative Optimization. Logic Journal of the IGPL 14(3): 413-433 (2006) |
2005 | ||
70 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski: Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29. April 2005 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005 |
69 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski: Prioritized Component Systems. AAAI 2005: 596-601 |
68 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Preferences in Answer Set Programming. CAEPIA 2005: 1-10 |
67 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
66 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
65 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka, Pavlos Peppas: Preface. Studia Logica 79(1): 3-5 (2005) |
2004 | ||
64 | ![]() ![]() ![]() ![]() ![]() ![]() | Norman Y. Foo, Thomas Meyer, Gerhard Brewka: LPOD Answer Sets and Nash Equilibria. ASIAN 2004: 343-351 |
63 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: A Rank Based Description Language for Qualitative Preferences. ECAI 2004: 303-307 |
62 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Complex Preferences for Answer Set Optimization. KR 2004: 213-223 |
61 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Answer Sets: From Constraint Programming Towards Qualitative Optimization. LPNMR 2004: 34-46 |
60 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: A rank based description language for qualitative preferences. NMR 2004: 88-93 |
59 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka, Salem Benferhat, Daniel Le Berre: Qualitative choice logic. Artif. Intell. 157(1-2): 203-237 (2004) |
58 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka, Ilkka Niemelä, Tommi Syrjänen: Logic Programs with Ordered Disjunction. Computational Intelligence 20(2): 335-357 (2004) |
2003 | ||
57 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski: Answer Set Optimization. IJCAI 2003: 867-872 |
56 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka, Henry Prakken, Gerard Vreeswijk: Special Issue on Computational Dialectics: an Introduction. J. Log. Comput. 13(3): 317-318 (2003) |
2002 | ||
55 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Logic Programming with Ordered Disjunction. AAAI/IAAI 2002: 100-105 |
54 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Qualitative Decision Making and Answer Set Programming Extended Abstract. GI Jahrestagung 2002: 655-659 |
53 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka, Ilkka Niemelä, Tommi Syrjänen: Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. JELIA 2002: 444-455 |
52 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka, Salem Benferhat, Daniel Le Berre: Qualitative Choice Logic. KR 2002: 158-169 |
51 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Logic programming with ordered disjunction. NMR 2002: 67-76 |
50 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Logic Programming with Ordered Disjunction CoRR cs.AI/0207042: (2002) |
49 | ![]() ![]() ![]() ![]() ![]() ![]() | Manuel Ojeda-Aciego, Gerhard Brewka, Inman P. de Guzmán, Luís Moniz Pereira: Preface. Studia Logica 72(1): 3-5 (2002) |
2001 | ||
48 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 Springer 2001 |
47 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: On the Relationship between Defeasible Logic and Well-Founded Semantics. LPNMR 2001: 121-132 |
46 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus. J. Log. Comput. 11(2): 257-282 (2001) |
45 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Declarative Representation of Revision Strategies. Journal of Applied Non-Classical Logics 11(1-2): 151-167 (2001) |
44 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Representing Meta-Knowledge in Poole-Systems. Studia Logica 67(2): 153-165 (2001) |
2000 | ||
43 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 Springer 2000 |
42 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Declarative Representation of Revision Strategies. ECAI 2000: 18-22 |
41 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka, Thomas Eiter: Prioritizing Default Logic. Intellectics and Computational Logic 2000: 27-45 |
40 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Declarative Representation of Revision Strategies CoRR cs.AI/0003035: (2000) |
1999 | ||
39 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka, Thomas Eiter: Preferred Answer Sets for Extended Logic Programs. Artif. Intell. 109(1-2): 297-356 (1999) |
1998 | ||
38 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka, Thomas Eiter: Preferred Answer Sets for Extended Logic Programs. KR 1998: 86-97 |
37 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka, Ilkka Niemelä: Report on the Seventh International Workshop on Nonmonotonic Reasoning. AI Magazine 19(4): 139 (1998) |
1997 | ||
36 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka, Jürgen Dix, Kurt Konolige: Nonmonotonic Reasoning: An Overview CSLI Publications, Stanford, CA 1997 |
35 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 Springer 1997 |
34 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka, Jürgen Dix: Knowledge Representation with Logic Programs. LPKR 1997: 1-51 |
33 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka, Georg Gottlob: Well-Founded Semantics for Default Logic. Fundam. Inform. 31(3/4): 221-236 (1997) |
1996 | ||
32 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences CoRR cs.AI/9602101: (1996) |
31 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences. J. Artif. Intell. Res. (JAIR) 4: 19-36 (1996) |
1995 | ||
30 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Extended Logic Programs with Dynamic Preference Information: Extended Abstract. WLP 1995: 195-203 |
29 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Zur Modellierung von Präferenzen in nichtmonotonen Inferenzsystemen. KI 9(2): 29-33 (1995) |
28 | ![]() ![]() ![]() ![]() ![]() ![]() | Ulrich Furbach, Hans-Jürgen Bürckert, Joachim Hertzberg, Bernhard Nebel, Gerhard Brewka, Gerhard Lakemeyer, Torsten Schaub, Frank Puppe: Ist die Wissensrepräsentation tot? KI 9(5): 18-26 (1995) |
1994 | ||
27 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Reasoning about Priorities in Default Logic. AAAI 1994: 940-945 |
26 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: A Reconstruction of Rescher' s Theory of Formal Disputation Based on Default Logic. ECAI 1994: 366-370 |
25 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Adding Priorities and Specificity to Default Logic. JELIA 1994: 247-260 |
1993 | ||
24 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt: Nonmonotonic and Inductive Logic, Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991, Proceedings Springer 1993 |
23 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka, Kurt Konolige: An Abductive Framework for General Logic Programs and other Nonmonotonic Systems. IJCAI 1993: 9-17 |
22 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: An Abductive Framework for Generalized Logic Programs. LPNMR 1993: 349-364 |
21 | ![]() ![]() ![]() ![]() ![]() ![]() | Cees Witteveen, Gerhard Brewka: Skeptical Reason Maintenance and Belief Revision. Artif. Intell. 61(1): 1-36 (1993) |
20 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka, Joachim Hertzberg: How to do Things with Worlds: On Formalizing Actions and Plans. J. Log. Comput. 3(5): 517-532 (1993) |
1991 | ||
19 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Assertional Default Theories. ECSQARU 1991: 120-124 |
18 | ![]() ![]() ![]() ![]() ![]() ![]() | Ulrich Junker, Gerhard Brewka: Handling Partially Ordered Defaults in TMS. ECSQARU 1991: 211-218 |
17 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka, David Makinson, Karl Schlechta: JTMS and Logic Programming. LPNMR 1991: 199-210 |
16 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka, Jürgen Dix, Kurt Konolige: A Tutorial on Nonmonotonic Reasoning. Nonmonotonic and Inductive Logic 1991: 1-88 |
15 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Cumulative Default Logic: In Defense of Nonmonotonic Inference Rules. Artif. Intell. 50(2): 183-205 (1991) |
1990 | ||
14 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Handling Incomplete Knowledge in Artificial Intelligence. IS/KI 1990: 11-29 |
13 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka, David Makinson, Karl Schlechta: Cumulative Inference Relations for JTMS and Logic Programming. Nonmonotonic and Inductive Logic 1990: 1-12 |
12 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Bevorzugte Teiltheorien: Wissensrevision in einem Ansatz zum Default-Schließen. Kognitionswissenschaft 1(1): 27-35 (1990) |
1989 | ||
11 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Preferred Subtheories: An Extended Logical Framework for Default Reasoning. IJCAI 1989: 1043-1048 |
10 | ![]() ![]() ![]() ![]() ![]() ![]() | Michael Reinfrank, Oskar Dressler, Gerhard Brewka: On the Relation Between Truth Maintenance and Autoepistemic Logic. IJCAI 1989: 1206-1212 |
9 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Belief revision in a framework for default reasoning. The Logic of Theory Change 1989: 206-222 |
8 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Nonmonotonic Logics - A Brief Overview. AI Commun. 2(2): 88-97 (1989) |
7 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Nichtmonotones Schließen (Nonmonotonic Reasoning). KI 3(2): 20 (1989) |
6 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Nichtmonotone Logiken - Ein kurzer Überblick. KI 3(2): 5-12 (1989) |
1987 | ||
5 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: The Logic of Inheritance in Frame Systems. IJCAI 1987: 483-488 |
4 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Nichtmonotone Logiken. Ein einführender Überblick. KIFS 1987: 188-217 |
1986 | ||
3 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Tweety - Still Flying: Some Remarks on Abnormal Birds Applicable Rules and a Default Prover. AAAI 1986: 8-12 |
2 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Nonmonotonic Reasoning: Formalizations and Implementations. WOPPLOT 1986: 136-149 |
1985 | ||
1 | ![]() ![]() ![]() ![]() ![]() ![]() | Gerhard Brewka: Über normale Vögel, anwendbare Regeln und einen Default-Beweiser. GWAI 1985: 218-229 |