Termination of logic programs with imperfect information: applications and query procedure

uncategorised

Authors

Carlos Viegas Damásio

Jesús Medina

Manuel Ojeda-Aciego

Published

1 January 2007

Publication details

J. Appl. Log. vol. 5 (3), pages 435–458.

Links

Abstract

Citation

Please, cite this work as:

[DMO07] C. V. Damásio, J. Medina, and M. Ojeda-Aciego. “Termination of logic programs with imperfect information: applications and query procedure”. In: J. Appl. Log. 5.3 (2007), pp. 435-458. DOI: 10.1016/J.JAL.2006.03.004. URL: https://doi.org/10.1016/j.jal.2006.03.004.

BibTeX

@Article{Damasio2007,
     author = {Carlos Viegas Dam{’a}sio and Jes{’u}s Medina and Manuel Ojeda-Aciego},
     journal = {J. Appl. Log.},
     title = {Termination of logic programs with imperfect information: applications and query procedure},
     year = {2007},
     number = {3},
     pages = {435–458},
     volume = {5},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/journals/japll/DamasioMO07.bib},
     doi = {10.1016/J.JAL.2006.03.004},
     timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
     url = {https://doi.org/10.1016/j.jal.2006.03.004},
}

Bibliometric data

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

Termination of logic programs with imperfect information: applications and query procedure

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] I. Cabrera, P. Cordero, G. Gutiérrez, et al. “A coalgebraic approach to non-determinism: Applications to multilattices”. In: Information Sciences 180.22 (Nov. 2010), p. 4323–4335. ISSN: 0020-0255. DOI: 10.1016/j.ins.2010.07.002. URL: http://dx.doi.org/10.1016/j.ins.2010.07.002.

[2] A. CHORTARAS, G. STAMOU, and A. STAFYLOPATIS. “DEFINITION AND ADAPTATION OF WEIGHTED FUZZY LOGIC PROGRAMS”. In: International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 17.01 (Feb. 2009), p. 85–135. ISSN: 1793-6411. DOI: 10.1142/s0218488509005759. URL: http://dx.doi.org/10.1142/s0218488509005759.

[3] M. E. Cornejo, D. Lobo, and J. Medina. “Relating Multi-Adjoint Normal Logic Programs to Core Fuzzy Answer Set Programs from a Semantical Approach”. In: Mathematics 8.6 (Jun. 2020), p. 881. ISSN: 2227-7390. DOI: 10.3390/math8060881. URL: http://dx.doi.org/10.3390/math8060881.

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

[5] M. E. Cornejo, J. Medina Moreno, and C. Rubio-Manzano. “Towards a Full Fuzzy Unification in the Bousi Prolog system”. In: 2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). IEEE, Jul. 2018, p. 1–7. DOI: 10.1109/fuzz-ieee.2018.8491514. URL: http://dx.doi.org/10.1109/fuzz-ieee.2018.8491514.

[6] M. E. Cornejo, J. Medina, and E. Ramírez. “Implication Triples versus Adjoint Triples”. In: Advances in Computational Intelligence. Springer Berlin Heidelberg, 2011, p. 453–460. ISBN: 9783642214981. DOI: 10.1007/978-3-642-21498-1_57. URL: http://dx.doi.org/10.1007/978-3-642-21498-1_57.

[7] J. C. Díaz-Moreno, J. Medina, and J. R. Portillo. “Fuzzy logic programs as hypergraphs. Termination results”. In: Fuzzy Sets and Systems 445 (Sep. 2022), p. 22–42. ISSN: 0165-0114. DOI: 10.1016/j.fss.2022.02.001. URL: http://dx.doi.org/10.1016/j.fss.2022.02.001.

[8] J. C. Díaz-Moreno, J. Medina, and J. R. Portillo. “Towards the Use of Hypergraphs in Multi-adjoint Logic Programming”. In: Trends in Mathematics and Computational Intelligence. Springer International Publishing, Oct. 2018, p. 53–59. ISBN: 9783030004859. DOI: 10.1007/978-3-030-00485-9_6. URL: http://dx.doi.org/10.1007/978-3-030-00485-9_6.

[9] J. Janssen, S. Schockaert, D. Vermeir, et al. “A core language for fuzzy answer set programming”. In: International Journal of Approximate Reasoning 53.4 (Jun. 2012), p. 660–692. ISSN: 0888-613X. DOI: 10.1016/j.ijar.2012.01.005. URL: http://dx.doi.org/10.1016/j.ijar.2012.01.005.

[10] J. Janssen, S. Schockaert, D. Vermeir, et al. “Aggregated Fuzzy Answer Set Programming”. In: Annals of Mathematics and Artificial Intelligence 63.2 (Aug. 2011), p. 103–147. ISSN: 1573-7470. DOI: 10.1007/s10472-011-9256-8. URL: http://dx.doi.org/10.1007/s10472-011-9256-8.

[11] J. JANSSEN, D. VERMEIR, S. SCHOCKAERT, et al. “Reducing fuzzy answer set programming to model finding in fuzzy logics”. In: Theory and Practice of Logic Programming 12.6 (Jun. 2011), p. 811–842. ISSN: 1475-3081. DOI: 10.1017/s1471068411000093. URL: http://dx.doi.org/10.1017/s1471068411000093.

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

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

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

[15] V. H. Le and F. Liu. “Tabulation proof procedures for fuzzy linguistic logic programming”. In: International Journal of Approximate Reasoning 63 (Aug. 2015), p. 62–88. ISSN: 0888-613X. DOI: 10.1016/j.ijar.2015.06.001. URL: http://dx.doi.org/10.1016/j.ijar.2015.06.001.

[16] Y. Loyer and U. Straccia. “Approximate well-founded semantics, query answering and generalized normal logic programs over lattices”. In: Annals of Mathematics and Artificial Intelligence 55.3–4 (Oct. 2008), p. 389–417. ISSN: 1573-7470. DOI: 10.1007/s10472-008-9099-0. URL: http://dx.doi.org/10.1007/s10472-008-9099-0.

[17] N. Madrid and M. Ojeda-Aciego. “On the existence and unicity of stable models in normal residuated logic programs”. In: International Journal of Computer Mathematics 89.3 (Feb. 2012), p. 310–324. ISSN: 1029-0265. DOI: 10.1080/00207160.2011.580842. URL: http://dx.doi.org/10.1080/00207160.2011.580842.

[18] N. Madrid and M. Ojeda-Aciego. “On the use of fuzzy stable models for inconsistent classical logic programs”. In: 2011 IEEE Symposium on Foundations of Computational Intelligence (FOCI). IEEE, Apr. 2011, p. 115–121. DOI: 10.1109/foci.2011.5949476. URL: http://dx.doi.org/10.1109/foci.2011.5949476.

[19] J. Medina-Moreno, M. Ojeda-Aciego, and J. Ruiz-Calviño. “Concept-Forming Operators on Multilattices”. In: Formal Concept Analysis. Springer Berlin Heidelberg, 2013, p. 203–215. ISBN: 9783642383175. DOI: 10.1007/978-3-642-38317-5_13. URL: http://dx.doi.org/10.1007/978-3-642-38317-5_13.

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

[21] U. Straccia and F. Bobillo. “From Fuzzy to Annotated Semantic Web Languages”. In: Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering. Springer International Publishing, 2017, p. 203–240. ISBN: 9783319494937. DOI: 10.1007/978-3-319-49493-7_6. URL: http://dx.doi.org/10.1007/978-3-319-49493-7_6.

[22] U. Straccia and N. Madrid. “A top-k query answering procedure for fuzzy logic programming”. In: Fuzzy Sets and Systems 205 (Oct. 2012), p. 1–29. ISSN: 0165-0114. DOI: 10.1016/j.fss.2012.01.016. URL: http://dx.doi.org/10.1016/j.fss.2012.01.016.

[23] C. Viegas Damásio and F. Ferreira. “Practical RDF Schema Reasoning with Annotated Semantic Web Data”. In: The Semantic Web – ISWC 2011. Springer Berlin Heidelberg, 2011, p. 746–761. ISBN: 9783642250736. DOI: 10.1007/978-3-642-25073-6_47. URL: http://dx.doi.org/10.1007/978-3-642-25073-6_47.