Alfredo Burrieza

Publication Activity (10 Years)

Years Active: 1992-2022
Publications (10 Years): 10

Top Topics

Selected Papers

Propositional Dynamic Logic

Automated Reasoning

Conceptual Spaces

Top Venues

Fuzzy Sets Syst.

Publications

Inmaculada Perez de Guzmán, Antonio Yuste-Ginel, Alfredo Burrieza
A multi-modal logic for Galois connections. AiML (2022)
Salvador Merino, Alfredo Burrieza, Francisco Guzmán, Javier Martínez
Smart Sensorization Using Propositional Dynamic Logic. Sensors 22 (10) (2022)
Alfredo Burrieza, Antonio Yuste-Ginel
An Awareness Epistemic Framework for Belief, Argumentation and Their Dynamics. TARK (2021)
Alfredo Burrieza, Antonio Yuste-Ginel
Argument evaluation in multi-agent justification logics. Log. J. IGPL 29 (4) (2021)
Alfredo Burrieza, Antonio Yuste-Ginel
Basic Beliefs and Argument-Based Beliefs in Awareness Epistemic Logic with Structured Arguments. COMMA (2020)
Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
A flexible logic-based approach to closeness using order of magnitude qualitative reasoning. Log. J. IGPL 28 (1) (2020)
Alfredo Burrieza, Inmaculada Fortes, Inmaculada Perez de Guzmán
Completeness of a functional system for surjective functions. Math. Log. Q. 63 (6) (2017)
Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
A multimodal logic for closeness. J. Appl. Non Class. Logics 27 (3-4) (2017)
Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
A Hybrid Approach to Closeness in the Framework of Order of Magnitude Qualitative Reasoning. HAIS (2016)
Guido Sciavicco, Alfredo Burrieza
Selected Papers from the 1st Workshop "Logic, Language, and Information". Bull. EATCS 116 (2015)
Emilio Muñoz-Velasco, Alfredo Burrieza, Manuel Ojeda-Aciego
A logic framework for reasoning with movement based on fuzzy qualitative representation. Fuzzy Sets Syst. 242 (2014)
Inmaculada Fortes, Maria A. Galán, Gabriel Aguilera, Alfredo Burrieza, J. Morones, Sixto Sánchez
A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques. Fuzzy Sets Syst. 218 (2013)
Alfredo Burrieza
Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations. CAEPIA (2013)
Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
A PDL Approach for Qualitative Velocity. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 19 (1) (2011)
Alfredo Burrieza, Inmaculada Perez de Guzmán, Emilio Muñoz-Velasco
Analyzing completeness of axiomatic functional systems for temporal × modal logics. Math. Log. Q. 56 (1) (2010)
Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL. CAEPIA (2009)
Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco
Functional systems in the context of temporal×modal logics with indexed flows. Int. J. Comput. Math. 86 (10&11) (2009)
Alfredo Burrieza, Angel Mora, Manuel Ojeda-Aciego, Ewa Orlowska
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning. Int. J. Comput. Math. 86 (10&11) (2009)
Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco
Generalization of some properties of relations in the context of functional temporal×modal logic. Int. J. Comput. Math. 85 (3&4) (2008)
Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning. IBERAMIA (2008)
Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. CAEPIA (2007)
Gabriel Aguilera, Alfredo Burrieza, Pablo Cordero, Inmaculada Perez de Guzmán, Emilio Muñoz-Velasco
MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies. IBERAMIA-SBIA (2006)
Alfredo Burrieza, Manuel Ojeda-Aciego
A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations. Fundam. Informaticae 68 (1-2) (2005)
Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. CAEPIA (2005)
Alfredo Burrieza, Manuel Ojeda-Aciego
A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning. CAEPIA (2003)
Alfredo Burrieza, Inman P. de Guzmán
A functional approach for temporal × modal logics. Acta Informatica 39 (2) (2003)
Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco
Indexed Flows in Temporal x Modal Logic with Functional Semantics. TIME (2002)
Alfredo Burrieza, Inman P. de Guzmán
A Temporal × Modal Approach to the Definability of Properties of Functions. FroCoS (2002)
Alfredo Burrieza, Inman P. de Guzmán
A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time. J. Appl. Non Class. Logics 2 (2) (1992)