Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic

 

Abstract

Citation

Please, cite this work as:

[GCE99] 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, 9th Portuguese Conference on Artificial Intelligence, EPIA ’99, Évora, Portugal, September 21-24, 1999, Proceedings. Ed. by P. Barahona and J. J. Alferes. Vol. 1695. Lecture Notes in Computer Science. Springer, 1999, pp. 193-207. DOI: 10.1007/3-540-48159-1_14. URL: https://doi.org/10.1007/3-540-48159-1_14.

BibTeX

@InProceedings{Guzman1999,
     author = {Inman P. {de Guzm{’a}n} and Pablo Cordero and Manuel Enciso},
     booktitle = {Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, {EPIA} ’99, {'{E}}vora, Portugal, September 21-24, 1999, Proceedings},
     title = {Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic},
     year = {1999},
     editor = {Pedro Barahona and Jos{’e} J{’u}lio Alferes},
     pages = {193–207},
     publisher = {Springer},
     series = {Lecture Notes in Computer Science},
     volume = {1695},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/conf/epia/GuzmanCE99.bib},
     doi = {10.1007/3-540-48159-1_14},
     timestamp = {Tue, 14 May 2019 10:00:41 +0200},
     url = {https://doi.org/10.1007/3-540-48159-1_14},
}

Papers citing this work

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

[1] 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.

[2] J. Martínez, G. Gutiérrez, I. de Guzmán, et al. “Generalizations of lattices via non-deterministic operators”. In: Discrete Mathematics 295.1–3 (May. 2005), p. 107–141. ISSN: 0012-365X. DOI: 10.1016/j.disc.2004.08.043. URL: http://dx.doi.org/10.1016/j.disc.2004.08.043.