# Alfredo Burrieza

According to our database

^{1}, Alfredo Burrieza## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

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 Knowledge-Based 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 order-of-magnitude 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, Non-closeness and Distance.

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.

Proceedings of the Advances in Artificial Intelligence, 2006

Relational Approach to Order-of-Magnitude 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 Non-Classical Logics, 1992