A Procedural Semantics for Multi-adjoint Logic Programming

 

Abstract

Citation

Please, cite this work as:

[MOV01] J. Medina, M. Ojeda-Aciego, and P. Vojtás. “A Procedural Semantics for Multi-adjoint Logic Programming”. In: Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001, Proceedings. Ed. by P. Brazdil and Al'. Vol. 2258. Lecture Notes in Computer Science. Springer, 2001, pp. 290-297. DOI: 10.1007/3-540-45329-6_29. URL: https://doi.org/10.1007/3-540-45329-6_29.

BibTeX

@InProceedings{Medina2001,
     author = {Jes{’u}s Medina and Manuel Ojeda-Aciego and Peter Vojt{’a}s},
     booktitle = {Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence, {EPIA} 2001, Porto, Portugal, December 17-20, 2001, Proceedings},
     title = {A Procedural Semantics for Multi-adjoint Logic Programming},
     year = {2001},
     editor = {Pavel Brazdil and Al'Jorge},
     pages = {290–297},
     publisher = {Springer},
     series = {Lecture Notes in Computer Science},
     volume = {2258},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/conf/epia/MedinaOV01.bib},
     doi = {10.1007/3-540-45329-6_29},
     timestamp = {Thu, 07 Jan 2021 00:00:00 +0100},
     url = {https://doi.org/10.1007/3-540-45329-6_29},
}

Bibliometric data

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

A Procedural Semantics for Multi-adjoint Logic Programming

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] R. Caballero, M. Rodríguez-Artalejo, and C. A. Romero-Díaz. “Similarity-based reasoning in qualified logic programming”. In: Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming. PPDP08. ACM, Jul. 2008, p. 185–194. DOI: 10.1145/1389449.1389472. URL: http://dx.doi.org/10.1145/1389449.1389472.

[2] I. P. Cabrera, P. Cordero, and M. Ojeda-Aciego. “Fuzzy Logic, Soft Computing, and Applications”. In: Bio-Inspired Systems: Computational and Ambient Intelligence. Springer Berlin Heidelberg, 2009, p. 236–244. ISBN: 9783642024788. DOI: 10.1007/978-3-642-02478-8_30. URL: http://dx.doi.org/10.1007/978-3-642-02478-8_30.

[3] C. Damasio, J. Medina, and M. Ojeda-Aciego. “A Tabulation Proof Procedure for First-order Residuated Logic Programs: Soundness, Completeness and Optimizations”. In: 2006 IEEE International Conference on Fuzzy Systems. IEEE, 2006, p. 2004–2011. DOI: 10.1109/fuzzy.2006.1681978. URL: http://dx.doi.org/10.1109/fuzzy.2006.1681978.

[4] S. Guadarrama, S. Muñoz, and C. Vaucheret. “Fuzzy Prolog: a new approach using soft constraints propagation”. In: Fuzzy Sets and Systems 144.1 (May. 2004), p. 127–150. ISSN: 0165-0114. DOI: 10.1016/j.fss.2003.10.017. URL: http://dx.doi.org/10.1016/j.fss.2003.10.017.

[5] J. A. Guerrero and G. Moreno. “Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding”. In: Electronic Notes in Theoretical Computer Science 219 (Nov. 2008), p. 19–34. ISSN: 1571-0661. DOI: 10.1016/j.entcs.2008.10.032. URL: http://dx.doi.org/10.1016/j.entcs.2008.10.032.

[6] P. Julián-Iranzo and C. Rubio-Manzano. “A declarative semantics for Bousi~Prolog”. In: Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming. PPDP ’09. ACM, Sep. 2009, p. 149–160. DOI: 10.1145/1599410.1599430. URL: http://dx.doi.org/10.1145/1599410.1599430.

[7] P. Julián, J. Medina, G. Moreno, et al. “Efficient Thresholded Tabulation for Fuzzy Query Answering”. In: Foundations of Reasoning under Uncertainty. Springer Berlin Heidelberg, 2010, p. 125–141. ISBN: 9783642107283. DOI: 10.1007/978-3-642-10728-3_7. URL: http://dx.doi.org/10.1007/978-3-642-10728-3_7.

[8] P. Julián, J. Medina, G. Moreno, et al. “Thresholded Tabulation in a Fuzzy Logic Setting”. In: Electronic Notes in Theoretical Computer Science 248 (Aug. 2009), p. 115–130. ISSN: 1571-0661. DOI: 10.1016/j.entcs.2009.07.063. URL: http://dx.doi.org/10.1016/j.entcs.2009.07.063.

[9] P. Julián, G. Moreno, and J. Penabad. “An improved reductant calculus using fuzzy partial evaluation techniques”. In: Fuzzy Sets and Systems 160.2 (Jan. 2009), p. 162–181. ISSN: 0165-0114. DOI: 10.1016/j.fss.2008.05.006. URL: http://dx.doi.org/10.1016/j.fss.2008.05.006.

[10] P. Julián, G. Moreno, and J. Penabad. “On fuzzy unfolding: A multi-adjoint approach”. In: Fuzzy Sets and Systems 154.1 (Aug. 2005), p. 16–33. ISSN: 0165-0114. DOI: 10.1016/j.fss.2005.03.013. URL: http://dx.doi.org/10.1016/j.fss.2005.03.013.

[11] T. Kuhr and V. Vychodil. “Fuzzy logic programming reduced to reasoning with attribute implications”. In: Fuzzy Sets and Systems 262 (Mar. 2015), p. 1–20. ISSN: 0165-0114. DOI: 10.1016/j.fss.2014.04.013. URL: http://dx.doi.org/10.1016/j.fss.2014.04.013.

[12] J. Medina, E. Mérida-Casermeiro, and M. Ojeda-Aciego. “A neural implementation of multi-adjoint logic programming”. In: Journal of Applied Logic 2.3 (Sep. 2004), p. 301–324. ISSN: 1570-8683. DOI: 10.1016/j.jal.2004.03.006. URL: http://dx.doi.org/10.1016/j.jal.2004.03.006.

[13] J. Medina, M. Ojeda-Aciego, and P. Vojtáš. “Similarity-based unification: a multi-adjoint approach”. In: Fuzzy Sets and Systems 146.1 (Aug. 2004), p. 43–62. ISSN: 0165-0114. DOI: 10.1016/j.fss.2003.11.005. URL: http://dx.doi.org/10.1016/j.fss.2003.11.005.

[14] P. J. Morcillo, G. Moreno, J. Penabad, et al. “A Practical Management of Fuzzy Truth-Degrees Using FLOPER”. In: Semantic Web Rules. Springer Berlin Heidelberg, 2010, p. 20–34. ISBN: 9783642162893. DOI: 10.1007/978-3-642-16289-3_4. URL: http://dx.doi.org/10.1007/978-3-642-16289-3_4.

[15] P. J. Morcillo, G. Moreno, J. Penabad, et al. “Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices”. In: International Journal of Computer Mathematics 89.13–14 (Sep. 2012), p. 1742–1752. ISSN: 1029-0265. DOI: 10.1080/00207160.2012.689826. URL: http://dx.doi.org/10.1080/00207160.2012.689826.

[16] P. J. Morcillo, G. Moreno, J. Penabad, et al. “Fuzzy Computed Answers Collecting Proof Information”. In: Advances in Computational Intelligence. Springer Berlin Heidelberg, 2011, p. 445–452. ISBN: 9783642214981. DOI: 10.1007/978-3-642-21498-1_56. URL: http://dx.doi.org/10.1007/978-3-642-21498-1_56.

[17] G. Moreno. “Building a Fuzzy Transformation System”. In: SOFSEM 2006: Theory and Practice of Computer Science. Springer Berlin Heidelberg, 2006, p. 409–418. ISBN: 9783540322177. DOI: 10.1007/11611257_39. URL: http://dx.doi.org/10.1007/11611257_39.

[18] G. Moreno, J. Penabad, and C. Vázquez. “Beyond multi-adjoint logic programming”. In: International Journal of Computer Mathematics 92.9 (Nov. 2014), p. 1956–1975. ISSN: 1029-0265. DOI: 10.1080/00207160.2014.975218. URL: http://dx.doi.org/10.1080/00207160.2014.975218.

[19] G. Moreno and C. Vázquez. “Fuzzy Logic Programming in Action with <i>FLOPER</i>”. In: Journal of Software Engineering and Applications 07.04 (2014), p. 273–298. ISSN: 1945-3124. DOI: 10.4236/jsea.2014.74028. URL: http://dx.doi.org/10.4236/jsea.2014.74028.

[20] S. Munoz-Hernandez, V. Pablos-Ceruelo, and H. Strass. “RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog”. In: Information Sciences 181.10 (May. 2011), p. 1951–1970. ISSN: 0020-0255. DOI: 10.1016/j.ins.2010.07.033. URL: http://dx.doi.org/10.1016/j.ins.2010.07.033.

[21] U. Straccia. “Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs”. In: Reasoning Web. Springer Berlin Heidelberg, 2008, p. 54–103. ISBN: 9783540856580. DOI: 10.1007/978-3-540-85658-0_2. URL: http://dx.doi.org/10.1007/978-3-540-85658-0_2.