Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alfredo Burrieza
@article{DBLP:journals/sensors/MerinoBGM22,
author = {Salvador Merino and
Alfredo Burrieza and
Francisco Guzm{\'{a}}n and
Javier Mart{\'{\i}}nez},
title = {Smart Sensorization Using Propositional Dynamic Logic},
journal = {Sensors},
volume = {22},
number = {10},
pages = {3899},
year = {2022},
url = {https://doi.org/10.3390/s22103899},
doi = {10.3390/S22103899},
timestamp = {Tue, 29 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/MerinoBGM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/GuzmanYB22,
author = {Inmaculada Perez de Guzm{\'{a}}n and
Antonio Yuste{-}Ginel and
Alfredo Burrieza},
editor = {David Fern{\'{a}}ndez{-}Duque and
Alessandra Palmigiano and
Sophie Pinchinat},
title = {A multi-modal logic for Galois connections},
booktitle = {Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25,
2022},
pages = {155--176},
publisher = {College Publications},
year = {2022},
url = {http://www.aiml.net/volumes/volume14/13-Burrieza-PerezdeGuzman-YusteGinel.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/GuzmanYB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BurriezaY21,
author = {Alfredo Burrieza and
Antonio Yuste{-}Ginel},
title = {Argument evaluation in multi-agent justification logics},
journal = {Log. J. {IGPL}},
volume = {29},
number = {4},
pages = {672--696},
year = {2021},
url = {https://doi.org/10.1093/jigpal/jzz046},
doi = {10.1093/JIGPAL/JZZ046},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/BurriezaY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2106-11495,
author = {Alfredo Burrieza and
Antonio Yuste{-}Ginel},
editor = {Joseph Y. Halpern and
Andr{\'{e}}s Perea},
title = {An Awareness Epistemic Framework for Belief, Argumentation and Their
Dynamics},
booktitle = {Proceedings Eighteenth Conference on Theoretical Aspects of Rationality
and Knowledge, {TARK} 2021, Beijing, China, June 25-27, 2021},
series = {{EPTCS}},
volume = {335},
pages = {69--83},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.335.6},
doi = {10.4204/EPTCS.335.6},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-11495.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BurriezaMO20,
author = {Alfredo Burrieza and
Emilio Mu{\~{n}}oz{-}Velasco and
Manuel Ojeda{-}Aciego},
title = {A flexible logic-based approach to closeness using order of magnitude
qualitative reasoning},
journal = {Log. J. {IGPL}},
volume = {28},
number = {1},
pages = {121--133},
year = {2020},
url = {https://doi.org/10.1093/jigpal/jzz076},
doi = {10.1093/JIGPAL/JZZ076},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BurriezaMO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/BurriezaY20,
author = {Alfredo Burrieza and
Antonio Yuste{-}Ginel},
editor = {Henry Prakken and
Stefano Bistarelli and
Francesco Santini and
Carlo Taticchi},
title = {Basic Beliefs and Argument-Based Beliefs in Awareness Epistemic Logic
with Structured Arguments},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2020, Perugia,
Italy, September 4-11, 2020},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {326},
pages = {123--134},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200498},
doi = {10.3233/FAIA200498},
timestamp = {Fri, 29 Jan 2021 21:15:47 +0100},
biburl = {https://dblp.org/rec/conf/comma/BurriezaY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/BurriezaMO17,
author = {Alfredo Burrieza and
Emilio Mu{\~{n}}oz{-}Velasco and
Manuel Ojeda{-}Aciego},
title = {A multimodal logic for closeness},
journal = {J. Appl. Non Class. Logics},
volume = {27},
number = {3-4},
pages = {225--237},
year = {2017},
url = {https://doi.org/10.1080/11663081.2018.1442137},
doi = {10.1080/11663081.2018.1442137},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/BurriezaMO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BurriezaFG17,
author = {Alfredo Burrieza and
Inmaculada Fortes and
Inmaculada Perez de Guzm{\'{a}}n},
title = {Completeness of a functional system for surjective functions},
journal = {Math. Log. Q.},
volume = {63},
number = {6},
pages = {574--597},
year = {2017},
url = {https://doi.org/10.1002/malq.201600011},
doi = {10.1002/MALQ.201600011},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BurriezaFG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hais/BurriezaMO16,
author = {Alfredo Burrieza and
Emilio Mu{\~{n}}oz{-}Velasco and
Manuel Ojeda{-}Aciego},
editor = {Francisco Mart{\'{\i}}nez{-}{\'{A}}lvarez and
Alicia Troncoso and
H{\'{e}}ctor Quinti{\'{a}}n and
Emilio Corchado},
title = {A Hybrid Approach to Closeness in the Framework of Order of Magnitude
Qualitative Reasoning},
booktitle = {Hybrid Artificial Intelligent Systems - 11th International Conference,
{HAIS} 2016, Seville, Spain, April 18-20, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9648},
pages = {721--729},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-32034-2\_60},
doi = {10.1007/978-3-319-32034-2\_60},
timestamp = {Fri, 27 Mar 2020 08:52:04 +0100},
biburl = {https://dblp.org/rec/conf/hais/BurriezaMO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Sciavicco15,
author = {Guido Sciavicco and
Alfredo Burrieza},
title = {Selected Papers from the 1st Workshop "Logic, Language, and Information"},
journal = {Bull. {EATCS}},
volume = {116},
year = {2015},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/356},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Sciavicco15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/Munoz-VelascoBO14,
author = {Emilio Mu{\~{n}}oz{-}Velasco and
Alfredo Burrieza and
Manuel Ojeda{-}Aciego},
title = {A logic framework for reasoning with movement based on fuzzy qualitative
representation},
journal = {Fuzzy Sets Syst.},
volume = {242},
pages = {114--131},
year = {2014},
url = {https://doi.org/10.1016/j.fss.2013.07.014},
doi = {10.1016/J.FSS.2013.07.014},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/Munoz-VelascoBO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/FortesGABMS13,
author = {Inmaculada Fortes and
Maria A. Gal{\'{a}}n and
Gabriel Aguilera and
Alfredo Burrieza and
J. Morones and
Sixto S{\'{a}}nchez},
title = {A logic with imprecise probabilities and an application to automated
reasoning using rewriting techniques},
journal = {Fuzzy Sets Syst.},
volume = {218},
pages = {53--72},
year = {2013},
url = {https://doi.org/10.1016/j.fss.2012.08.004},
doi = {10.1016/J.FSS.2012.08.004},
timestamp = {Fri, 26 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fss/FortesGABMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caepia/Burrieza13,
author = {Alfredo Burrieza},
editor = {Concha Bielza and
Antonio Salmer{\'{o}}n and
Amparo Alonso{-}Betanzos and
Jos{\'{e}} Ignacio Hidalgo and
Luis Mart{\'{\i}}nez{-}L{\'{o}}pez and
Alicia Troncoso Lora and
Emilio Corchado and
Juan M. Corchado},
title = {Decidability of a Logic for Order of Magnitude Qualitative Reasoning
with Comparability and Negligibility Relations},
booktitle = {Advances in Artificial Intelligence - 15th Conference of the Spanish
Association for Artificial Intelligence, {CAEPIA} 2013, Madrid, Spain,
September 17-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8109},
pages = {101--110},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40643-0\_11},
doi = {10.1007/978-3-642-40643-0\_11},
timestamp = {Fri, 16 Sep 2022 08:16:50 +0200},
biburl = {https://dblp.org/rec/conf/caepia/Burrieza13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijufks/BurriezaMO11,
author = {Alfredo Burrieza and
Emilio Mu{\~{n}}oz{-}Velasco and
Manuel Ojeda{-}Aciego},
title = {A {PDL} Approach for Qualitative Velocity},
journal = {Int. J. Uncertain. Fuzziness Knowl. Based Syst.},
volume = {19},
number = {1},
pages = {11--26},
year = {2011},
url = {https://doi.org/10.1142/S021848851100685X},
doi = {10.1142/S021848851100685X},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijufks/BurriezaMO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BurriezaGM10,
author = {Alfredo Burrieza and
Inmaculada Perez de Guzm{\'{a}}n and
Emilio Mu{\~{n}}oz{-}Velasco},
title = {Analyzing completeness of axiomatic functional systems for temporal
{\texttimes} modal logics},
journal = {Math. Log. Q.},
volume = {56},
number = {1},
pages = {89--102},
year = {2010},
url = {https://doi.org/10.1002/malq.200810038},
doi = {10.1002/MALQ.200810038},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BurriezaGM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/BurriezaGM09,
author = {Alfredo Burrieza and
Inman P. de Guzm{\'{a}}n and
Emilio Mu{\~{n}}oz{-}Velasco},
title = {Functional systems in the context of temporal{\texttimes}modal logics
with indexed flows},
journal = {Int. J. Comput. Math.},
volume = {86},
number = {10{\&}11},
pages = {1696--1706},
year = {2009},
url = {https://doi.org/10.1080/00207160902795619},
doi = {10.1080/00207160902795619},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcm/BurriezaGM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/BurriezaMOO09,
author = {Alfredo Burrieza and
{\'{A}}ngel Mora and
Manuel Ojeda{-}Aciego and
Ewa Orlowska},
title = {An implementation of a dual tableaux system for order-of-magnitude
qualitative reasoning},
journal = {Int. J. Comput. Math.},
volume = {86},
number = {10{\&}11},
pages = {1852--1866},
year = {2009},
url = {https://doi.org/10.1080/00207160902777906},
doi = {10.1080/00207160902777906},
timestamp = {Fri, 23 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcm/BurriezaMOO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caepia/BurriezaMO09,
author = {Alfredo Burrieza and
Emilio Mu{\~{n}}oz{-}Velasco and
Manuel Ojeda{-}Aciego},
editor = {Pedro Meseguer and
Lawrence Mandow and
Rafael M. Gasca},
title = {Closeness and Distance Relations in Order of Magnitude Qualitative
Reasoning via {PDL}},
booktitle = {Current Topics in Artificial Intelligence, 13th Conference of the
Spanish Association for Artificial Intelligence, {CAEPIA} 2009, Seville,
Spain, November 9-13, 2009. Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5988},
pages = {71--80},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-14264-2\_8},
doi = {10.1007/978-3-642-14264-2\_8},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/caepia/BurriezaMO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/BurriezaGM08,
author = {Alfredo Burrieza and
Inman P. de Guzm{\'{a}}n and
Emilio Mu{\~{n}}oz{-}Velasco},
title = {Generalization of some properties of relations in the context of functional
temporal{\texttimes}modal logic},
journal = {Int. J. Comput. Math.},
volume = {85},
number = {3{\&}4},
pages = {371--383},
year = {2008},
url = {https://doi.org/10.1080/00207160701210141},
doi = {10.1080/00207160701210141},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcm/BurriezaGM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iberamia/BurriezaMO08,
author = {Alfredo Burrieza and
Emilio Mu{\~{n}}oz{-}Velasco and
Manuel Ojeda{-}Aciego},
editor = {Hector Geffner and
Rui Prada and
Isabel Machado Alexandre and
Nuno David},
title = {A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning},
booktitle = {Advances in Artificial Intelligence - {IBERAMIA} 2008, 11th Ibero-American
Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5290},
pages = {11--20},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88309-8\_2},
doi = {10.1007/978-3-540-88309-8\_2},
timestamp = {Wed, 02 Aug 2023 10:13:48 +0200},
biburl = {https://dblp.org/rec/conf/iberamia/BurriezaMO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caepia/BurriezaMO07,
author = {Alfredo Burrieza and
Emilio Mu{\~{n}}oz{-}Velasco and
Manuel Ojeda{-}Aciego},
editor = {Daniel Borrajo and
Luis A. Castillo and
Juan M. Corchado},
title = {A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness
and Distance},
booktitle = {Current Topics in Artificial Intelligence, 12th Conference of the
Spanish Association for Artificial Intelligence, {CAEPIA} 2007, Salamanca,
Spain, November 12-16, 2007. Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4788},
pages = {210--219},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75271-4\_22},
doi = {10.1007/978-3-540-75271-4\_22},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/caepia/BurriezaMO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iberamia/AguileraBCGM06,
author = {Gabriel Aguilera and
Alfredo Burrieza and
Pablo Cordero and
Inmaculada Perez de Guzm{\'{a}}n and
Emilio Mu{\~{n}}oz{-}Velasco},
editor = {Jaime Sim{\~{a}}o Sichman and
Helder Coelho and
Solange Oliveira Rezende},
title = {{MAT} Logic: {A} Temporal{\texttimes}Modal Logic with Non-deterministic
Operators to Deal with Interactive Systems in Communication Technologies},
booktitle = {Advances in Artificial Intelligence - {IBERAMIA-SBIA} 2006, 2nd International
Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian
{AI} Symposium, Ribeir{\~{a}}o Preto, Brazil, October 23-27, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4140},
pages = {602--611},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11874850\_64},
doi = {10.1007/11874850\_64},
timestamp = {Fri, 26 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iberamia/AguileraBCGM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/RelMiCS/BurriezaOO06,
author = {Alfredo Burrieza and
Manuel Ojeda{-}Aciego and
Ewa Orlowska},
editor = {Harrie C. M. de Swart and
Ewa Orlowska and
Gunther Schmidt and
Marc Roubens},
title = {Relational Approach to Order-of-Magnitude Reasoning},
booktitle = {Theory and Applications of Relational Structures as Knowledge Instruments
II, International Workshops of {COST} Action 274, TARSKI, 2002-2005,
Selected Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4342},
pages = {105--124},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11964810\_6},
doi = {10.1007/11964810\_6},
timestamp = {Sun, 02 Oct 2022 15:53:27 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/BurriezaOO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BurriezaO05,
author = {Alfredo Burrieza and
Manuel Ojeda{-}Aciego},
title = {A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning
with Comparability and Negligibility Relations},
journal = {Fundam. Informaticae},
volume = {68},
number = {1-2},
pages = {21--46},
year = {2005},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi68-1-2-02},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BurriezaO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caepia/BurriezaMO05,
author = {Alfredo Burrieza and
Emilio Mu{\~{n}}oz{-}Velasco and
Manuel Ojeda{-}Aciego},
editor = {Roque Mar{\'{\i}}n and
Eva Onaindia and
Alberto Bugar{\'{\i}}n and
Jos{\'{e}} Santos Reyes},
title = {Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility},
booktitle = {Current Topics in Artificial Intelligence, 11th Conference of the
Spanish Association for Artificial Intelligence, {CAEPIA} 2005, Santiago
de Compostela, Spain, November 16-18, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4177},
pages = {370--378},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11881216\_39},
doi = {10.1007/11881216\_39},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/caepia/BurriezaMO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BurriezaG03,
author = {Alfredo Burrieza and
Inman P. de Guzm{\'{a}}n},
title = {A functional approach for temporal {\texttimes} modal logics},
journal = {Acta Informatica},
volume = {39},
number = {2},
pages = {71--96},
year = {2003},
url = {https://doi.org/10.1007/s00236-002-0098-z},
doi = {10.1007/S00236-002-0098-Z},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BurriezaG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caepia/BurriezaO03,
author = {Alfredo Burrieza and
Manuel Ojeda{-}Aciego},
editor = {Ricardo Conejo and
Maite Urretavizcaya and
Jos{\'{e}}{-}Luis P{\'{e}}rez{-}de{-}la{-}Cruz},
title = {A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning},
booktitle = {Current Topics in Artificial Intelligence, 10th Conference of the
Spanish Association for Artificial Intelligence, {CAEPIA} 2003, and
5th Conference on Technology Transfer, {TTIA} 2003, San Sebastian,
Spain, November 12-14, 2003. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3040},
pages = {66--75},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25945-9\_7},
doi = {10.1007/978-3-540-25945-9\_7},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/caepia/BurriezaO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BurriezaG02,
author = {Alfredo Burrieza and
Inman P. de Guzm{\'{a}}n},
editor = {Alessandro Armando},
title = {A Temporal {\texttimes} Modal Approach to the Definability of Properties
of Functions},
booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2309},
pages = {239--254},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45988-X\_19},
doi = {10.1007/3-540-45988-X\_19},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BurriezaG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BurriezaGM02,
author = {Alfredo Burrieza and
Inman P. de Guzm{\'{a}}n and
Emilio Mu{\~{n}}oz{-}Velasco},
title = {Indexed Flows in Temporal x Modal Logic with Functional Semantics},
booktitle = {9th International Symposium on Temporal Representation and Reasoning,
TIME-2002, Manchester, UK, July 7-9, 2002},
pages = {146--153},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/TIME.2002.1027488},
doi = {10.1109/TIME.2002.1027488},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BurriezaGM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/BurriezaG92,
author = {Alfredo Burrieza and
Inman P. de Guzm{\'{a}}n},
title = {A new algebraic semantic approach and some adequate connectives for
computation with temporal logic over discrete time},
journal = {J. Appl. Non Class. Logics},
volume = {2},
number = {2},
pages = {181--200},
year = {1992},
url = {https://doi.org/10.1080/11663081.1992.10510781},
doi = {10.1080/11663081.1992.10510781},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/BurriezaG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-01-17 20:28 CET 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:
