Semantics of structured normal logic programs

DOI10.1016/J.JLAP.2012.03.001zbMATH Open1279.68190OpenAlexW2068639451MaRDI QIDQ444364FDOQ444364

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

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

zbMATH Keywords

semanticsembedded implicationintuitionistic structuresnormal logic programsstructuring mechanismvisibility rules

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• The well-founded semantics for general logic programs
• A lattice-theoretical fixpoint theorem and its applications
• The Semantics of Predicate Logic as a Programming Language
• Title not available (Why is that?)
• What is failure? An approach to constructive negation
• Negation and constraint logic programming
• Constructive negation by pruning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Extending Horn clause logic with implication goals
• 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
• Clausal intuitionistic logic I. fixed-point semantics
• Negation in logic programming
• Clausal intuitionistic logic II. tableau proof procedures
• Contributions to the Theory of Logic Programming
• Combining negation as failure and embedded implications in logic programs
• Title not available (Why is that?)
• The s-semantics approach: Theory and applications
• Structuring logic programs: a modal approach
• An algebraic framework for the definition of compositional semantics of normal logic programs
• A logical analysis of modules in logic programming
• Title not available (Why is that?)
• A Transformational Semantics of Static Embedded Implications of Normal Logic Programs
• Handbook of philosophical logic. Vol. 8

Cited In (4)

• Structuring logic programs: a modal approach
• Title not available (Why is that?)
• A Transformational Semantics of Static Embedded Implications of Normal Logic Programs
• Title not available (Why is that?)

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)