Quantitative logic programming revisited

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4989 LNCS, Issue , 2008, Pages 272-288

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

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

Qualification constraints; Qualification domains; Quantitative Logic Programming

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; PARAMETERIZATION; UNCERTAINTY ANALYSIS;

QUALIFICATION CONSTRAINTS; QUALIFICATION DOMAINS; QUANTITATIVE LOGIC PROGRAMMING;

LOGIC PROGRAMMING;

EID: 43149094016     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78969-7_20     Document Type: Conference Paper

References (23)

1. Apt. K.R., van Emden, M.H.: Contributions to the theory of logic programming. Journal of the Association for Computing Machinery (JACM) 29(3), 841-862 (1982)
2. Arcelli. F., Formato, F.: Likelog: a logic programming language for flexible data retrieval. In: Proceedings of the ACM Symposium on Applied computing (SAC 1999), pp. 260-267. ACM Press, New York (1999)
3. Arenas, P., Fernández, A.J., Gil, A., López-Fraguas, F.J., Rodríguez-Artalejo, M., Sáenz-Pérez, F.: TOY, a multiparadigm declarative language, version 2.3.1, R. Caballero and J. Sánchez (Eds.) (2007), http://toy.sourceforge.net
4. Clark, K.L.: Predicate logic as a computational formalism (res. report doc 79/59). Technical report, Imperial College, Dept. of Computing. London (1979)
5. Dekhtyar, A., Subrahmanian, V.S.: Hybrid probabilistic programs. Journal of Logic Programming 43(3), 187-250 (2000)
6. Dix, J., Kraus, S., Subrahmanian, V.S.: Heterogeneous temporal probabilistic agents. ACM Transactions on Computational Logic 7(1), 151-198 (2006)
7. Dix, J., Nanni, M., Subrahmanian, V.S.: Probabilistic agent programs. ACM Transactions on Computational Logic 1(2), 208-246 (2000)
8. Fitting, M.: Bilattices and the semantics of logic programming. Journal of Logic Programming 11, 91-116 (1991)
9. Jaffar, J., Michaylov, S., Stuckey, R.J., Yap, R.H.C.: The CLP(R) language and system. ACM Transactions on Programming Languages and Systems 14(3), 339-395 (1992)
10. Kifer, M., Subrahmanian, V.S.: Theory of generalized annotated logic programs and their applications. Journal of Logic Programming 12(3&4), 335-367 (1992)
11. Loia, V., Senatore, S., Sessa, M.I.: Similarity-based SLD resolution and its role for web knowledge discovery. Fuzzy Sets and Systems 144(1), 151-171 (2004)
12. Moreno, G., Pascual, V.: Programming with fuzzy logic and mathematical functions. In: Bloch, I., Petrosino, A., Tettamanzi, A.G.B. (eds.) WILF 2005. LNCS (LNAI), vol. 3849, pp. 89-98. Springer, Heidelberg (2006)
13. Ng, R.T., Subrahmanian, V.S.: Probabilistic logic programming. Information and Computation 101(2), 150-201 (1992)
14. Ng, R.T., Subrahmanian, V.S.: A semantical framework for supporting subjective and conditional probability in deductive databases. Journal of Automated Reasoning 10(2), 191-235 (1993)
15. Riezler, S.: Probabilistic Constraint Logic Programming. PhD thesis, Neuphilologische Fakultät der Universität Tübingen (1998)
16. Rodríguez-Artalejo, M., Romero-Díaz, CA.: A generic scheme for qualitative logic programming (Technical Report DSIC 1/08). Technical report, Universidad Complutense, Departamento de Sistemas Informáticos y Computación, Madrid, Spain (2008)
17. Shapiro, E.Y.: Logic programs with uncertainties: A tool for implementing rulebased systems. In: Bundy, A. (ed.) Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI 1983), pp. 529-532. Karlsruhe, Germany, (1983)
18. Stärk, R.F.: A direct proof for the completeness of SLD-resolution. In: Borger, E., Kleine Büning, H., Richter, M.M. (eds.) CSL 1989. LNCS, vol. 440, pp. 382-383. Springer, Heidelberg (1990)
19. Subrahmanian, V.S.: On the semantics of quantitative logic programs. In: Proceedings of the 4th IEEE Symposium on Logic Programming, San Francisco, pp. 173-182 (1987)
20. Subrahmanian, V.S.: Query processing in quantitative logic programming. In: "Rusty" Lusk, E., Overbeek, R. (eds.) CADE 1988. LNCS, vol. 310, pp. 81-100. Springer, Heidelberg (1988)
21. Subrahmanian, V.S.: Uncertainty in logic programming: Some recollections. Association for Logic Programming Newsletter 20(2) (2007)
22. van Emden, M.H.: Quantitative deduction and its fixpoint theory. Journal of Logic Programming 3(1), 37-53 (1986)
23. van Emden, M.H., Kowalski, R.A.: The semantics of predicate logic as a programming language. Journal of the Association for Computing Machinery (JACM) 23(4), 733-742 (1976)