Pages that link to "Item:Q4018170"
From MaRDI portal
The following pages link to Complexity Results for Nonmonotonic Logics (Q4018170):
Displaying 50 items.
- Finding explanations of inconsistency in multi-context systems (Q460632) (← links)
- Restricted default theories: expressive power and outlier detection tasks (Q483301) (← links)
- On the parameterized complexity of non-monotonic logics (Q494658) (← links)
- Ordering default theories and nonmonotonic logic programs (Q557790) (← links)
- Proof complexity of propositional default logic (Q647339) (← links)
- Graded hypothesis theories (Q673394) (← links)
- Enhancing disjunctive logic programming systems by SAT checkers (Q814529) (← links)
- Reasoning with infinite stable models (Q814596) (← links)
- General default logic (Q987485) (← links)
- Reasoning under inconsistency: a forgetting-based approach (Q991019) (← links)
- The computational complexity of ideal semantics (Q1045987) (← links)
- Fixed points in propositional nonmonotonic logic (Q1115426) (← links)
- On the complexity of propositional knowledge base revision, updates, and counterfactuals (Q1199919) (← links)
- Nonmonotonic reasoning: From complexity to algorithms (Q1267768) (← links)
- Inheritance comes of age: applying nonmonotonic techniques to problems in industry (Q1274763) (← links)
- Prolog technology for default reasoning: proof theory and compilation techniques (Q1275596) (← links)
- Succinctness as a source of complexity in logical formalisms (Q1302307) (← links)
- Cumulative default logic: Finite characterization, algorithms, and complexity (Q1337685) (← links)
- Querying disjunctive databases through nonmonotonic logics (Q1350535) (← links)
- Multi-valued autoepistemic logic (Q1380408) (← links)
- Is intractability of nonmonotonic reasoning a real drawback? (Q1391905) (← links)
- Fixed-parameter tractability of disjunction-free default reasoning (Q1400063) (← links)
- Semantics and complexity of abduction from default theories (Q1402749) (← links)
- Prioritized logic programming and its application to commonsense reasoning (Q1589476) (← links)
- Alternative foundations for Reiter's default logic (Q1589575) (← links)
- Default reasoning from conditional knowledge bases: Complexity and tractable cases (Q1589638) (← links)
- Yet some more complexity results for default logic (Q1606113) (← links)
- Restricted semantics for default reasoning (Q1757453) (← links)
- Minimal temporal epistemic logic (Q1815428) (← links)
- On the computational complexity of assumption-based argumentation for default reasoning. (Q1852857) (← links)
- Propositional default logics made easier: computational complexity of model checking. (Q1853549) (← links)
- Uniform semantic treatment of default and autoepistemic logics (Q1853682) (← links)
- Reasoning with power defaults (Q1882904) (← links)
- A decision method for nonmonotonic reasoning based on autoepistemic reasoning (Q1891263) (← links)
- Default reasoning by deductive planning (Q1896366) (← links)
- A new methodology for query answering in default logics via structure-oriented theorem proving (Q1896370) (← links)
- Propositional truth maintenance systems: Classification and complexity analysis (Q1924776) (← links)
- On the computational cost of disjunctive logic programming: Propositional case (Q1924780) (← links)
- Complexity of computing with extended propositional logic programs (Q1924783) (← links)
- On the decidability and complexity of reasoning about only knowing (Q1978243) (← links)
- Representation results for non-cumulative logics (Q2148843) (← links)
- Default reasoning using classical logic (Q2171265) (← links)
- Connecting fuzzy logic and argumentation frames via logical attack principles (Q2317516) (← links)
- Only knowing with degrees of confidence (Q2372201) (← links)
- Redundancy in logic. III: Non-monotonic reasoning (Q2389660) (← links)
- Combining answer set programming with description logics for the semantic web (Q2389666) (← links)
- Outlier detection using default reasoning (Q2389688) (← links)
- A recipe for the complexity analysis of non-classical logics (Q2782480) (← links)
- Strong Backdoors for Default Logic (Q2818000) (← links)
- Privacy Preservation Using Multi-context Systems and Default Logic (Q2900519) (← links)
