Compositional model-theoretic semantics for logic programs
type: Item
instance of: scholarly article
title: Compositional model-theoretic semantics for logic programs
zbMATH Open document ID: 0782.68023
DOI: 10.1007/BF03037525
author: Antonio Brogi
author: Evelina Lamma
author: Paola Mello
published in: New Generation Computing
publication date: 1993-04-01T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 146936
zbMATH Keywords: compositionality
zbMATH Keywords: Herbrand models
MaRDI profile type: Publication
cites work: Q4385536
cites work: Contributions to the Theory of Logic Programming
cites work: Q5688899
cites work: Composing Open Logic Programs
cites work: Q3742757
cites work: Q3992908
cites work: Complete logic programs with domain-closure axiom
cites work: A logical analysis of modules in logic programming
cites work: Compiling a default reasoning system into Prolog
cites work: A logical framework for default reasoning
cites work: The Semantics of Predicate Logic as a Programming Language
Recommended article: A compositional semantics for logic programs
Recommended article: Program Development in Computational Logic
Recommended article: Compositional Semantics for the Procedural Interpretation of Logic
Recommended article: Complementing logic program semantics
Recommended article: Compositionality and model-theoretic interpretation
Recommended article: Fully abstract compositional semantics for an algebra of logic programs
Recommended article: Foundations of compositional model theory
Recommended article: Compositional Reasoning for Multi-modal Logics
Recommended article: Compositional Specification in Rewriting Logic
Recommended article: Combinatory logic and the semantics of substructural logics
description: scientific article; zbMATH DE number 146936