A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence
From MaRDI portal
Publication:5172603
DOI10.1007/978-3-319-14726-0_1zbMath1432.68003OpenAlexW254370771MaRDI QIDQ5172603
Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran
Publication date: 4 February 2015
Published in: Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-14726-0_1
Logic in artificial intelligence (68T27) Biographies, obituaries, personalia, bibliographies (01A70) Knowledge representation (68T30) History of computer science (68-03) Agent technology and artificial intelligence (68T42)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Approximating operators and semantics for abstract dialectical frameworks
- Ultimate approximation and its application in nonmonotonic knowledge representation systems
- Skeptical reason maintenance and belief revision
- Qualitative choice logic
- Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory
- Argumentation in artificial intelligence
- Semantical considerations on nonmonotonic logic
- A logical framework for default reasoning
- A logic for default reasoning
- Circumscription - a form of non-monotonic reasoning
- Non-monotonic logic. I
- Nonmonotonic reasoning, preferential models and cumulative logics
- Cumulative default logic: In defense of nonmonotonic inference rules
- What does a conditional knowledge base entail?
- Preferred answer sets for extended logic programs
- Multilanguage hierarchical logics, or: How we can do without modal logics
- Two counterexamples related to Baker's approach to the frame problem
- Ramification and causality
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus
- Towards Reactive Multi-Context Systems
- Instantiating Knowledge Bases in Abstract Dialectical Frameworks
- Parameterized Splitting: A Simple Modification-Based Approach
- Probabilistic Abstract Dialectical Frameworks
- Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources
- Argumentation Context Systems: A Framework for Abstract Group Argumentation
- On the logic of theory change: Partial meet contraction and revision functions
- How to Do Things with Worlds: on Formalizing Actions and Plans
- Translating default logic into standard autoepistemic logic
- Nonmonotonic Tools for Argumentation
- Local Models Semantics, or contextual reasoning = locality + compatibility
