Ryan F. Kelly

Publication Activity (10 Years)

Years Active: 2006-2015
Publications (10 Years): 1

Top Topics

Situation Calculus

Logical Language

Logical Theories

Modal Operators

Top Venues

Publications

Ryan F. Kelly, Adrian R. Pearce
Asynchronous knowledge with hidden actions in the situation calculus. Artif. Intell. 221 (2015)
Ryan F. Kelly, Adrian R. Pearce
Property persistence in the situation calculus. Artif. Intell. 174 (12-13) (2010)
Ryan F. Kelly, Adrian R. Pearce
Complex Epistemic Modalities in the Situation Calculus. KR (2008)
Ryan F. Kelly, Adrian R. Pearce
Property Persistence in the Situation Calculus. IJCAI (2007)
Ryan F. Kelly, Adrian R. Pearce
Knowledge and observations in the situation calculus. AAMAS (2007)
Ryan F. Kelly, Adrian R. Pearce
Towards High-Level Programming for Distributed Problem Solving. IAT (2006)