Hard problems for simple default logics
From MaRDI portal
Publication:1182166
DOI10.1016/0004-3702(91)90011-8zbMATH Open0736.68044OpenAlexW2148718809MaRDI QIDQ1182166FDOQ1182166
Recommendations
Cites work
- scientific article; zbMATH DE number 4176507 (Why is no real title available?)
- scientific article; zbMATH DE number 3694633 (Why is no real title available?)
- scientific article; zbMATH DE number 43242 (Why is no real title available?)
- scientific article; zbMATH DE number 3639144 (Why is no real title available?)
- scientific article; zbMATH DE number 194618 (Why is no real title available?)
- scientific article; zbMATH DE number 4114596 (Why is no real title available?)
- A logic for default reasoning
- A skeptical theory of inheritance in nonmonotonic semantic networks
- Linear-time algorithms for testing the satisfiability of propositional horn formulae
- Model-preference default theories
Cited in
(43)- Querying disjunctive databases through nonmonotonic logics
- scientific article; zbMATH DE number 1876863 (Why is no real title available?)
- On the impact of stratification on the complexity of nonmonotonic reasoning
- scientific article; zbMATH DE number 1761409 (Why is no real title available?)
- Default theories that always have extensions
- Resolving ambiguity in nonmonotonic inheritance hierarchies
- Default reasoning using classical logic
- Defaults and relevance in model-based reasoning
- Outlier detection using default reasoning
- Propositional default logics made easier: computational complexity of model checking.
- Is intractability of nonmonotonic reasoning a real drawback?
- Semantics and complexity of abduction from default theories
- scientific article; zbMATH DE number 408811 (Why is no real title available?)
- Modeling simultaneous events with default reasoning and tight derivations
- scientific article; zbMATH DE number 2032416 (Why is no real title available?)
- The Complexity of Reasoning for Fragments of Default Logic
- Efficient query processing with reduced implicate tries
- Limited reasoning in first-order knowledge bases
- scientific article; zbMATH DE number 1390355 (Why is no real title available?)
- scientific article; zbMATH DE number 4106303 (Why is no real title available?)
- Skeptical reasoning in FC-normal logic programs is \(\Pi_1^1\)-complete
- Model-preference default theories
- Support set selection for abductive and default reasoning
- Default reasoning from conditional knowledge bases: Complexity and tractable cases
- scientific article; zbMATH DE number 52991 (Why is no real title available?)
- Tractable reasoning via approximation
- Default rules in the logic of first-degree entailments
- The complexity of propositional closed world reasoning and circumscription
- Reasoning with power defaults
- scientific article; zbMATH DE number 1754690 (Why is no real title available?)
- Outlier detection for simple default theories
- On the computational cost of disjunctive logic programming: Propositional case
- Propositional semantics for disjunctive logic programs
- The complexity of path-based defeasible inheritance
- Default reasoning by deductive planning
- scientific article; zbMATH DE number 4166939 (Why is no real title available?)
- Restricted default theories: expressive power and outlier detection tasks
- A decision method for nonmonotonic reasoning based on autoepistemic reasoning
- Complexity of Default Logic on Generalized Conjunctive Queries
- Privacy preservation using multi-context systems and default logic
- Proof complexity of propositional default logic
- Yet some more complexity results for default logic
- scientific article; zbMATH DE number 4174352 (Why is no real title available?)
This page was built for publication: Hard problems for simple default logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1182166)
