scientific article; zbMATH DE number 1416106
From MaRDI portal
Publication:4943322
Recommendations
Cited in
(19)- On extensions of general default theories
- Characterization of an auto-compatible default theory
- More on representation theory for default logic
- Consistency defaults
- Decidable subsets of open logic and an algorithm for R-calculus
- Seminormalizing a default theory
- Ordered seminormal default theories and their extensions
- scientific article; zbMATH DE number 124281 (Why is no real title available?)
- scientific article; zbMATH DE number 408775 (Why is no real title available?)
- scientific article; zbMATH DE number 611094 (Why is no real title available?)
- Extensions for open default theories via the domain closure assumption
- scientific article; zbMATH DE number 1390351 (Why is no real title available?)
- Extensions for open default theories via the domain closure assumption
- scientific article; zbMATH DE number 5198305 (Why is no real title available?)
- Sequent calculus in computing default extensions
- scientific article; zbMATH DE number 2197975 (Why is no real title available?)
- Constraints on extensions of a default theory
- Evaluating the effect of semi-normality on the expressiveness of defaults
- On the decidability of open logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4943322)
