Temporal Reasoning over Linear Discrete Time

 

Abstract

Citation

Please, cite this work as:

[EGR96] M. Enciso, I. P. de Guzmán, and C. Rossi. “Temporal Reasoning over Linear Discrete Time”. In: Logics in Artificial Intelligence, European Workshop, JELIA ’96, Évora, Portugal, September 30 - October 3, 1996, Proceedings. Ed. by J. J. Alferes, L. Pereira and E. Orlowska. Vol. 1126. Lecture Notes in Computer Science. Springer, 1996, pp. 303-319. DOI: 10.1007/3-540-61630-6_22. URL: https://doi.org/10.1007/3-540-61630-6_22.

BibTeX

@InProceedings{Enciso1996a,
     author = {Manuel Enciso and Inman P. {de Guzm{’a}n} and Carlos Rossi},
     booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} ’96, {'{E}}vora, Portugal, September 30 - October 3, 1996, Proceedings},
     title = {Temporal Reasoning over Linear Discrete Time},
     year = {1996},
     editor = {Jos{’e} J{’u}lio Alferes and Lu'Moniz Pereira and Ewa Orlowska},
     pages = {303–319},
     publisher = {Springer},
     series = {Lecture Notes in Computer Science},
     volume = {1126},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/conf/jelia/EncisoGR96.bib},
     doi = {10.1007/3-540-61630-6_22},
     timestamp = {Sat, 19 Oct 2019 20:16:50 +0200},
     url = {https://doi.org/10.1007/3-540-61630-6_22},
}

Papers citing this work

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

[1] M. Cardenas-Viedma. “A sound and complete fuzzy temporal constraint logic”. In: IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics) 36.1 (Feb. 2006), p. 223–228. ISSN: 1083-4419. DOI: 10.1109/tsmcb.2005.856146. URL: http://dx.doi.org/10.1109/tsmcb.2005.856146.

[2] P. Cordero, M. Enciso, and I. de Guzmán. “Bases for closed sets of implicants and implicates in temporal logic”. In: Acta Informatica 38.9 (Aug. 2002), p. 599–619. ISSN: 1432-0525. DOI: 10.1007/s00236-002-0087-2. URL: http://dx.doi.org/10.1007/s00236-002-0087-2.

[3] P. Cordero, M. Enciso, and I. P. de Guzmán. “A temporal negative normal form which preserves implicants and implicates”. In: Journal of Applied Non-Classical Logics 10.3–4 (Jan. 2000), p. 243–272. ISSN: 1958-5780. DOI: 10.1080/11663081.2000.10510999. URL: http://dx.doi.org/10.1080/11663081.2000.10510999.

[4] P. Cordero, G. Gutiérrez, J. Martínez, et al. “A New Algebraic Tool for Automatic Theorem Provers”. In: Annals of Mathematics and Artificial Intelligence 42.4 (Dec. 2004), p. 369–398. ISSN: 1012-2443. DOI: 10.1023/b:amai.0000038312.77514.3c. URL: http://dx.doi.org/10.1023/b:amai.0000038312.77514.3c.

[5] I. P. de Guzmán, P. Cordero, and M. Enciso. “Structure Theorems for Closed Sets of Implicates/Implicants in Temporal Logic”. In: Progress in Artificial Intelligence. Springer Berlin Heidelberg, 1999, p. 193–207. ISBN: 9783540481591. DOI: 10.1007/3-540-48159-1_14. URL: http://dx.doi.org/10.1007/3-540-48159-1_14.

[6] J. M. Juarez, F. Guil, J. Palma, et al. “Temporal similarity by measuring possibilistic uncertainty in CBR”. In: Fuzzy Sets and Systems 160.2 (Jan. 2009), p. 214–230. ISSN: 0165-0114. DOI: 10.1016/j.fss.2008.05.017. URL: http://dx.doi.org/10.1016/j.fss.2008.05.017.

[7] C. Rossi, M. Enciso, and Á. Mora. “A First Order Temporal Logic for Behavior Representation”. In: Advances in Artificial Intelligence – IBERAMIA 2004. Springer Berlin Heidelberg, 2004, p. 408–418. ISBN: 9783540304982. DOI: 10.1007/978-3-540-30498-2_41. URL: http://dx.doi.org/10.1007/978-3-540-30498-2_41.