On the expressiveness of temporal logic programming

DOI10.1006/inco.1995.1036zbMath0826.68031OpenAlexW2118391576MaRDI QIDQ1892870

Marianne Baudinet

Publication date: 6 July 1995

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1995.1036

zbMATH Keywords

temporal logic programmingTEMPLOGPTEMPLOG

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (4)

The delay and window size problems in rule-based stream reasoning ⋮ Programming in metric temporal logic ⋮ Multi-dimensional logic programming: theoretical foundations ⋮ Constraint-generating dependencies

This page was built for publication: On the expressiveness of temporal logic programming