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

(8)

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

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)