Andrés R. Saravia

According to our database, Andrés R. Saravia authored at least 5 papers between 2021 and 2025.

Collaborative distances:

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

2025

Uncertainty-based knowing how logic.

Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada

J. Log. Comput., 2025

2023

How Easy it is to Know How: An Upper Bound for the Satisfiability Problem.

Carlos Areces, Valentin Cassano, Pablo F. Castro, Raul Fervari, Andrés R. Saravia

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

A Deontic Logic of Knowingly Complying.

Carlos Areces, Valentin Cassano, Pablo F. Castro, Raul Fervari, Andrés R. Saravia

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

First Steps in Updating Knowing How.

Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada

Proceedings of the Dynamic Logic. New Trends and Applications - 4th International Workshop, 2022

2021

Uncertainty-Based Semantics for Multi-Agent Knowing How Logics.

Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada

Proceedings of the Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2021