Multi-adjoint Logic Programming with Continuous Semantics

uncategorised

Authors

Jesús Medina

Peter Vojtás

Published

1 January 2001

Publication details

Logic Programming and Nonmonotonic Reasoning, 6th International Conference, {LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings , Lecture Notes in Computer Science vol. 2173, pages 351–364.

Links

Abstract

Citation

Please, cite this work as:

[MOV01] J. Medina, M. Ojeda-Aciego, and P. Vojtás. “Multi-adjoint Logic Programming with Continuous Semantics”. In: Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings. Ed. by T. Eiter, W. Faber and M. Truszczynski. Vol. 2173. Lecture Notes in Computer Science. Springer, 2001, pp. 351-364. DOI: 10.1007/3-540-45402-0_26. URL: https://doi.org/10.1007/3-540-45402-0_26.

BibTeX

@InProceedings{Medina2001d,
     author = {Jes{’u}s Medina and Manuel Ojeda-Aciego and Peter Vojt{’a}s},
     booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference, {LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
     title = {Multi-adjoint Logic Programming with Continuous Semantics},
     year = {2001},
     editor = {Thomas Eiter and Wolfgang Faber and Miroslaw Truszczynski},
     pages = {351–364},
     publisher = {Springer},
     series = {Lecture Notes in Computer Science},
     volume = {2173},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/conf/lpnmr/MedinaOV01.bib},
     doi = {10.1007/3-540-45402-0_26},
     timestamp = {Thu, 07 Jan 2021 00:00:00 +0100},
     url = {https://doi.org/10.1007/3-540-45402-0_26},
}

Bibliometric data

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

Multi-adjoint Logic Programming with Continuous Semantics

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] L. Antoni, S. Krajči, O. Krídlo, et al. “On heterogeneous formal contexts”. In: Fuzzy Sets and Systems 234 (Jan. 2014), p. 22–33. ISSN: 0165-0114. DOI: 10.1016/j.fss.2013.04.008. URL: http://dx.doi.org/10.1016/j.fss.2013.04.008.

[2] M. E. Cornejo, D. Lobo, and J. Medina. “Syntax and semantics of multi-adjoint normal logic programming”. In: Fuzzy Sets and Systems 345 (Aug. 2018), p. 41–62. ISSN: 0165-0114. DOI: 10.1016/j.fss.2017.12.009. URL: http://dx.doi.org/10.1016/j.fss.2017.12.009.

[3] M. E. Cornejo, J. Medina, and E. Ramírez-Poussa. “Algebraic structure and characterization of adjoint triples”. In: Fuzzy Sets and Systems 425 (Nov. 2021), p. 117–139. ISSN: 0165-0114. DOI: 10.1016/j.fss.2021.02.002. URL: http://dx.doi.org/10.1016/j.fss.2021.02.002.

[4] M. E. Cornejo, J. Medina, and E. Ramírez-Poussa. “Multi-adjoint algebras versus non-commutative residuated structures”. In: International Journal of Approximate Reasoning 66 (Nov. 2015), p. 119–138. ISSN: 0888-613X. DOI: 10.1016/j.ijar.2015.08.003. URL: http://dx.doi.org/10.1016/j.ijar.2015.08.003.

[5] C. V. Damásio, J. Medina, and M. Ojeda-Aciego. “Sorted Multi-adjoint Logic Programs: Termination Results and Applications”. In: Logics in Artificial Intelligence. Springer Berlin Heidelberg, 2004, p. 252–265. ISBN: 9783540302278. DOI: 10.1007/978-3-540-30227-8_23. URL: http://dx.doi.org/10.1007/978-3-540-30227-8_23.

[6] C. V. Damásio and L. M. Pereira. “Antitonic Logic Programs”. In: Logic Programming and Nonmotonic Reasoning. Springer Berlin Heidelberg, 2001, p. 379–393. ISBN: 9783540454021. DOI: 10.1007/3-540-45402-0_28. URL: http://dx.doi.org/10.1007/3-540-45402-0_28.

[7] C. V. Damásio and L. M. Pereira. “Monotonic and Residuated Logic Programs”. In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Springer Berlin Heidelberg, 2001, p. 748–759. ISBN: 9783540446521. DOI: 10.1007/3-540-44652-4_66. URL: http://dx.doi.org/10.1007/3-540-44652-4_66.

[8] J. C. Díaz and J. Medina. “Multi-adjoint relation equations: Definition, properties and solutions using concept lattices”. In: Information Sciences 253 (Dec. 2013), p. 100–109. ISSN: 0020-0255. DOI: 10.1016/j.ins.2013.07.024. URL: http://dx.doi.org/10.1016/j.ins.2013.07.024.

[9] D. Dubois, F. Esteva, L. Godo, et al. “Fuzzy-Set Based Logics — an History-Oriented Presentation of their Main Developments”. In: The Many Valued and Nonmonotonic Turn in Logic. Elsevier, 2007, p. 325–449. ISBN: 9780444516237. DOI: 10.1016/s1874-5857(07)80009-4. URL: http://dx.doi.org/10.1016/s1874-5857(07)80009-4.

[10] M. Eugenia Cornejo, J. Medina, and E. Ramírez. “A comparative study of adjoint triples”. In: Fuzzy Sets and Systems 211 (Jan. 2013), p. 1–14. ISSN: 0165-0114. DOI: 10.1016/j.fss.2012.05.004. URL: http://dx.doi.org/10.1016/j.fss.2012.05.004.

[11] G. Gerla. “Fuzzy Logic Programming and Fuzzy Control”. In: Studia Logica 79.2 (Mar. 2005), p. 231–254. ISSN: 1572-8730. DOI: 10.1007/s11225-005-2977-0. URL: http://dx.doi.org/10.1007/s11225-005-2977-0.

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

[13] P. Julián-Iranzo and C. Rubio-Manzano. “Proximity-based unification theory”. In: Fuzzy Sets and Systems 262 (Mar. 2015), p. 21–43. ISSN: 0165-0114. DOI: 10.1016/j.fss.2014.07.006. URL: http://dx.doi.org/10.1016/j.fss.2014.07.006.

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

[15] D. Lobo, V. López‐Marchante, and J. Medina. “On the impact of sup‐compositions in the resolution of multi‐adjoint relation equations”. In: Mathematical Methods in the Applied Sciences 46.14 (Jun. 2023), p. 15581–15598. ISSN: 1099-1476. DOI: 10.1002/mma.9414. URL: http://dx.doi.org/10.1002/mma.9414.

[16] N. Madrid and M. Ojeda-Aciego. “Measuring Inconsistency in Fuzzy Answer Set Semantics”. In: IEEE Transactions on Fuzzy Systems 19.4 (Aug. 2011), p. 605–622. ISSN: 1941-0034. DOI: 10.1109/tfuzz.2011.2114669. URL: http://dx.doi.org/10.1109/tfuzz.2011.2114669.

[17] J. Medina. “Multi-adjoint property-oriented and object-oriented concept lattices”. In: Information Sciences 190 (May. 2012), p. 95–106. ISSN: 0020-0255. DOI: 10.1016/j.ins.2011.11.016. URL: http://dx.doi.org/10.1016/j.ins.2011.11.016.

[18] J. Medina, M. Ojeda-Aciego, and J. Ruiz-Calviño. “Fuzzy logic programming via multilattices”. In: Fuzzy Sets and Systems 158.6 (Mar. 2007), p. 674–688. ISSN: 0165-0114. DOI: 10.1016/j.fss.2006.11.006. URL: http://dx.doi.org/10.1016/j.fss.2006.11.006.

[19] J. Medina, M. Ojeda-Aciego, A. Valverde, et al. “Towards Biresiduated Multi-adjoint Logic Programming”. In: Current Topics in Artificial Intelligence. Springer Berlin Heidelberg, 2004, p. 608–617. ISBN: 9783540259459. DOI: 10.1007/978-3-540-25945-9_60. URL: http://dx.doi.org/10.1007/978-3-540-25945-9_60.

[20] J. Medina, M. Ojeda-Aciego, and P. Vojtáš. “A Procedural Semantics for Multi-adjoint Logic Programming”. In: Progress in Artificial Intelligence. Springer Berlin Heidelberg, 2001, p. 290–297. ISBN: 9783540453291. DOI: 10.1007/3-540-45329-6_29. URL: http://dx.doi.org/10.1007/3-540-45329-6_29.

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

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

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

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

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