-
1
-
-
54549086290
-
Building a fuzzy logic programming tool
-
Pimentel E. (Ed), University of Zaragoza
-
Abietar J., Morcillo P., and Moreno G. Building a fuzzy logic programming tool. In: Pimentel E. (Ed). Proc. VII Jornadas sobre Programación y Lenguajes, PROLE'2007, Zaragoza, Spain, (September 12-14 2007), University of Zaragoza 215-222
-
(2007)
Proc. VII Jornadas sobre Programación y Lenguajes, PROLE'2007, Zaragoza, Spain
, pp. 215-222
-
-
Abietar, J.1
Morcillo, P.2
Moreno, G.3
-
2
-
-
84904992331
-
Improving control in functional logic program specialization
-
Levi G. (Ed), Springer, Berlin
-
Albert E., Alpuente M., Falaschi M., Julián P., and Vidal G. Improving control in functional logic program specialization. In: Levi G. (Ed). Proc. of Static Analysis Symp. SAS'98, Lecture Notes in Computer Science Vol. 1503 (1998), Springer, Berlin 262-277
-
(1998)
Proc. of Static Analysis Symp. SAS'98, Lecture Notes in Computer Science
, vol.1503
, pp. 262-277
-
-
Albert, E.1
Alpuente, M.2
Falaschi, M.3
Julián, P.4
Vidal, G.5
-
3
-
-
84886278409
-
A partial evaluation framework for curry programs
-
Springer, Berlin
-
Albert E., Alpuente M., Hanus M., and Vidal G. A partial evaluation framework for curry programs. Proc. of the 6th International Conference on Logic for Programming and Automated Reasoning, LPAR'99, Lecture Notes in Artificial Intelligence Vol. 1705 (1999), Springer, Berlin 376-395
-
(1999)
Proc. of the 6th International Conference on Logic for Programming and Automated Reasoning, LPAR'99, Lecture Notes in Artificial Intelligence
, vol.1705
, pp. 376-395
-
-
Albert, E.1
Alpuente, M.2
Hanus, M.3
Vidal, G.4
-
4
-
-
0346675716
-
-
M. Alpuente, M. Falaschi, P. Julián, G. Vidal, Specialization of lazy functional logic programs, in: Proc of the ACM SIGPLAN Conf. on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'97 Sigplan Notices, vol. 32, no. 12, ACM Press, New York, 1997, pp. 151-162.
-
M. Alpuente, M. Falaschi, P. Julián, G. Vidal, Specialization of lazy functional logic programs, in: Proc of the ACM SIGPLAN Conf. on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'97 Sigplan Notices, vol. 32, no. 12, ACM Press, New York, 1997, pp. 151-162.
-
-
-
-
6
-
-
0347600639
-
Rules + strategies for transforming lazy functional logic programs
-
(Elsevier)
-
Alpuente M., Falaschi M., Moreno G., and Vidal G. Rules + strategies for transforming lazy functional logic programs. Theoret. Comput. Sci. 311 1-3 (2004) 479-525 (Elsevier)
-
(2004)
Theoret. Comput. Sci.
, vol.311
, Issue.1-3
, pp. 479-525
-
-
Alpuente, M.1
Falaschi, M.2
Moreno, G.3
Vidal, G.4
-
8
-
-
0017419683
-
A transformation system for developing recursive programs
-
Burstall R., and Darlington J. A transformation system for developing recursive programs. J. ACM 24 1 (1977) 44-67
-
(1977)
J. ACM
, vol.24
, Issue.1
, pp. 44-67
-
-
Burstall, R.1
Darlington, J.2
-
10
-
-
84957714677
-
A uniform approach for compile-time and run-time specialisation
-
Danvy O., Glück R., and Thiemann P. (Eds), Springer, Berlin
-
Consel C., Hornof L., Noël F., Noyé J., and Volanschi E. A uniform approach for compile-time and run-time specialisation. In: Danvy O., Glück R., and Thiemann P. (Eds). Proc. of the 1996 Dagstuhl Seminar on Partial Evaluation, Lecture Notes in Computer Science Vol. 1110 (1996), Springer, Berlin 54-72
-
(1996)
Proc. of the 1996 Dagstuhl Seminar on Partial Evaluation, Lecture Notes in Computer Science
, vol.1110
, pp. 54-72
-
-
Consel, C.1
Hornof, L.2
Noël, F.3
Noyé, J.4
Volanschi, E.5
-
12
-
-
22944441639
-
Sorted multi-adjoint logic programs: termination results and applications
-
Springer, Berlin
-
Damásio C., Medina J., and Ojeda-Aciego M. Sorted multi-adjoint logic programs: termination results and applications. Proc. Logics Artificial Intelligence, JELIA'04, Lecture Notes in Artificial Intelligence vol. 3229 (2004), Springer, Berlin 260-273
-
(2004)
Proc. Logics Artificial Intelligence, JELIA'04, Lecture Notes in Artificial Intelligence
, vol.3229
, pp. 260-273
-
-
Damásio, C.1
Medina, J.2
Ojeda-Aciego, M.3
-
13
-
-
34248649050
-
Termination of logic programs with imperfect information: applications and query procedure
-
Damásio C., Medina J., and Ojeda-Aciego M. Termination of logic programs with imperfect information: applications and query procedure. J. Appl. Logic 5 (2007) 435-458
-
(2007)
J. Appl. Logic
, vol.5
, pp. 435-458
-
-
Damásio, C.1
Medina, J.2
Ojeda-Aciego, M.3
-
15
-
-
0027871466
-
Tutorial on specialisation of logic programs
-
ACM, New York
-
Gallagher J. Tutorial on specialisation of logic programs. Proc. of Partial Evaluation and Semantics-Based Program Manipulation, Copenhagen, Denmark, June 1993 (1993), ACM, New York 88-98
-
(1993)
Proc. of Partial Evaluation and Semantics-Based Program Manipulation, Copenhagen, Denmark, June 1993
, pp. 88-98
-
-
Gallagher, J.1
-
16
-
-
84990616630
-
Multi-valued logics: a uniform approach to reasoning in artificial intelligence
-
Ginsberg M.L. Multi-valued logics: a uniform approach to reasoning in artificial intelligence. Comput. Intelligence 4 (1988) 265-316
-
(1988)
Comput. Intelligence
, vol.4
, pp. 265-316
-
-
Ginsberg, M.L.1
-
17
-
-
84865189167
-
Controlling Conjunctive Partial Deduction of Definite Logic Programs
-
Springer, Berlin
-
Glück R., Jørgensen J., Martens B., and Sørensen M. Controlling Conjunctive Partial Deduction of Definite Logic Programs. Proc. Internat. Symp. Programming Languages Implementations, Logics and Programs, PLILP'96, Lecture Notes in Computer Science Vol. 1140 (1996), Springer, Berlin 152-166
-
(1996)
Proc. Internat. Symp. Programming Languages Implementations, Logics and Programs, PLILP'96, Lecture Notes in Computer Science
, vol.1140
, pp. 152-166
-
-
Glück, R.1
Jørgensen, J.2
Martens, B.3
Sørensen, M.4
-
18
-
-
84976515050
-
Partial deduction and driving are equivalent
-
Springer, Berlin
-
Glück R., and Sørensen M. Partial deduction and driving are equivalent. Proc. Int. Symp. Programming Language Implementation and Logic Programming, PLILP'94, Lecture Notes in Computer Science Vol. 844 (1994), Springer, Berlin 165-181
-
(1994)
Proc. Int. Symp. Programming Language Implementation and Logic Programming, PLILP'94, Lecture Notes in Computer Science
, vol.844
, pp. 165-181
-
-
Glück, R.1
Sørensen, M.2
-
19
-
-
1842842040
-
Fuzzy Prolog: a new approach using soft constraints propagation
-
(Elsevier)
-
Guadarrama S., Muñoz S., and Vaucheret C. Fuzzy Prolog: a new approach using soft constraints propagation. Fuzzy Sets and Systems 144 1 (2004) 127-150 (Elsevier)
-
(2004)
Fuzzy Sets and Systems
, vol.144
, Issue.1
, pp. 127-150
-
-
Guadarrama, S.1
Muñoz, S.2
Vaucheret, C.3
-
20
-
-
54549120023
-
-
J. Guerrero, G. Moreno, Optimizing fuzzy logic programs by unfolding, aggregation and folding, in: J. Visser, V. Winter (Eds.), Proc. 8th. Internat. Workshop on Rule-Based Programming, RULE-07, Paris, France, June 29, Electronic Notes in Theoretical Computer Science 2007, p. 15, to appear.
-
J. Guerrero, G. Moreno, Optimizing fuzzy logic programs by unfolding, aggregation and folding, in: J. Visser, V. Winter (Eds.), Proc. 8th. Internat. Workshop on Rule-Based Programming, RULE-07, Paris, France, June 29, Electronic Notes in Theoretical Computer Science 2007, p. 15, to appear.
-
-
-
-
21
-
-
0002445383
-
Prolog-ELF Incorporating Fuzzy Logic
-
Joshi A.K. (Ed), Morgan Kaufmann, Los Angeles, CA
-
Ishizuka M., and Kanai N. Prolog-ELF Incorporating Fuzzy Logic. In: Joshi A.K. (Ed). Proc. 9th Internat. Joint Conf. on Artificial Intelligence, (IJCAI'85) (August 1985), Morgan Kaufmann, Los Angeles, CA 701-703
-
(1985)
Proc. 9th Internat. Joint Conf. on Artificial Intelligence, (IJCAI'85)
, pp. 701-703
-
-
Ishizuka, M.1
Kanai, N.2
-
22
-
-
0003799593
-
-
Prentice-Hall, Englewood Cliffs, NJ
-
Jones N., Gomard C., and Sestoft P. Partial Evaluation and Automatic Program Generation (1993), Prentice-Hall, Englewood Cliffs, NJ
-
(1993)
Partial Evaluation and Automatic Program Generation
-
-
Jones, N.1
Gomard, C.2
Sestoft, P.3
-
23
-
-
19044371747
-
On fuzzy unfolding a multi-adjoint approach
-
(Elsevier)
-
Julián P., Moreno G., and Penabad J. On fuzzy unfolding a multi-adjoint approach. Fuzzy Sets and Systems 154 (2005) 16-33 (Elsevier)
-
(2005)
Fuzzy Sets and Systems
, vol.154
, pp. 16-33
-
-
Julián, P.1
Moreno, G.2
Penabad, J.3
-
24
-
-
33846082695
-
Operational/interpretive unfolding of multi-adjoint logic programs
-
Julián P., Moreno G., and Penabad J. Operational/interpretive unfolding of multi-adjoint logic programs. J. Universal Comput. Sci. 12 11 (2006) 1679-1699
-
(2006)
J. Universal Comput. Sci.
, vol.12
, Issue.11
, pp. 1679-1699
-
-
Julián, P.1
Moreno, G.2
Penabad, J.3
-
25
-
-
54549089599
-
-
P. Julián, G. Moreno, J. Penabad, Evaluación parcial de programas lógicos multi-adjuntos y aplicaciones, in: A. Fernández (Ed.), Proc. of Campus Multidisciplinar en Percepción e Inteligencia, CMPI-2006, Albacete, Spain, July 10-14, UCLM, 2006, pp. 712-724.
-
P. Julián, G. Moreno, J. Penabad, Evaluación parcial de programas lógicos multi-adjuntos y aplicaciones, in: A. Fernández (Ed.), Proc. of Campus Multidisciplinar en Percepción e Inteligencia, CMPI-2006, Albacete, Spain, July 10-14, UCLM, 2006, pp. 712-724.
-
-
-
-
26
-
-
34447281756
-
Efficient reductants calculi using partial evaluation techniques with thresholding
-
Lucio P. (Ed), Elsevier, Amsterdam
-
Julián P., Moreno G., and Penabad J. Efficient reductants calculi using partial evaluation techniques with thresholding. In: Lucio P. (Ed). Electronic Notes in Theoretical Computer Science vol. 188C (2007), Elsevier, Amsterdam 77-90
-
(2007)
Electronic Notes in Theoretical Computer Science
, vol.188 C
, pp. 77-90
-
-
Julián, P.1
Moreno, G.2
Penabad, J.3
-
27
-
-
44049120122
-
Theory of generalized annotated logic programming and its applications
-
Kifer M., and Subrahmanian V. Theory of generalized annotated logic programming and its applications. J. Logic Programming 12 (1992) 335-367
-
(1992)
J. Logic Programming
, vol.12
, pp. 335-367
-
-
Kifer, M.1
Subrahmanian, V.2
-
28
-
-
85032862133
-
Partial evaluation as a means for inferencing data structures in an applicative language: a theory and implementation in the case of prolog
-
Komorowski H. Partial evaluation as a means for inferencing data structures in an applicative language: a theory and implementation in the case of prolog. Proc. of 9th ACM Symp. on Principles of Programming Languages (1982) 255-267
-
(1982)
Proc. of 9th ACM Symp. on Principles of Programming Languages
, pp. 255-267
-
-
Komorowski, H.1
-
29
-
-
85014073732
-
An introduction to partial deduction
-
Pettorossi A. (Ed), Springer, Berlin
-
Komorowski J. An introduction to partial deduction. In: Pettorossi A. (Ed). Meta-programming in logic, Uppsala, Sweden, Lecture Notes in Computer Science vol. 649 (1992), Springer, Berlin 49-69
-
(1992)
Meta-programming in logic, Uppsala, Sweden, Lecture Notes in Computer Science
, vol.649
, pp. 49-69
-
-
Komorowski, J.1
-
30
-
-
0002248455
-
Unification revisited
-
Minker J. (Ed), Morgan Kaufmann, Los Altos, CA
-
Lassez J.L., Maher M.J., and Marriott K. Unification revisited. In: Minker J. (Ed). Foundations of Deductive Databases and Logic Programming (1988), Morgan Kaufmann, Los Altos, CA 587-625
-
(1988)
Foundations of Deductive Databases and Logic Programming
, pp. 587-625
-
-
Lassez, J.L.1
Maher, M.J.2
Marriott, K.3
-
31
-
-
0008888942
-
A conceptual embedding of folding into partial deduction: towards a maximal integration
-
Maher M. (Ed), The MIT Press, Cambridge, MA
-
Leuschel M., De Schreye D., and de Waal A. A conceptual embedding of folding into partial deduction: towards a maximal integration. In: Maher M. (Ed). Proc. Joint Internat. Conf. Symp. Logic Programming, JICSLP'96 (1996), The MIT Press, Cambridge, MA 319-332
-
(1996)
Proc. Joint Internat. Conf. Symp. Logic Programming, JICSLP'96
, pp. 319-332
-
-
Leuschel, M.1
De Schreye, D.2
de Waal, A.3
-
33
-
-
0001659384
-
Partial evaluation in logic programming
-
Lloyd J., and Shepherdson J. Partial evaluation in logic programming. J. Logic Programming 11 (1991) 217-242
-
(1991)
J. Logic Programming
, vol.11
, pp. 217-242
-
-
Lloyd, J.1
Shepherdson, J.2
-
34
-
-
54549104912
-
-
J. Medina, M. Ojeda-Aciego, J. Ruiz-Calviño, On the ideal semantics of multilattice-based logic programs, in: Information Processing and Management of Uncertainty, IPMU'06, 2006, pp. 463-470. URL. 〈/TR/ipmu2006-ss.pdf〉.
-
J. Medina, M. Ojeda-Aciego, J. Ruiz-Calviño, On the ideal semantics of multilattice-based logic programs, in: Information Processing and Management of Uncertainty, IPMU'06, 2006, pp. 463-470. URL. 〈/TR/ipmu2006-ss.pdf〉.
-
-
-
-
35
-
-
84867791882
-
Multi-adjoint logic programming with continuous semantics
-
Springer, Berlin
-
Medina J., Ojeda-Aciego M., and Vojtáš P. Multi-adjoint logic programming with continuous semantics. Proc. Logic Programming and Non-Monotonic Reasoning, LPNMR'01, Lecture Notes in Artificial Intelligence Vol. 2173 (2001), Springer, Berlin 351-364
-
(2001)
Proc. Logic Programming and Non-Monotonic Reasoning, LPNMR'01, Lecture Notes in Artificial Intelligence
, vol.2173
, pp. 351-364
-
-
Medina, J.1
Ojeda-Aciego, M.2
Vojtáš, P.3
-
36
-
-
52249094053
-
-
J. Medina, M. Ojeda-Aciego, P. Vojtáš, A procedural semantics for multi-adjoint logic programming, in: Progress in Artificial Intelligence, EPIA'01, Lecture Notes in Artificial Intelligence, vol. 2258, Springer, Berlin, (1), 2001, pp. 290-297.
-
J. Medina, M. Ojeda-Aciego, P. Vojtáš, A procedural semantics for multi-adjoint logic programming, in: Progress in Artificial Intelligence, EPIA'01, Lecture Notes in Artificial Intelligence, vol. 2258, Springer, Berlin, (1), 2001, pp. 290-297.
-
-
-
-
38
-
-
0028428124
-
Transformation of logic programs: foundations and techniques
-
Pettorossi A., and Proietti M. Transformation of logic programs: foundations and techniques. J. Logic Programming 19 20 (1994) 261-320
-
(1994)
J. Logic Programming
, vol.19
, Issue.20
, pp. 261-320
-
-
Pettorossi, A.1
Proietti, M.2
-
39
-
-
0037187409
-
Approximate reasoning by similarity-based SLD resolution
-
Sessa M. Approximate reasoning by similarity-based SLD resolution. Fuzzy Sets and Systems 275 (2002) 389-426
-
(2002)
Fuzzy Sets and Systems
, vol.275
, pp. 389-426
-
-
Sessa, M.1
-
40
-
-
26944442723
-
Query answering in normal logic programs under uncertainty
-
Godó L. (Ed), Springer, Berlin
-
Straccia U. Query answering in normal logic programs under uncertainty. In: Godó L. (Ed). Proc. 8th European Conf. Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU-05, Barcelona, Spain, Lecture Notes in Computer Science Vol. 3571 (2005), Springer, Berlin 687-700
-
(2005)
Proc. 8th European Conf. Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU-05, Barcelona, Spain, Lecture Notes in Computer Science
, vol.3571
, pp. 687-700
-
-
Straccia, U.1
-
41
-
-
0033259622
-
Tabling for non-monotonic programming
-
Swift T. Tabling for non-monotonic programming. Ann. Math. Artificial Intelligence 25 3-4 (1999) 201-240
-
(1999)
Ann. Math. Artificial Intelligence
, vol.25
, Issue.3-4
, pp. 201-240
-
-
Swift, T.1
-
43
-
-
84955608352
-
Soundness and completeness of non-classical extended SLD-resolution
-
Dyckhoff R., et al. (Ed), Springer, Berlin
-
Vojtáš P., and Paulík L. Soundness and completeness of non-classical extended SLD-resolution. In: Dyckhoff R., et al. (Ed). Proc. ELP'96 Leipzig, Lecture Notes in Computer Science Vol. 1050 (1996), Springer, Berlin 289-301
-
(1996)
Proc. ELP'96 Leipzig, Lecture Notes in Computer Science
, vol.1050
, pp. 289-301
-
-
Vojtáš, P.1
Paulík, L.2
|