HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:logics for reasoning about actions

Papers
Towards an Expressive Practical Logical Action Theory
Mikhail Soutchanski and Wael Yehia
In:Turing-100. The Alan Turing Centenary
Copyright © 2012-2023 easychair.org. All rights reserved.