scientific article; zbMATH DE number 6747918
From MaRDI portal
Publication:5282994
zbMath1366.68340MaRDI QIDQ5282994
Stavros Vassos, Yves Lespérance, Giuseppe De Giacomo, Fabio Patrizi
Publication date: 18 July 2017
Full work available at URL: http://ebooks.iospress.nl/volumearticle/36968
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)
Related Items (5)
Bounded situation calculus action theories ⋮ Progression and verification of situation calculus agents with bounded beliefs ⋮ Non-terminating processes in the situation calculus ⋮ Agent planning programs ⋮ First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus
This page was built for publication:
