Programming by combining general logic programs

DOI10.1093/LOGCOM/9.1.7zbMATH Open0915.68020OpenAlexW2319980797MaRDI QIDQ4238481FDOQ4238481

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

Recommendations

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

zbMATH Keywords

program composition

Mathematics Subject Classification ID

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

Cited In (8)

• Composing recursive logic programs with clausal join
• Merging Logic Programs under Answer Set Semantics
• Combining Answer Sets of Nonmonotonic Logic Programs
• Knowledge representation with multiple logical theories and time
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sequential composition of propositional logic programs
• Dynamic composition of parameterised logic modules

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)