Login / Signup
Juan S. Navarro
Publication Activity (10 Years)
Years Active: 2016-2018
Publications (10 Years): 2
Top Topics
Modal Logic
Concurrent Actions
Logical Language
Sensing Actions
Top Venues
KR
IJCAI
</>
Publications
</>
Marcelo Arenas
,
Jorge A. Baier
,
Juan S. Navarro
,
Sebastian Sardiña
On the Progression of Situation Calculus Universal Theories with Constants.
KR
(2018)
Marcelo Arenas
,
Jorge A. Baier
,
Juan S. Navarro
,
Sebastian Sardiña
Incomplete Causal Laws in the Situation Calculus Using Free Fluents.
IJCAI
(2016)