Gerhard Brewka
Gerhard Brewka
Professor of Computer Science, Leipzig University
Verified email at informatik.uni-leipzig.de - Homepage
Title
Cited by
Cited by
Year
Tracking and data association
Y Bar‐Shalom, TE Fortmann, PG Cable
The Journal of the Acoustical Society of America 87 (2), 918-919, 1990
28021990
Answer set programming at a glance
G Brewka, T Eiter, M Truszczyński
Communications of the ACM 54 (12), 92-103, 2011
8282011
Preferred Subtheories: An Extended Logical Framework for Default Reasoning.
G Brewka
IJCAI 89, 1043-1048, 1989
6201989
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
3441999
Nonmonotonic reasoning: an overview
G Brewka, J Dix, K Konolige
CSLI publications, 1997
3001997
Cumulative default logic: In defense of nonmonotonic inference rules
G Brewka
Artificial Intelligence 50 (2), 183-205, 1991
2951991
Abstract dialectical frameworks
G Brewka, S Woltran
Twelfth International Conference on the Principles of Knowledge†…, 2010
2702010
Equilibria in heterogeneous nonmonotonic multi-context systems
G Brewka, T Eiter
AAAI 7, 385-390, 2007
2522007
Reasoning about priorities in default logic
G Brewka
AAAI 1994, 940-945, 1994
2321994
Expanding Argumentation Frameworks: Enforcing and Monotonicity Results.
R Baumann, G Brewka
COMMA 10, 75-86, 2010
1882010
Abstract dialectical frameworks revisited
G Brewka, H Strass, S Ellmauthaler, JP Wallner, S Woltran
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
1842013
Adding priorities and specificity to default logic
G Brewka
European Workshop on Logics in Artificial Intelligence, 247-260, 1994
1831994
Logic programming with ordered disjunction
G Brewka
AAAI/IAAI, 100-105, 2002
1802002
Answer set optimization
G Brewka, I Niemelš, M Truszczynski
IJCAI 3, 867-872, 2003
1632003
Well-founded semantics for extended logic programs with dynamic preferences
G Brewka
Journal of artificial intelligence research 4, 19-36, 1996
1591996
Qualitative choice logic
G Brewka, S Benferhat, D Le Berre
Artificial Intelligence 157 (1-2), 203-237, 2004
1442004
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
1302001
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
Prioritizing default logic
G Brewka, T Eiter
Intellectics and computational logic, 27-45, 2000
1162000
The system can't perform the operation now. Try again later.
Articles 1–20