Juan S. Navarro

According to our database, Juan S. Navarro authored at least 2 papers between 2016 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

On the Progression of Situation Calculus Universal Theories with Constants.

Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardiña

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2016

Incomplete Causal Laws in the Situation Calculus Using Free Fluents.

Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardiña

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016