More on representation theory for default logic
From MaRDI portal
Publication:1854447
DOI10.1006/inco.2001.2966zbMath1008.03019MaRDI QIDQ1854447
Publication date: 14 January 2003
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.2001.2966
03B60: Other nonclassical logic
68T27: Logic in artificial intelligence
03B70: Logic in computer science
Related Items
Cites Work
- A theory of diagnosis from first principles
- A logic for default reasoning
- Default logic about assertions
- Querying disjunctive databases through nonmonotonic logics
- Representation theory for default logic
- Tractable reasoning in artificial intelligence
- Semi-representability of default theories in rational default logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item