Declarative Logic Programming: Theory, Systems, and Applications

DOI10.1145/3191315MaRDI QIDQ4557745zbMATH OpenOpenAlexFDO

Authors

Publication date 26 November 2018

Full work available at URL https://doi.org/10.1145/3191315

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 10085
• On the declarative and procedural semantics of logic programs
• scientific article; zbMATH DE number 750013
• Theoretical Foundations and Semantics of Logic Programming
• scientific article; zbMATH DE number 4199656
• Differential logic programs: Programming methodologies and semantics
• scientific article; zbMATH DE number 785048
• Program logics and their applications
• Logic Programming
• scientific article; zbMATH DE number 4045228

Cited in

(13)

• scientific article; zbMATH DE number 4199656 (Why is no real title available?)
• An approach to declarative programming based on a rewriting logic
• Aspmc: new frontiers of algebraic answer set counting
• scientific article; zbMATH DE number 4139316 (Why is no real title available?)
• Personal perspective on the development of logic programming based KR languages
• Hypergraphs in logic programming
• scientific article; zbMATH DE number 2090544 (Why is no real title available?)
• scientific article; zbMATH DE number 67516 (Why is no real title available?)
• scientific article; zbMATH DE number 7453127 (Why is no real title available?)
• Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description)
• Declarative programming: a logical view
• Modularization and abstraction in logic programming
• scientific article; zbMATH DE number 4003495 (Why is no real title available?)

This page was built for publication: Declarative Logic Programming: Theory, Systems, and Applications

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