Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness

DOI10.1007/978-3-540-87803-2_22MaRDI QIDQ3532471zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

categorical logicSLD-resolutionground semanticsfibrational semanticsmany-valued logic programs

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Sound and complete SLD-resolution for bilattice-based annotated logic programs
• scientific article; zbMATH DE number 4193644
• Multi-valued semantics for logic programs
• Multi-valued stable semantics for logic programs
• scientific article; zbMATH DE number 1453068

Cites work

• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 2209897 (Why is no real title available?)
• A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption
• A kripke-kleene semantics for logic programs*
• Automated deduction for many-valued logics
• Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness
• Fixpoint semantics for logic programming a survey
• Quantitative deduction and its fixpoint theory

Cited in

(5)

• Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness
• A fibrational framework for possible-world semantics of \textsc{Algol}-like languages
• scientific article; zbMATH DE number 868086 (Why is no real title available?)
• Coalgebraic semantics for parallel derivation strategies in logic programming
• Sound and complete SLD-resolution for bilattice-based annotated logic programs

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)