Enrique Sarrión-Morillo

According to our database, Enrique Sarrión-Morillo authored at least 3 papers between 2014 and 2015.

Collaborative distances:

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

2015

Forgetting complex propositions.

David Fernández-Duque, Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada

Log. J. IGPL, 2015

Public and Secret Forgetting of Propositional Formulas.

Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada

Proceedings of the Advances in Artificial Intelligence, 2015

2014

Efficient Program Transformers for Translating LCC to PDL.

Pere Pardo, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014