Here and There among Logics for Logic Programming
From MaRDI portal
Publication:2900511
DOI10.1007/978-3-642-30743-0_7zbMath1357.68027OpenAlexW104321364MaRDI QIDQ2900511
Publication date: 23 July 2012
Published in: Correct Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-30743-0_7
Cites Work
- Unnamed Item
- Unnamed Item
- Equilibrium logic
- Reasoning with logical bilattices
- Nested expressions in logic programs
- Making prolog more expressive
- A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion
- A logical foundation for logic programming II: Semantics of general logic programs
- Characterization of strongly equivalent logic programs in intermediate logics
- Explanatory Nonmonotonic Reasoning
- Propositional theories are strongly equivalent to logic programs
- Strongly equivalent logic programs
- Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
This page was built for publication: Here and There among Logics for Logic Programming