Theoretical Foundations and Semantics of Logic Programming

DOI10.1007/978-3-642-14309-0_2MaRDI QIDQ3578389zbMATH OpenOpenAlexFDO

Authors Annalisa Bossi, Maria Chiara Meo

Publication date 20 July 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14309-0_2

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 841929
• scientific article; zbMATH DE number 1531964
• scientific article; zbMATH DE number 3872640
• Logical foundations for programming semantics
• scientific article; zbMATH DE number 176721
• scientific article; zbMATH DE number 4195154
• scientific article; zbMATH DE number 26616
• Logic Programming
• scientific article; zbMATH DE number 709760
• On the declarative and procedural semantics of logic programs

Cited in

(11)

• Compositionality properties of SLD-derivations
• Multi-dimensional logic programming: theoretical foundations
• Founded semantics and constraint semantics of logic rules
• A theory of observables for logic programs
• Foundations of logic programming in hybrid logics with user-defined sharing
• Foundations of Logic Programming in Hybridised Logics
• Logic Foundations of the OCL Modelling Language
• scientific article; zbMATH DE number 3958697 (Why is no real title available?)
• Declarative Logic Programming: Theory, Systems, and Applications
• Observable Semantics for Constraint Logic Programs
• scientific article; zbMATH DE number 936829 (Why is no real title available?)

This page was built for publication: Theoretical Foundations and Semantics of Logic Programming

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