Second-order propositional modal logic: Expressiveness and completeness results

Author:  

Publication:  Artificial Intelligence

CITE.CC academic search helps you expand the influence of your papers.

Tags:     AI

Abstract


Cite this article

https://doi.org/10.1016/j.artint.2018.07.004

View full text

>> Full Text:   Second-order propositional modal logic: Expressiveness and completeness results

Predicting Human Decision-Making: From Prediction to Action, Ariel Rosenfeld, Sarit Kraus, Morgan &a

Multi-robot inverse reinforcement learning under occlusion with estimation of state transitions