A hierarchy of semantics for normal constraint logic programs

DOI10.1007/3-540-61735-3_5MaRDI QIDQ2956714zbMATH OpenOpenAlexFDO

Authors François Fages, Roberta Gori

Publication date 19 January 2017

Published in Algebraic and Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61735-3_5

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Observable Semantics for Constraint Logic Programs
• Constructive negation by pruning
• A kripke-kleene semantics for logic programs*
• scientific article; zbMATH DE number 176721
• scientific article; zbMATH DE number 970715

Cited in

(9)

• S-semantics for logic programming: a retrospective look
• Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements
• A normative model of classical reasoning in higher order languages
• scientific article; zbMATH DE number 741348 (Why is no real title available?)
• Constructive negation by pruning
• Semantics of structured normal logic programs
• “Optimal” collecting semantics for analysis in a hierarchy of logic program semantics
• A Functorial Framework for Constraint Normal Logic Programming
• A functorial framework for constraint normal logic programming

This page was built for publication: A hierarchy of semantics for normal constraint logic programs

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