Alfredo Burrieza

According to our database, Alfredo Burrieza authored at least 30 papers between 1992 and 2022.

Collaborative distances:

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

2022

Smart Sensorization Using Propositional Dynamic Logic.

Salvador Merino, Alfredo Burrieza, Francisco Guzmán, Javier Martínez

Sensors, 2022

A multi-modal logic for Galois connections.

Inmaculada Perez de Guzmán, Antonio Yuste-Ginel, Alfredo Burrieza

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

Argument evaluation in multi-agent justification logics.

Alfredo Burrieza, Antonio Yuste-Ginel

Log. J. IGPL, 2021

An Awareness Epistemic Framework for Belief, Argumentation and Their Dynamics.

Alfredo Burrieza, Antonio Yuste-Ginel

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

2020

A flexible logic-based approach to closeness using order of magnitude qualitative reasoning.

Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego

Log. J. IGPL, 2020

Basic Beliefs and Argument-Based Beliefs in Awareness Epistemic Logic with Structured Arguments.

Alfredo Burrieza, Antonio Yuste-Ginel

Proceedings of the Computational Models of Argument, 2020

2017

Completeness of a functional system for surjective functions.

Alfredo Burrieza, Inmaculada Fortes, Inmaculada Perez de Guzmán

Math. Log. Q., 2017

A multimodal logic for closeness.

Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego

J. Appl. Non Class. Logics, 2017

2016

A Hybrid Approach to Closeness in the Framework of Order of Magnitude Qualitative Reasoning.

Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego

Proceedings of the Hybrid Artificial Intelligent Systems - 11th International Conference, 2016

2015

Selected Papers from the 1st Workshop "Logic, Language, and Information".

Guido Sciavicco, Alfredo Burrieza

Bull. EATCS, 2015

2014

A logic framework for reasoning with movement based on fuzzy qualitative representation.

Emilio Muñoz-Velasco, Alfredo Burrieza, Manuel Ojeda-Aciego

Fuzzy Sets Syst., 2014

2013

A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques.

Inmaculada Fortes, Maria A. Galán, Gabriel Aguilera, Alfredo Burrieza, J. Morones, Sixto Sánchez

Fuzzy Sets Syst., 2013

Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations.

Alfredo Burrieza

Proceedings of the Advances in Artificial Intelligence, 2013

2011

A PDL Approach for Qualitative Velocity.

Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2011

2010

Analyzing completeness of axiomatic functional systems for temporal × modal logics.

Alfredo Burrieza, Inmaculada Perez de Guzmán, Emilio Muñoz-Velasco

Math. Log. Q., 2010

2009

An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning.

Alfredo Burrieza, Ángel Mora, Manuel Ojeda-Aciego, Ewa Orlowska

Int. J. Comput. Math., 2009

Functional systems in the context of temporal×modal logics with indexed flows.

Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco

Int. J. Comput. Math., 2009

Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL.

Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego

Proceedings of the Current Topics in Artificial Intelligence, 2009

2008

Generalization of some properties of relations in the context of functional temporal×modal logic.

Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco

Int. J. Comput. Math., 2008

A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning.

Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego

Proceedings of the Advances in Artificial Intelligence, 2008

2007

A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance.

Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego

Proceedings of the Current Topics in Artificial Intelligence, 2007

2006

MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies.

Gabriel Aguilera, Alfredo Burrieza, Pablo Cordero, Inmaculada Perez de Guzmán, Emilio Muñoz-Velasco

Proceedings of the Advances in Artificial Intelligence, 2006

Relational Approach to Order-of-Magnitude Reasoning.

Alfredo Burrieza, Manuel Ojeda-Aciego, Ewa Orlowska

Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments II, 2006

2005

A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations.

Alfredo Burrieza, Manuel Ojeda-Aciego

Fundam. Informaticae, 2005

Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility.

Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego

Proceedings of the Current Topics in Artificial Intelligence, 2005

2003

A functional approach for temporal × modal logics.

Alfredo Burrieza, Inman P. de Guzmán

Acta Informatica, 2003

A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning.

Alfredo Burrieza, Manuel Ojeda-Aciego

Proceedings of the Current Topics in Artificial Intelligence, 2003

2002

Indexed Flows in Temporal x Modal Logic with Functional Semantics.

Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco

Proceedings of the 9th International Symposium on Temporal Representation and Reasoning, 2002

A Temporal × Modal Approach to the Definability of Properties of Functions.

Alfredo Burrieza, Inman P. de Guzmán

Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

1992

A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time.

Alfredo Burrieza, Inman P. de Guzmán

J. Appl. Non Class. Logics, 1992