-
1
-
-
84867756909
-
A New Module System for Prolog
-
CL2000, number in, Springer-Verlag, July
-
D. Cabeza and M. Hermenegildo. A New Module System for Prolog. In CL2000, number 1861 in LNAI, pages 131-148. Springer-Verlag, July 2000.
-
(2000)
LNAI
, vol.1861
, pp. 131-148
-
-
Cabeza, D.1
Hermenegildo, M.2
-
2
-
-
0000826543
-
Negation as failure
-
H. Gallaire and J. Minker, editors, New York, NY, Plenum Press
-
K. L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 293-322, New York, NY, 1978. Plenum Press.
-
(1978)
Logic and Data Bases
, pp. 293-322
-
-
Clark, K.L.1
-
4
-
-
34250757402
-
-
M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Seventh International Conference on Logic Programming, pages 579-597, Jerusalem, Israel, 1990. MIT Press. Extended abstract. (Complete version in New Generation Computing 9:365-387,1991).
-
M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Seventh International Conference on Logic Programming, pages 579-597, Jerusalem, Israel, 1990. MIT Press. Extended abstract. (Complete version in "New Generation Computing" 9:365-387,1991).
-
-
-
-
5
-
-
1842842040
-
Fuzzy Prolog: A new approach using soft constraints propagation
-
ISSN 0165-0114
-
S. Guadarrama, S. Munoz-Hernandez, and C. Vaucheret. Fuzzy Prolog: A new approach using soft constraints propagation. Fuzzy Sets and Systems, FSS, 144(1):127-150, 2004. ISSN 0165-0114.
-
(2004)
Fuzzy Sets and Systems, FSS
, vol.144
, Issue.1
, pp. 127-150
-
-
Guadarrama, S.1
Munoz-Hernandez, S.2
Vaucheret, C.3
-
6
-
-
0013233390
-
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems
-
Nova Science, Commack, NY, USA, April
-
M. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. García de la Banda, P. López-García, and G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Parallelism and Implementation of Logic and Constraint Logic Programming, pages 65-85. Nova Science, Commack, NY, USA, April 1999.
-
(1999)
Parallelism and Implementation of Logic and Constraint Logic Programming
, pp. 65-85
-
-
Hermenegildo, M.1
Bueno, F.2
Cabeza, D.3
Carro, M.4
García de la Banda, M.5
López-García, P.6
Puebla, G.7
-
8
-
-
0026884407
-
The clp(r) language and system
-
J. Jaffar, S. Michaylov, P. J. Stuckey, and R. H. C. Yap. The clp(r) language and system. ACM Transactions on Programming Languages and Systems, 14(3):339-395, 1992.
-
(1992)
ACM Transactions on Programming Languages and Systems
, vol.14
, Issue.3
, pp. 339-395
-
-
Jaffar, J.1
Michaylov, S.2
Stuckey, P.J.3
Yap, R.H.C.4
-
9
-
-
34250772155
-
-
E.P. Klement, R. Mesiar, and E. Pap. Triangular norms. Kluwer Academic Publishers
-
E.P. Klement, R. Mesiar, and E. Pap. Triangular norms. Kluwer Academic Publishers.
-
-
-
-
11
-
-
77952038598
-
Uncertainty and partial non-uniform assumptions in parametric deductive databases
-
Proc. of JELIA-02, of
-
Y. Loyer and U. Straccia. Uncertainty and partial non-uniform assumptions in parametric deductive databases. In Proc. of JELIA-02, volume 2424 of LNCS, pages 271-282, 2002.
-
(2002)
LNCS
, vol.2424
, pp. 271-282
-
-
Loyer, Y.1
Straccia, U.2
-
12
-
-
84867830547
-
Fixpoint characterizations for many-valued disjunctive logic programs with probabilistic semantics
-
T. Lukasiewicz. Fixpoint characterizations for many-valued disjunctive logic programs with probabilistic semantics. In Proc. of LPNMR-01, volume 2173, pages 336-350, 2001.
-
(2001)
Proc. of LPNMR-01
, vol.2173
, pp. 336-350
-
-
Lukasiewicz, T.1
-
13
-
-
23944442824
-
-
S. Munoz-Hernandez and J.M. Gómez Pérez. Solving collaborative fuzzy agents problems with clp(fd). In Manuel Hermenegildo and Daniel Cabeza, editors, International Symposium on Practical Aspects of Declarative Languages, PADL 2005, 3350 of LNCS, pages 187-202, Long Beach, CA (USA), 2005. Springer-Verlag.
-
S. Munoz-Hernandez and J.M. Gómez Pérez. Solving collaborative fuzzy agents problems with clp(fd). In Manuel Hermenegildo and Daniel Cabeza, editors, International Symposium on Practical Aspects of Declarative Languages, PADL 2005, volume 3350 of LNCS, pages 187-202, Long Beach, CA (USA), 2005. Springer-Verlag.
-
-
-
-
14
-
-
85016880308
-
Stable model semantics for probabilistic deductive databases
-
Proc. of ISMIS-91, number in
-
R. Ng and VS. Subrahmanian. Stable model semantics for probabilistic deductive databases. In Proc. of ISMIS-91, number 542 in LNCS, pages 163-171, 1991.
-
(1991)
LNCS
, vol.542
, pp. 163-171
-
-
Ng, R.1
Subrahmanian, V.S.2
-
16
-
-
0036567873
-
A general class of triangular norm-based aggregation operators: Quasi-linear t-s operators
-
A. Pradera, E. Trillas, and T. Calvo. A general class of triangular norm-based aggregation operators: quasi-linear t-s operators. International Journal of Approximate Reasoning, 30(1):57-72, 2002.
-
(2002)
International Journal of Approximate Reasoning
, vol.30
, Issue.1
, pp. 57-72
-
-
Pradera, A.1
Trillas, E.2
Calvo, T.3
-
17
-
-
84972541021
-
A lattice-theoretical fixpoint theorem and its applications
-
A. Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 5:285-309, 1955.
-
(1955)
Pacific Journal of Mathematics
, vol.5
, pp. 285-309
-
-
Tarski, A.1
-
18
-
-
0040991430
-
Conjunction and disjunction on ([0, 1],<=)
-
E. Trillas, S. Cubillo, and J. L. Castro. Conjunction and disjunction on ([0, 1],<=). Fuzzy Sets and Systems, 72:155-165, 1995.
-
(1995)
Fuzzy Sets and Systems
, vol.72
, pp. 155-165
-
-
Trillas, E.1
Cubillo, S.2
Castro, J.L.3
-
19
-
-
34250670897
-
A mathematical model for fuzzy connectives and its application to operators behavioural study
-
B. Bouchon-Meunier, R.R. Yager, and L.A. Zadeh, editors, Information, Uncertainty and Fusion, Kluwer Academic Publishers
-
E. Trillas, A. Pradera, and S. Cubillo. A mathematical model for fuzzy connectives and its application to operators behavioural study. In B. Bouchon-Meunier, R.R. Yager, and L.A. Zadeh, editors, Information, Uncertainty and Fusion, volume 516, pages 307-318. Kluwer Academic Publishers (Series: The Kluwer International Series in Engineering and Computer Sciences), 1999.
-
(1999)
Series: The Kluwer International Series in Engineering and Computer Sciences
, vol.516
, pp. 307-318
-
-
Trillas, E.1
Pradera, A.2
Cubillo, S.3
-
20
-
-
34250717213
-
Fuzzy prolog: A simple implementation using clp(r). In Constraints and Uncertainty, Paphos (Cyprus)
-
C. Vaucheret, S. Guadarrama, and S. Munoz-Hernandez. Fuzzy prolog: A simple implementation using clp(r). In Constraints and Uncertainty, Paphos (Cyprus), 2001. CP'2001 workshop. http://www.clip.dia.fi.upm.es/clip/ papers/fuzzy-lpar02.ps.
-
(2001)
CP'2001 workshop
-
-
Vaucheret, C.1
Guadarrama, S.2
Munoz-Hernandez, S.3
-
21
-
-
84954444463
-
Fuzzy prolog: A simple general implementation using clp(r)
-
M. Baaz and A. Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, number in, Tbilisi, Georgia, October, Springer-Verlag
-
C. Vaucheret, S. Guadarrama, and S. Munoz-Hernandez. Fuzzy prolog: A simple general implementation using clp(r). In M. Baaz and A. Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, number 2514 in LNAI, pages 450-463, Tbilisi, Georgia, October 2002. Springer-Verlag.
-
(2002)
LNAI
, vol.2514
, pp. 450-463
-
-
Vaucheret, C.1
Guadarrama, S.2
Munoz-Hernandez, S.3
-
22
-
-
34250780258
-
A logical reconstruction of fuzzy inference in databases and logic programs
-
Prague
-
G. Wagner. A logical reconstruction of fuzzy inference in databases and logic programs. In Proc. of IFSA-97, Prague, 1997.
-
(1997)
Proc. of IFSA-97
-
-
Wagner, G.1
-
23
-
-
14044270062
-
Negation in fuzzy and possibilistic logic programs
-
Research Studies Press
-
G. Wagner. Negation in fuzzy and possibilistic logic programs. In Logic programming and Soft Computing. Research Studies Press, 1998.
-
(1998)
Logic programming and Soft Computing
-
-
Wagner, G.1
-
24
-
-
49349133217
-
Fuzzy sets as a basis for a theory of possibility
-
L. Zadeh. Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems, 1(1):3-28, 1978.
-
(1978)
Fuzzy Sets and Systems
, vol.1
, Issue.1
, pp. 3-28
-
-
Zadeh, L.1
|