Multi-dimensional logic programming: theoretical foundations

DOI10.1016/S0304-3975(97)00048-0MaRDI QIDQ1390957zbMATH OpenFDO

Authors Mehmet A. Orgun, Wei-Chang Du

Publication date 22 July 1998

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

logic programmingMSLD-resolution

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 3866574
• Theoretical Foundations and Semantics of Logic Programming
• Logic Programming and Nonmonotonic Reasoning
• Foundations of Logic Programming in Hybridised Logics
• Extended multi-adjoint logic programming
• scientific article; zbMATH DE number 841929
• scientific article; zbMATH DE number 1531964
• scientific article; zbMATH DE number 3872640
• scientific article; zbMATH DE number 1738633
• Beyond multi-adjoint logic programming

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3900125 (Why is no real title available?)
• scientific article; zbMATH DE number 3901996 (Why is no real title available?)
• scientific article; zbMATH DE number 4081517 (Why is no real title available?)
• scientific article; zbMATH DE number 3664336 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 41270 (Why is no real title available?)
• scientific article; zbMATH DE number 1536571 (Why is no real title available?)
• scientific article; zbMATH DE number 4119672 (Why is no real title available?)
• scientific article; zbMATH DE number 773990 (Why is no real title available?)
• Concerning the semantic consequence relation in first-order temporal logic
• Contributions to the Theory of Logic Programming
• Logic programming '85. Proceedings of the 4th conference, Tokyo, Japan, July 1--3, 1985
• MOLOG: A system that extends PROLOG with modal logic
• Multimodal logic programming using equational and order-sorted logic
• On the expressiveness of temporal logic programming
• Temporal logic programming
• The Semantics of Predicate Logic as a Programming Language
• The power of temporal proofs
• Towards a unified theory of intensional logic programming

Cited in

(2)

• A language for multi-dimensional updates
• scientific article; zbMATH DE number 1884401 (Why is no real title available?)

Describes a project that uses

Uses Software

• Lucid

This page was built for publication: Multi-dimensional logic programming: theoretical foundations

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