Reasoning with stratified default theories
From MaRDI portal
Publication:5101456
DOI10.1007/3-540-59487-6_20zbMath1496.68313OpenAlexW1508546487MaRDI QIDQ5101456
Publication date: 30 August 2022
Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-59487-6_20
Related Items (1)
Cites Work
- A logic for default reasoning
- General logical databases and programs: Default logic semantics and stratification
- Seminormal stratified default theories
- Propositional semantics for disjunctive logic programs
- Complexity Results for Nonmonotonic Logics
- Autoepistemic logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Reasoning with stratified default theories