Reasoning with stratified default theories
From MaRDI portal
Recommendations
- Default reasoning and possibility theory
- scientific article; zbMATH DE number 4200176
- A logical framework for default reasoning
- An abstract, argumentation-theoretic approach to default reasoning
- scientific article; zbMATH DE number 3926821
- Default and Inexact Reasoning with Possibility Degrees
- scientific article; zbMATH DE number 3894501
- scientific article; zbMATH DE number 517004
- scientific article; zbMATH DE number 1222413
- scientific article; zbMATH DE number 2064305
Cites work
- A logic for default reasoning
- Autoepistemic logic
- Complexity Results for Nonmonotonic Logics
- General logical databases and programs: Default logic semantics and stratification
- scientific article; zbMATH DE number 4147557 (Why is no real title available?)
- scientific article; zbMATH DE number 4166939 (Why is no real title available?)
- scientific article; zbMATH DE number 97792 (Why is no real title available?)
- scientific article; zbMATH DE number 478394 (Why is no real title available?)
- scientific article; zbMATH DE number 2079046 (Why is no real title available?)
- scientific article; zbMATH DE number 194618 (Why is no real title available?)
- Propositional semantics for disjunctive logic programs
- Seminormal stratified default theories
Cited in
(6)- Splitting finite default theories: A comparison of two approaches
- Seminormal stratified default theories
- Alternative foundations for Reiter's default logic
- Default reasoning by ant colony optimization
- scientific article; zbMATH DE number 2079046 (Why is no real title available?)
- Hypersequent calculi for propositional default logics
This page was built for publication: Reasoning with stratified default theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5101456)
