default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlfredo Burrieza
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[j16]Salvador Merino
, Alfredo Burrieza, Francisco Guzmán, Javier Martínez:
Smart Sensorization Using Propositional Dynamic Logic. Sensors 22(10): 3899 (2022)- [c13]Inmaculada Perez de Guzmán, Antonio Yuste-Ginel, Alfredo Burrieza:
A multi-modal logic for Galois connections. AiML 2022: 155-176 - 2021
- [j15]Alfredo Burrieza, Antonio Yuste-Ginel:
Argument evaluation in multi-agent justification logics. Log. J. IGPL 29(4): 672-696 (2021) - [c12]Alfredo Burrieza, Antonio Yuste-Ginel:
An Awareness Epistemic Framework for Belief, Argumentation and Their Dynamics. TARK 2021: 69-83 - 2020
- [j14]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): 121-133 (2020) - [c11]Alfredo Burrieza, Antonio Yuste-Ginel:
Basic Beliefs and Argument-Based Beliefs in Awareness Epistemic Logic with Structured Arguments. COMMA 2020: 123-134
2010 – 2019
- 2017
- [j13]Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego:
A multimodal logic for closeness. J. Appl. Non Class. Logics 27(3-4): 225-237 (2017) - [j12]Alfredo Burrieza, Inmaculada Fortes, Inmaculada Perez de Guzmán:
Completeness of a functional system for surjective functions. Math. Log. Q. 63(6): 574-597 (2017) - 2016
- [c10]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: 721-729 - 2015
- [j11]Guido Sciavicco, Alfredo Burrieza:
Selected Papers from the 1st Workshop "Logic, Language, and Information". Bull. EATCS 116 (2015) - 2014
- [j10]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: 114-131 (2014) - 2013
- [j9]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: 53-72 (2013) - [c9]Alfredo Burrieza:
Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations. CAEPIA 2013: 101-110 - 2011
- [j8]Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego:
A PDL Approach for Qualitative Velocity. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 19(1): 11-26 (2011) - 2010
- [j7]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): 89-102 (2010)
2000 – 2009
- 2009
- [j6]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): 1696-1706 (2009) - [j5]Alfredo Burrieza, Ángel 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): 1852-1866 (2009) - [c8]Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego:
Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL. CAEPIA 2009: 71-80 - 2008
- [j4]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): 371-383 (2008) - [c7]Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego:
A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning. IBERAMIA 2008: 11-20 - 2007
- [c6]Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego:
A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. CAEPIA 2007: 210-219 - 2006
- [c5]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: 602-611 - [p1]Alfredo Burrieza, Manuel Ojeda-Aciego, Ewa Orlowska:
Relational Approach to Order-of-Magnitude Reasoning. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 105-124 - 2005
- [j3]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): 21-46 (2005) - [c4]Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego:
Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. CAEPIA 2005: 370-378 - 2003
- [j2]Alfredo Burrieza, Inman P. de Guzmán:
A functional approach for temporal × modal logics. Acta Informatica 39(2): 71-96 (2003) - [c3]Alfredo Burrieza, Manuel Ojeda-Aciego:
A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning. CAEPIA 2003: 66-75 - 2002
- [c2]Alfredo Burrieza, Inman P. de Guzmán:
A Temporal × Modal Approach to the Definability of Properties of Functions. FroCoS 2002: 239-254 - [c1]Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco:
Indexed Flows in Temporal x Modal Logic with Functional Semantics. TIME 2002: 146-153
1990 – 1999
- 1992
- [j1]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): 181-200 (1992)
Coauthor Index
aka: Inman P. de Guzmán
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
