A First Order Temporal Logic for Behavior Representation

uncategorised
Authors

Carlos Rossi

Manuel Enciso

Ángel Mora

Published

1 January 2004

Publication details

Advances in Artificial Intelligence - {IBERAMIA} 2004, 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings , Lecture Notes in Computer Science vol. 3315, pages 408–418.

Links

DOI

 

Abstract

Citation

Please, cite this work as:

[REM04] C. Rossi, M. Enciso, and Á. Mora. “A First Order Temporal Logic for Behavior Representation”. In: Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings. Ed. by C. Lema^, C. A. R. Garc'and J. A. González. Vol. 3315. Lecture Notes in Computer Science. Springer, 2004, pp. 408-418. DOI: 10.1007/978-3-540-30498-2_41. URL: https://doi.org/10.1007/978-3-540-30498-2_41.

@InProceedings{Rossi2004a,
     author = {Carlos Rossi and Manuel Enciso and {’A}ngel Mora},
     booktitle = {Advances in Artificial Intelligence - {IBERAMIA} 2004, 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings},
     title = {A First Order Temporal Logic for Behavior Representation},
     year = {2004},
     editor = {Christian Lema^and Carlos A. Reyes Garc'and Jes{’u}s A. Gonz{’a}lez},
     pages = {408–418},
     publisher = {Springer},
     series = {Lecture Notes in Computer Science},
     volume = {3315},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/conf/iberamia/RossiEM04.bib},
     doi = {10.1007/978-3-540-30498-2_41},
     timestamp = {Fri, 23 Sep 2022 01:00:00 +0200},
     url = {https://doi.org/10.1007/978-3-540-30498-2_41},
}

Bibliometric data

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

A First Order Temporal Logic for Behavior Representation

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] J. Besson, A. Lupeikienė, and V. Medvedev. “Comparing Real and Intended System Usages: A Case for Web Portal”. In: Informatica 23.2 (Jan. 2012), p. 191–201. ISSN: 1822-8844. DOI: 10.15388/informatica.2012.356. URL: http://dx.doi.org/10.15388/informatica.2012.356.