Login / Signup
Vahid Vaezian
Publication Activity (10 Years)
Years Active: 2012-2017
Publications (10 Years): 1
Top Topics
Provably Correct
Situation Calculus
Modal Logic
Logical Language
Top Venues
Canadian Conference on AI
Log. J. IGPL
</>
Publications
</>
Vahid Vaezian
,
James P. Delgrande
On the Role of Possibility in Action Execution and Knowledge in the Situation Calculus.
Canadian Conference on AI
(2017)
Mohammad Ardeshir
,
Vahid Vaezian
A unification of the basic logics of Sambin and Visser.
Log. J. IGPL
20 (6) (2012)