Actions with Failures in Interval Temporal Logic

DOI10.1007/978-3-540-88833-8_2zbMATH Open1175.68438OpenAlexW1569280477MaRDI QIDQ3602939

Arjen Hommersom, Peter J. F. Lucas

Publication date: 12 February 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-540-88833-8_2

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)

Related Items (1)

Title not available (Why is that?)

This page was built for publication: Actions with Failures in Interval Temporal Logic

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