Logic programming semantics made easy

DOI10.1007/3-540-55719-9_99MaRDI QIDQ5204342zbMATH OpenOpenAlexFDO

Authors Els Laenens, Dirk Vermeir, Carlo Zaniolo

Publication date 4 December 2019

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-55719-9_99

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation
• scientific article; zbMATH DE number 1114052
• The well-founded semantics for general logic programs
• Partial models and logic programming
• Towards a logical semantics for pure Prolog

Cites work

• scientific article; zbMATH DE number 4160107 (Why is no real title available?)
• scientific article; zbMATH DE number 4106291 (Why is no real title available?)
• scientific article; zbMATH DE number 15392 (Why is no real title available?)
• A Fixpoint Semantics for Ordered Logic
• The well-founded semantics for general logic programs

Cited in

(6)

• Complexity and expressive power of deterministic semantics for DATALOG^ .
• Default consequence relations as a logical framework for logic programs
• Easy definition of new facets in the frame-based language Objlog+
• Pengines: Web Logic Programming Made Easy
• Programming language semantics: It’s easy as 1,2,3
• scientific article; zbMATH DE number 1696798 (Why is no real title available?)

This page was built for publication: Logic programming semantics made easy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5204342)