Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness
From MaRDI portal
Publication:3532471
DOI10.1007/978-3-540-87803-2_22zbMath1178.68564OpenAlexW1525805777MaRDI QIDQ3532471
Ekaterina Komendantskaya, A. John Power
Publication date: 27 October 2008
Published in: Logics in Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: http://opus.bath.ac.uk/26518/1/Power_JELIA_2008.pdf
Related Items
Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness, Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
Cites Work
- Fixpoint semantics for logic programming a survey
- A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption
- Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness
- A kripke-kleene semantics for logic programs*
- Quantitative deduction and its fixpoint theory
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item