scientific article; zbMATH DE number 1761422
From MaRDI portal
zbMath0988.68614MaRDI QIDQ4537442
No author found.
Publication date: 30 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Nonmonotonic reasoning with multiple belief sets, Cumulative default logic: Finite characterization, algorithms, and complexity, Preferences in artificial intelligence, Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic, A new methodology for query answering in default logics via structure-oriented theorem proving, A Selective Semantics for Logic Programs with Preferences, Defaults with priorities, Operational characterization of extensions in some logics for default reasoning, Multi-interpretation operators and approximate classification., Defeasible inheritance with doubt index and its axiomatic characterization, Compiling specificity into approaches to nonmonotonic reasoning, A comparative survey of default logic variants, A system for defeasible argumentation, with defeasible priorities, Handling Exceptions in Logic Programming without Negation as Failure, t-DeLP: an argumentation-based temporal defeasible logic programming framework, A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence, Studying properties of classes of default logics, A compositional reasoning system for executing nonmonotonic theories of reasoning, An argument-based approach to reasoning with specificity, Lexicographic priorities in default logic, Expressing preferences in default logic, GK: implementing full first order default logic for commonsense reasoning (system description), The qualification problem: A solution to the problem of anomalous models
