Alfredo Burrieza
According to our database^{1}, Alfredo Burrieza
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:

at orcid.org
On csauthors.net:
Bibliography
2017
Completeness of a functional system for surjective functions.
Math. Log. Q., 2017
A multimodal logic for closeness.
Journal of Applied NonClassical Logics, 2017
2016
A Hybrid Approach to Closeness in the Framework of Order of Magnitude Qualitative Reasoning.
Proceedings of the Hybrid Artificial Intelligent Systems  11th International Conference, 2016
2015
Selected Papers from the 1st Workshop "Logic, Language, and Information".
Bulletin of the EATCS, 2015
2014
A logic framework for reasoning with movement based on fuzzy qualitative representation.
Fuzzy Sets and Systems, 2014
2013
A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques.
Fuzzy Sets and Systems, 2013
Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations.
Proceedings of the Advances in Artificial Intelligence, 2013
2011
A PDL Approach for Qualitative Velocity.
International Journal of Uncertainty, Fuzziness and KnowledgeBased Systems, 2011
2010
Analyzing completeness of axiomatic functional systems for temporal × modal logics.
Math. Log. Q., 2010
2009
An implementation of a dual tableaux system for orderofmagnitude qualitative reasoning.
Int. J. Comput. Math., 2009
Functional systems in the context of temporal×modal logics with indexed flows.
Int. J. Comput. Math., 2009
Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL.
Proceedings of the Current Topics in Artificial Intelligence, 2009
2008
Generalization of some properties of relations in the context of functional temporal×modal logic.
Int. J. Comput. Math., 2008
A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning.
Proceedings of the Advances in Artificial Intelligence, 2008
2007
A Logic for Order of Magnitude Reasoning with Negligibility, Noncloseness and Distance.
Proceedings of the Current Topics in Artificial Intelligence, 2007
2006
MAT Logic: A Temporal×Modal Logic with Nondeterministic Operators to Deal with Interactive Systems in Communication Technologies.
Proceedings of the Advances in Artificial Intelligence, 2006
Relational Approach to OrderofMagnitude Reasoning.
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.
Fundam. Inform., 2005
Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility.
Proceedings of the Current Topics in Artificial Intelligence, 2005
2003
A functional approach for temporal × modal logics.
Acta Inf., 2003
A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning.
Proceedings of the Current Topics in Artificial Intelligence, 2003
2002
Indexed Flows in Temporal x Modal Logic with Functional Semantics.
Proceedings of the 9th International Symposium on Temporal Representation and Reasoning, 2002
A Temporal × Modal Approach to the Definability of Properties of Functions.
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.
Journal of Applied NonClassical Logics, 1992