Design and Implementation of ${\mathcal A}_T$ : A Real-Time Action Description Language

DOI10.1007/11680093_4zbMath1156.68479OpenAlexW1556647519MaRDI QIDQ5302879

Luke Simon, Ajay Mallya, Gopal Gupta

Publication date: 15 January 2009

Published in: Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11680093_4

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

This page was built for publication: Design and Implementation of ${\mathcal A}_T$ : A Real-Time Action Description Language