Logical foundations for more expressive declarative temporal logic programming languages
From MaRDI portal
Publication:2946717
DOI10.1145/2528931zbMath1353.68035MaRDI QIDQ2946717
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
temporal logic programming; disjunctive logic programming; linear-time temporal logic; refutation procedure; invariant-free clausal temporal resolution; operational and logical semantics
Related Items