scientific article; zbMATH DE number 841929

MaRDI QIDQ4862201zbMATH OpenFDO

Authors Hans-Joachim Goltz, Heinrich Herre

Publication date 6 February 1996

zbMATH Keywords

definite programsPROLOGuniversal theories

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Logic programming (68N17) Knowledge representation (68T30)

Cited in

(12)

• Domains for logic programming
• Multi-dimensional logic programming: theoretical foundations
• Founded semantics and constraint semantics of logic rules
• Foundations of logic programming in hybrid logics with user-defined sharing
• Foundations of Logic Programming in Hybridised Logics
• Logic Foundations of the OCL Modelling Language
• Theoretical Foundations and Semantics of Logic Programming
• scientific article; zbMATH DE number 65531 (Why is no real title available?)
• scientific article; zbMATH DE number 559187 (Why is no real title available?)
• Frege and the resolution calculus
• scientific article; zbMATH DE number 1420805 (Why is no real title available?)
• Role of logic programming in the FGCS project

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