Logic programming semantics made easy

DOI10.1007/3-540-55719-9_99zbMATH Open1425.68052OpenAlexW1510469359MaRDI QIDQ5204342FDOQ5204342

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

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

Mathematics Subject Classification ID

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

Cites Work

• The well-founded semantics for general logic programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Fixpoint Semantics for Ordered Logic

Cited In (6)

• Default consequence relations as a logical framework for logic programs
• Complexity and expressive power of deterministic semantics for DATALOG\(^ \neg\).
• 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
• Title not available (Why is that?)

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)