Semantics of structured normal logic programs

DOI10.1016/J.JLAP.2012.03.001MaRDI QIDQ444364zbMATH OpenOpenAlexFDO

Authors Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro

Publication date 14 August 2012

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

Full work available at URL https://doi.org/10.1016/j.jlap.2012.03.001

zbMATH Keywords

semanticsembedded implicationintuitionistic structuresnormal logic programsstructuring mechanismvisibility rules

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2085282
• A hierarchy of semantics for normal constraint logic programs
• On the equivalence of semantics for normal logic programs
• Static semantics for normal and disjunctive logic programs
• scientific article; zbMATH DE number 176721
• The Semantics of Nominal Logic Programs
• Syntax and semantics of multi-adjoint normal logic programming
• scientific article; zbMATH DE number 26616
• Proof-theoretic foundations of normal logic programs
• On the declarative and procedural semantics of logic programs

Cites work

• scientific article; zbMATH DE number 4199656 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 1330130 (Why is no real title available?)
• scientific article; zbMATH DE number 1158760 (Why is no real title available?)
• scientific article; zbMATH DE number 1538011 (Why is no real title available?)
• scientific article; zbMATH DE number 2085282 (Why is no real title available?)
• scientific article; zbMATH DE number 4185011 (Why is no real title available?)
• A Transformational Semantics of Static Embedded Implications of Normal Logic Programs
• A lattice-theoretical fixpoint theorem and its applications
• A logical analysis of modules in logic programming
• An algebraic framework for the definition of compositional semantics of normal logic programs
• Clausal intuitionistic logic I. fixed-point semantics
• Clausal intuitionistic logic II. tableau proof procedures
• Combining negation as failure and embedded implications in logic programs
• Constructive negation by pruning
• Contributions to the Theory of Logic Programming
• Extending Horn clause logic with implication goals
• Handbook of philosophical logic. Vol. 8
• N-Prolog: An extension of Prolog with hypothetical implications. I.
• N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failure
• Negation and constraint logic programming
• Negation in logic programming
• Structuring logic programs: a modal approach
• The Semantics of Predicate Logic as a Programming Language
• The s-semantics approach: Theory and applications
• The well-founded semantics for general logic programs
• What is failure? An approach to constructive negation

Cited in

(4)

• Structuring logic programs: a modal approach
• scientific article; zbMATH DE number 2085282 (Why is no real title available?)
• A Transformational Semantics of Static Embedded Implications of Normal Logic Programs
• scientific article; zbMATH DE number 741348 (Why is no real title available?)

This page was built for publication: Semantics of structured normal logic programs

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