scientific article; zbMATH DE number 4114113

zbMATH Open0679.68191MaRDI QIDQ4729416FDOQ4729416

Authors: U. Pletat 

Publication date: 1989

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

Recommendations

• A model-theoretic reconstruction of the operational semantics of logic programs
• scientific article; zbMATH DE number 2089452
• scientific article; zbMATH DE number 4101138
• Compositional model-theoretic semantics for logic programs
• The well-founded semantics for general logic programs

zbMATH Keywords

databaselogic programsprogram interpretation

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Artificial intelligence (68T99) Mechanization of proofs and logical operations (03B35)

Cited In (1)

• Model reconciliation in 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 Q4729416)