scientific article; zbMATH DE number 4098708

MaRDI QIDQ3823786zbMATH OpenFDO

Authors V. B. Borshchev

Publication date 1987

zbMATH Keywords

logic programmingprocedure symbolsprogram clause

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Semantics in the theory of computing (68Q55) Artificial intelligence (68T99)

Recommendations

• scientific article; zbMATH DE number 4072431
• scientific article; zbMATH DE number 2237358
• Parametrized logic programming
• scientific article; zbMATH DE number 26616
• Parametrized semantics of logic programs -- a unifying framework

Cited in

(13)

• Logic program forms
• Parametrized semantics of logic programs -- a unifying framework
• Dynamic composition of parameterised logic modules
• Decidability and implementation of parametrized logic programs
• scientific article; zbMATH DE number 4139721 (Why is no real title available?)
• scientific article; zbMATH DE number 4009792 (Why is no real title available?)
• scientific article; zbMATH DE number 4072431 (Why is no real title available?)
• scientific article; zbMATH DE number 26616 (Why is no real title available?)
• scientific article; zbMATH DE number 1487474 (Why is no real title available?)
• scientific article; zbMATH DE number 2111988 (Why is no real title available?)
• Parametrized logic programming
• A proof-theoretic semantics for parametric logical constants
• scientific article; zbMATH DE number 2237358 (Why is no real title available?)

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 Q3823786)