Logical foundations for more expressive declarative temporal logic programming languages

DOI10.1145/2528931zbMath1353.68035OpenAlexW2065468698WikidataQ130854250 ScholiaQ130854250MaRDI QIDQ2946717

Jose Gaintzarain, Paqui 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

temporal logic programmingdisjunctive logic programminglinear-time temporal logicrefutation procedureinvariant-free clausal temporal resolutionoperational and logical semantics

Mathematics Subject Classification ID

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

Related Items (1)

Logic of temporal attribute implications

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