Default theories that always have extensions
From MaRDI portal
(Redirected from Publication:1337686)
Cites work
- scientific article; zbMATH DE number 3888913 (Why is no real title available?)
- A graph-theoretic approach to default logic
- A logic for default reasoning
- Formalizing nonmonotonic reasoning systems
- General logical databases and programs: Default logic semantics and stratification
- Hard problems for simple default logics
- Horn clause queries and generalizations
- On kernels, defaults and even graphs
Cited in
(4)
This page was built for publication: Default theories that always have extensions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1337686)