A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning

 

Abstract

Citation

Please, cite this work as:

[BMO08] A. Burrieza, E. Mu~noz-Velasco, and M. Ojeda-Aciego. “A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning”. In: Advances in Artificial Intelligence - IBERAMIA 2008, 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings. Ed. by H. Geffner, R. Prada, I. M. Alexandre and N. David. Vol. 5290. Lecture Notes in Computer Science. Springer, 2008, pp. 11-20. DOI: 10.1007/978-3-540-88309-8_2. URL: https://doi.org/10.1007/978-3-540-88309-8_2.

BibTeX

@InProceedings{Burrieza2008a,
     author = {Alfredo Burrieza and Emilio Mu~noz-Velasco and Manuel Ojeda-Aciego},
     booktitle = {Advances in Artificial Intelligence - {IBERAMIA} 2008, 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings},
     title = {A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning},
     year = {2008},
     editor = {Hector Geffner and Rui Prada and Isabel Machado Alexandre and Nuno David},
     pages = {11–20},
     publisher = {Springer},
     series = {Lecture Notes in Computer Science},
     volume = {5290},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/conf/iberamia/BurriezaMO08.bib},
     doi = {10.1007/978-3-540-88309-8_2},
     timestamp = {Wed, 02 Aug 2023 10:13:48 +0200},
     url = {https://doi.org/10.1007/978-3-540-88309-8_2},
}

Bibliometric data

The following data has been extracted from resources such as OpenAlex, Dimensions, PlumX or Altmetric.

A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning

Cites

The following graph plots the number of cites received by this work from its publication, on a yearly basis.

Papers citing this work

The following is a non-exhaustive list of papers that cite this work:

[1] A. Burrieza, E. Muñoz-Velasco, and M. Ojeda-Aciego. “Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL”. In: Current Topics in Artificial Intelligence. Springer Berlin Heidelberg, 2010, p. 71–80. ISBN: 9783642142642. DOI: 10.1007/978-3-642-14264-2_8. URL: http://dx.doi.org/10.1007/978-3-642-14264-2_8.

[2] A. Burrieza, E. Muñoz-Velasco, and M. Ojeda-Aciego. “Logics for Order-of-Magnitude Qualitative Reasoning: Formalizing Negligibility”. In: Ewa Orłowska on Relational Methods in Logic and Computer Science. Springer International Publishing, 2018, p. 203–231. ISBN: 9783319978796. DOI: 10.1007/978-3-319-97879-6_8. URL: http://dx.doi.org/10.1007/978-3-319-97879-6_8.