Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility
Burrieza, A., Muñoz, E., Ojeda-Aciego, M.
Published in Current Topics in Artificial Intelligence (2006)
Published in Current Topics in Artificial Intelligence (2006)
Get full text
Book Chapter
Conference Proceeding
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning
Burrieza, A., Mora, A., Ojeda-Aciego, M., Orłowska, E.
Published in International journal of computer mathematics (01.11.2009)
Published in International journal of computer mathematics (01.11.2009)
Get full text
Journal Article
A multimodal logic for closeness
Burrieza, A., Muñoz-Velasco, E., Ojeda-Aciego, M.
Published in Journal of applied non-classical logics (02.10.2017)
Published in Journal of applied non-classical logics (02.10.2017)
Get full text
Journal Article
A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques
Fortes, I., Galán, M.A., Aguilera, G., Burrieza, A., Morones, J., Sánchez, S.
Published in Fuzzy sets and systems (01.05.2013)
Published in Fuzzy sets and systems (01.05.2013)
Get full text
Journal Article
Functional systems in the context of temporal×modal logics with indexed flows
Burrieza, A., de Guzmán, I. P., Muñoz-Velasco, E.
Published in International journal of computer mathematics (01.11.2009)
Published in International journal of computer mathematics (01.11.2009)
Get full text
Journal Article
Functional systems in the context of temporal x modal logics with indexed flows
Burrieza, A, de Guzman, I P, Munoz-Velasco, E
Published in International journal of computer mathematics (01.10.2009)
Get full text
Published in International journal of computer mathematics (01.10.2009)
Journal Article
On the modal logic of order-of-magnitude qualitative reasoning: a tableau calculus
Burrieza, A., Ojeda-Aciego, M.
Published in 2005 portuguese conference on artificial intelligence (01.12.2005)
Published in 2005 portuguese conference on artificial intelligence (01.12.2005)
Get full text
Conference Proceeding
SANGUINETI, J.-J.: Lógica
A. Burrieza Muñiz
Published in Logos (Universidad Complutense de Madrid. Seminario de Metafísica) (01.01.1982)
Get full text
Published in Logos (Universidad Complutense de Madrid. Seminario de Metafísica) (01.01.1982)
Journal Article
HAMILTON, A. G.: Lógica para matemáticos
A. Burrieza Muñiz
Published in Logos (Universidad Complutense de Madrid. Seminario de Metafísica) (01.01.1981)
Get full text
Published in Logos (Universidad Complutense de Madrid. Seminario de Metafísica) (01.01.1981)
Journal Article