Programming by combining general logic programs

DOI10.1093/LOGCOM/9.1.7MaRDI QIDQ4238481zbMATH OpenOpenAlexFDO

Authors Antonio Brogi, S. Contiero, Franco Turini

Publication date 30 March 1999

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/539b1072d2a87ae5a94910286fd0b8a28517ed1a

zbMATH Keywords

program composition

Mathematics Subject Classification ID

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

Recommendations

• A semantics for modular general logic programs
• Combining Answer Sets of Nonmonotonic Logic Programs
• Institutions for logic programming
• Composing Open Logic Programs

Cited in

(9)

• Composing recursive logic programs with clausal join
• A semantics for modular general logic programs
• Dynamic composition of parameterised logic modules
• Combining Answer Sets of Nonmonotonic Logic Programs
• scientific article; zbMATH DE number 4043303 (Why is no real title available?)
• Knowledge representation with multiple logical theories and time
• scientific article; zbMATH DE number 1482189 (Why is no real title available?)
• Merging Logic Programs under Answer Set Semantics
• Sequential composition of propositional logic programs

This page was built for publication: Programming by combining general logic programs

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