Semantics of structured normal logic programs

DOI10.1016/j.jlap.2012.03.001zbMath1279.68190MaRDI QIDQ444364

Elvira Pino, Edelmira Pasarella, Fernando Orejas, 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

semantics; embedded implication; intuitionistic structures; normal logic programs; structuring mechanism; visibility rules

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68N17: Logic programming

Cites Work

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