Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness
From MaRDI portal
Publication:3532471
DOI10.1007/978-3-540-87803-2_22zbMATH Open1178.68564OpenAlexW1525805777MaRDI QIDQ3532471FDOQ3532471
Authors: Ekaterina Komendantskaya, 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
Recommendations
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A kripke-kleene semantics for logic programs*
- Fixpoint semantics for logic programming a survey
- Quantitative deduction and its fixpoint theory
- Automated deduction for many-valued logics
- 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
- Title not available (Why is that?)
Cited In (5)
- A fibrational framework for possible-world semantics of \textsc{Algol}-like languages
- Title not available (Why is that?)
- Coalgebraic semantics for parallel derivation strategies in logic programming
- Sound and complete SLD-resolution for bilattice-based annotated logic programs
- Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness
This page was built for publication: Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3532471)
