scientific article; zbMATH DE number 1407684

zbMATH Open0944.68023MaRDI QIDQ4940939FDOQ4940939

Authors: Sofie Verbaeten, Marc Denecker, Danny De Schreye 

Publication date: 28 February 2000

Title of this publication is not available (Why is that?)

Recommendations

• Compositionality of normal open logic programs
• Composing Open Logic Programs
• Institutions for logic programming
• A semantics for modular general logic programs
• A compositional semantics for logic programs

zbMATH Keywords

compositionality of programs

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17)

Cited In (4)

• Title not available (Why is that?)
• Composing Open Logic Programs
• Title not available (Why is that?)
• Compositionality of normal open logic programs

This page was built for publication:

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