Follow
Gerhard Brewka
Gerhard Brewka
Professor of Computer Science, Leipzig University
Verified email at informatik.uni-leipzig.de - Homepage
Title
Cited by
Cited by
Year
Answer set programming at a glance
G Brewka, T Eiter, M Truszczyński
Communications of the ACM 54 (12), 92-103, 2011
8812011
Preferred Subtheories: An Extended Logical Framework for Default Reasoning.
G Brewka
IJCAI 89, 1043-1048, 1989
6281989
Nonmonotonic reasoning: logical foundations of commonsense
G Brewka
Cambridge University Press, 1991
4971991
Preferred answer sets for extended logic programs
G Brewka, T Eiter
Artificial intelligence 109 (1-2), 297-356, 1999
3521999
Nonmonotonic reasoning: an overview
G Brewka, J Dix, K Konolige
CSLI publications, 1997
3031997
Cumulative default logic: In defense of nonmonotonic inference rules
G Brewka
Artificial Intelligence 50 (2), 183-205, 1991
2861991
Abstract dialectical frameworks
G Brewka, S Woltran
Proceedings of the Twelfth International Conference on Principles of†…, 2010
2822010
Equilibria in heterogeneous nonmonotonic multi-context systems
G Brewka, T Eiter
AAAI 7, 385-390, 2007
2572007
Reasoning about priorities in default logic
G Brewka
AAAI 1994, 940-945, 1994
2301994
Abstract dialectical frameworks revisited
G Brewka, S Ellmauthaler, H Strass, JP Wallner, S Woltran
Proceedings of the Twenty-Third international joint conference on Artificial†…, 2013
2002013
Expanding Argumentation Frameworks: Enforcing and Monotonicity Results.
R Baumann, G Brewka
COMMA 10, 75-86, 2010
1972010
Logic programming with ordered disjunction
G Brewka
AAAI/IAAI, 100-105, 2002
1852002
Adding priorities and specificity to default logic
G Brewka
European Workshop on Logics in Artificial Intelligence, 247-260, 1994
1811994
Answer set optimization
G Brewka, I Niemelš, M Truszczynski
IJCAI 3, 867-872, 2003
1682003
Well-founded semantics for extended logic programs with dynamic preferences
G Brewka
Journal of artificial intelligence research 4, 19-36, 1996
1651996
Qualitative choice logic
G Brewka, S Benferhat, D Le Berre
Artificial Intelligence 157 (1-2), 203-237, 2004
1482004
How to do things with worlds: On formalizing actions and plans
G Brewka, J Hertzberg
Journal of Logic and Computation 3 (5), 517-532, 1993
1301993
Dynamic argument systems: A formal model of argumentation processes based on situation calculus
G Brewka
Journal of logic and computation 11 (2), 257-282, 2001
1292001
Prioritizing default logic
G Brewka, T Eiter
Intellectics and computational logic, 27-45, 2000
1202000
Contextual Default Reasoning.
G Brewka, F Roelofsen, L Serafini
IJCAI, 268-273, 2007
1102007
The system can't perform the operation now. Try again later.
Articles 1–20