Similarity-based reasoning in qualified logic programming

PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

Volumn , Issue , 2008, Pages 185-194

  Caballero, Rafael ^a   Rodríguez Artalejo, Mario ^a   Romero Díaz, Carlos A ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

Qualification domains; Similarity relations

Indexed keywords

INFORMATION SERVICES; LOGIC PROGRAMMING; PROGRAMMING THEORY;

ANNOTATED PROGRAMS; APPROXIMATE REASONINGS; FUZZY SIMILARITY RELATIONS; QUALIFICATION DOMAINS; RETRIEVAL APPLICATIONS; SIMILARITY RELATIONS; SIMILARITY-BASED REASONINGS;

COMPUTER PROGRAMMING;

EID: 57549095997     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1389449.1389472     Document Type: Conference Paper

References (22)

1. K.R. Apt. Logic programming. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, pages 493-574. Elsevier and The MIT Press, 1990.
2. K.R. Apt and M.H. van Emden. Contributions to the theory of logic programming. Journal of the Association for Computing Machinery (JACM), 29(3):841-862, 1982.
3. F. Arcelli and F. Formato. Likelog: A logic programming language for flexible data retrieval. In Proceedings of the 1999 ACM Symposium on Applied Computing (SAC'99), pages 260-267, New York, NY, USA, 1999. ACM Press.
4. P. Arenas, A.J. Fernández, A. Gil, F.J. López-Fraguas, M. Rodriǵuez-Artalejo and F. Sáenz-Pérez. TOY, a multiparadigm declarative language. Version 2.3.1, 2007. R. Caballero and J. Sanchez (Eds.), available at http://toy.sourceforge.net.
5. F. Formato, G. Gerla and M.I. Sessa. Similarity-based unification. Fundamenta Informaticae, 41(4):393-414, 2000.
6. G. Gerla and M.I. Sessa. Similarity in logic programming. In G. Chen, M. Ying and K. Cai, editors, Fuzzy Logic and Soft Computing, pages 19-31. Kluwer Academic Publishers, 1999.
7. M. Kifer and VS. Subrahmanian. Theory of generalized annotated logic programs and their applications. Journal of Logic Programming, 12(3&4):335-367, 1992.
8. V. Loia, S. Senatore and M.I. Sessa. Similarity-based SLD resolution and its role for web knowledge discovery. Fuzzy Sets and Systems, I44(1):151-171, 2004.
9. J. Medina, M. Ojeda-Aciego and P. Vojtáš. Multi-adjoint logic programming with continuous semantics. In T. Eiter, W. Faber and M. Truszczyinski, editors, Logic Programming and Non-Monotonic Reasoning (LPNMR'08], volume 2173 of LNAI, pages 351-364. Springer-Verlag, 2001.
10. J. Medina, M. Ojeda-Aciego and P. Vojtáš. A procedural semantics for multi-adjoint logic programming. In P. Brazdil and A. Jorge, editors, Progress in Artificial Intelligence (EPIA'01), volume 2258 of LNA1, pages 290-297. Springer-Verlag, 2001.
11. J. Medina, M. Ojeda-Aciego and P. Vojtáš. Similarity-based unification: A multi-adjoint approach. Fuzzy Sets and Systems, 146:43-62, 2004.
12. G. Moreno and V. Pascual. Programming with fuzzy logic and mathematical functions. In A.P.I. Bloch and A. Tettamanzi, editors, Proceedings of the 6th International Workshop on Fuzzy Logic and Applications (WILF'05), volume 3849 of LNAI, pages 89-98. Springer-Verlag, 2006.
13. M. Rodríguez-Artalejo and C.A. Romero-Díaz. A generic scheme for qualified logic programming (Technical Report SIC-1-08). Technical Report, Universidad Complutense, Departamento de Sistemas Informáticos y Computatión, Madrid, Spain, 2008.
14. M. Rodŕiguez-Artalejo and C.A. Romero-Díaz. Quantitative logic programming revisited. In J. Garrigue and M. Hermenegildo, editors, Functional and Logic Programming (FLOPS'08), volume 4989 of LNCS, pages 272-288. Springer-Verlag, 2008.
15. M.I. Sessa. Translations and similarity-based logic programming. Soft Computing, 5(2), 2001.
16. M.I. Sessa. Approximate reasoning by similarity-based SLD resolution. Theoretical Computer Science, 275(1&2):389-426, 2002.
17. VS. Subrahmanian. On the semantics of quantitative logic programs. In Proceedings of the 4th IEEE Symposium on Logic Programming, pages 173-182, San Francisco, 1987.
18. VS. Subrahmanian. Query processing in quantitative logic programming. In Proceedings of the 9th International Conference on Automated Deduction, volume 310 of LNCS, pages 81-100, London, UK, 1988. Springer-Verlag.
19. VS. Subrahmanian. Uncertainty in logic programming: Some recollections. Association for Logic Programming Newsletter, 20(2), 2007.
20. M.H. van Emden. Quantitative deduction and its fixpoint theory. Journal of Logic Programming, 3(1):37-53, 1986.
21. M.H. van Emden and R.A. Kowalski. The semantics of predicate logic as a programming language. Journal of the Association for Computing Machinery (JACM), 23(4):733-742, 1976.
22. P. Vojtáš. Fuzzy logic programming. Fuzzy Sets and Systems, 124:361:370, 2001.0