Logical foundations for more expressive declarative temporal logic programming languages

DOI10.1145/2528931MaRDI QIDQ2946717zbMATH OpenOpenAlexWikidataFDO

Authors Jose Gaintzarain, P. Lucio

Publication date 17 September 2015

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

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

zbMATH Keywords

disjunctive logic programminginvariant-free clausal temporal resolutionlinear-time temporal logicoperational and logical semanticsrefutation proceduretemporal logic programming

Mathematics Subject Classification ID

Temporal logic (03B44) Logic programming (68N17)

Recommendations

• On the expressiveness of temporal logic programming
• On the expressive power of temporal logic
• Towards Temporal Contextual Logic Programming
• Temporal logic programs with temporal description logic axioms
• scientific article; zbMATH DE number 1927553
• Temporal contextual logic programming
• scientific article; zbMATH DE number 947806
• Executable temporal logics
• scientific article; zbMATH DE number 1337627
• scientific article; zbMATH DE number 1536571

Cited in

(6)

• On the expressiveness of temporal logic programming
• Logic of temporal attribute implications
• Hybrid languages and temporal logic
• Foundations of linear-time logic programming
• Towards Temporal Contextual Logic Programming
• Logic Programming

This page was built for publication: Logical foundations for more expressive declarative temporal logic programming languages

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