An overview of temporal and modal logic programming

DOI10.1007/BFB0014004MaRDI QIDQ4518440zbMATH OpenFDO

Authors Mehmet A. Orgun, Wanli Ma

Publication date 28 November 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0014004

Mathematics Subject Classification ID

Temporal logic (03B44) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Logic programming (68N17)

Recommendations

• Temporal logic programming
• scientific article; zbMATH DE number 4119669
• scientific article; zbMATH DE number 4082943
• scientific article; zbMATH DE number 4119670
• scientific article; zbMATH DE number 4081517

Cited in

(15)

• Programming in metric temporal logic
• Multi-dimensional logic programming: theoretical foundations
• MetateM: An introduction
• Semantics of temporal constrained objects
• Abductive reasoning in neural-symbolic systems
• Multimodal logic programming
• Temporal stratification tests for linear and branching-time deductive databases
• Timed term rewrite systems
• Logical foundations for more expressive declarative temporal logic programming languages
• scientific article; zbMATH DE number 4081517 (Why is no real title available?)
• scientific article; zbMATH DE number 1927555 (Why is no real title available?)
• Temporal equilibrium logic with past operators
• Model Theoretic Syntax and Parsing
• Temporal disjunctive logic programming
• Connectionist modal logic: representing modalities in neural networks

This page was built for publication: An overview of temporal and modal logic programming

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