Verification of Context-Sensitive Knowledge and Action Bases

DOI10.1007/978-3-319-11558-0_36zbMath1432.68456arXiv1412.7965OpenAlexW85342207MaRDI QIDQ2938518

Diego Calvanese, İsmail İlkan Ceylan, Marco Montali, Ario Santoso

Publication date: 14 January 2015

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1412.7965

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

This page was built for publication: Verification of Context-Sensitive Knowledge and Action Bases