F. Arcelli & F. Formato (1999):
Likelog: A Logic Programming Language for Flexible Data Retrieval.
In: Proc. of the 1999 ACM Symposium on Applied Computing, SAC'99, San Antonio, Texas,
pp. 260–267.
Available at http://dx.doi.org/10.1145/298151.298348.
F. Arcelli & F. Formato (2002):
A similarity-based resolution rule..
International Journal of Intelligent Systems 17(9),
pp. 853–872.
Available at http://dx.doi.org/10.1002/int.10067.
F. Arcelli, F. Formato & G. Gerla (1996):
Similitude-based unification as a foundation of fuzzy logic programming.
In: Proc. of Int. Workshop of Logic Programming and Soft Computing, Bonn.
R. Caballero, M. Rodríguez-Artalejo & C. A. Romero-Díaz (2008):
Similarity-based reasoning in qualified logic programming.
In: Proc. of the 10th Int. ACM SIGPLAN Conference on Principles and Practice of Declarative Programming,
PPDP'08.
ACM,
New York, USA,
pp. 185–194.
Available at http://dx.doi.org/10.1145/1389449.1389472.
R. Caballero, M. Rodríguez-Artalejo & C. A. Romero-Díaz (2014):
A Transformation-based implementation for CLP with qualification and proximity.
Theory and Practice of Logic Programming 14(1),
pp. 1–63.
Available at http://dx.doi.org/10.1017/S1471068412000014.
F. Formato, G. Gerla & M. I. Sessa (1999):
Extension of Logic Programming by Similarity..
In: Proc. of 1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy,
pp. 397–410.
F. Formato, Giangiacomo Gerla & Maria I. Sessa (2000):
Similarity-based Unification..
Fundamenta Informaticae 41(4),
pp. 393–414.
Available at http://dx.doi.org/10.3233/FI-2000-41402.
P. Julián, G. Moreno & J. Penabad (2009):
On the Declarative Semantics of Multi-Adjoint Logic Programs.
In: Proc. of 10th Int. Work-Conference on Artificial Neural Networks (Part I), IWANN'09.
Lectures Notes in Computer Science, 5517, Springer Verlag,
pp. 253–260.
Available at http://dx.doi.org/10.1007/978-3-642-02478-8_32.
P. Julián-Iranzo & C. Rubio-Manzano (2009):
A declarative semantics for Bousi~ Prolog.
In: Proc. of 11th Int. ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'09, Coimbra, Portugal.
ACM,
pp. 149–160.
Available at http://doi.acm.org/10.1145/1599410.1599430.
P. Julián-Iranzo & C. Rubio-Manzano (2009):
A Similarity-Based WAM for Bousi~ Prolog.
In: J. Cabestany et al.: Proc. of 10th Int. Work-Conference on Artificial Neural Networks, IWANN'09, Part I, Salamanca, Spain, 2009,
Lecture Notes in Computer Science 5517.
Springer,
pp. 245–252.
Available at http://dx.doi.org/10.1007/978-3-642-02478-8_31.
P. Julián-Iranzo & C. Rubio-Manzano (2010):
An efficient fuzzy unification method and its implementation into the Bousi~ Prolog system.
In: Proc. of the 2010 IEEE Int. Conference on Fuzzy Systems,
pp. 1–8.
Available at http://dx.doi.org/10.1109/FUZZY.2010.5584193.
P. Julián-Iranzo & C. Rubio-Manzano (2011):
A Sound Semantics for a Similarity-Based Logic Programming Language.
In: Proc. of 11th Int. Work-Conference on Artificial Neural Networks, IWANN'11, Part II, Torremolinos, Málaga, Spain, 2011,
Lecture Notes in Computer Science 6692.
Springer,
pp. 421–428.
Available at http://dx.doi.org/10.1007/978-3-642-21498-1_53.
P. Julián-Iranzo, C. Rubio-Manzano & J. Gallardo-Casero (2009):
Bousi~ Prolog: a Prolog Extension Language for Flexible Query Answering.
Electronic Notes in Theoretical Computer Science 248,
pp. 131–147.
Available at http://dx.doi.org/10.1016/j.entcs.2009.07.064.
M. Kifer & V.S. Subrahmanian (1992):
Theory of generalized annotated logic programming and its applications..
Journal of Logic Programming 12,
pp. 335–367.
Available at http://dx.doi.org/10.1016/0743-1066(92)90007-P.
V. Loia, S. Senatore & M. I. Sessa (2001):
Similarity-based SLD Resolution and Its Implementation in An Extended Prolog System.
In: Proc. of 10th IEEE Int. Conference on Fuzzy Systems, FUZZ-IEEE'01, Melbourne, Australia,
pp. 650–653.
Available at http://dx.doi.org/10.1109/FUZZ.2001.1009038.
A. Martelli & U. Montanari (1982):
An Efficient Unification Algorithm.
ACM Transactions on Programming Languages and Systems 4,
pp. 258–282.
Available at http://dx.doi.org/10.1145/357162.357169.
J. Medina, M. Ojeda-Aciego & P. Vojtáš (2004):
Similarity-based Unification: a multi-adjoint approach.
Fuzzy Sets and Systems 146,
pp. 43–62.
Available at http://dx.doi.org/10.1016/j.fss.2003.11.005.
P. J. Morcillo, G. Moreno, J. Penabad & C. Vázquez (2010):
A Practical Management of Fuzzy Truth Degrees using FLOPER.
In: Proc. of 4nd Int. Symposium on Rule Interchange and Applications, RuleML'10.
Lectures Notes in Computer Science, 6403, Springer Verlag,
pp. 20–34.
Available at http://dx.doi.org/10.1007/978-3-642-16289-3_4.
G. Moreno, J. Penabad & C. Vázquez (2013):
Relaxing the Role of Adjoint Pairs in Multi-adjoint Logic Programming.
In: I. Hamilton & J. Vigo-Aguiar: Proc. of 13th Int. Conference on Mathematical Methods in Science and Engineering, CMMSE'13 (Volume III), Cabo de Gata, Almería,
pp. 1156–1167.
Available at http://cmmse.usal.es/images/stories/congreso/volume3-cmmse-20013.pdf.
G. Moreno, J. Penabad & C. Vázquez (2014):
Fuzzy Sets for a Declarative Description of Multi-adjoint Logic Programming.
In: Proc. of the 2014 Joint Rough Set Symposium, JRS'14.
Lecture Notes in Computer Science, 8536, Springer Verlag,
pp. 71–82.
Available at http://dx.doi.org/10.1007/978-3-319-08644-6_7.
G. Moreno & C. Vázquez (2014):
Fuzzy Logic Programming in Action with FLOPER.
Journal of Software Engineering and Applications 7,
pp. 237–298.
Available at http://dx.doi.org/10.4236/jsea.2014.74028.
S. Muñoz-Hernández, V. P. Ceruelo & H. Strass (2011):
RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog.
Information Sciences 181(10),
pp. 1951–1970.
Available at http://dx.doi.org/10.1016/j.ins.2010.07.033.
M. Rodríguez-Artalejo & C. Romero-Díaz (2008):
Quantitative logic programming revisited.
In: J. Garrigue & M. Hermenegildo: Proc. of 9th Functional and Logic Programming Symposium, FLOPS'08.
Lecture Notes in Computer Science 4989, Springer,
pp. 272–288.
Available at http://dx.doi.org/10.1007/978-3-540-78969-7_20.
M. Rodríguez-Artalejo & C. A. Romero-Díaz (2008):
A declarative semantics for clp with qualification and proximity.
Theory and Practice of Logic Programing 10,
pp. 627–642.
Available at http://dx.doi.org/10.1017/S1471068410000323.
C. Rubio-Manzano & P. Julián-Iranzo (2014):
A Fuzzy linguistic prolog and its applications.
Journal of Intelligent and Fuzzy Systems 26(3),
pp. 1503–1516.
Available at http://dx.doi.org/10.3233/IFS-130834.
M. I. Sessa (2002):
Approximate reasoning by similarity-based SLD resolution..
Theoretical Computer Science 275(1-2),
pp. 389–426.
Available at http://dx.doi.org/10.1016/S0304-3975(01)00188-8.
eptcs@eptcs.org