@INPROCEEDINGS{estylf04-dmo,
AUTHOR = {Dam\'asio, C.V. and Medina , J. and Ojeda-Aciego, M.},
TITLE = {A termination theorem for sorted multi-adjoint logic programming},
BOOKTITLE = {12th Spanish Congress on Fuzzy Logic and Technology},
YEAR = 2004,
NOTE = {To appear}
}
@INPROCEEDINGS{estylf04-mo,
AUTHOR = {Medina , J. and Ojeda-Aciego, M.},
TITLE = {Extended homogenization for multi-adjoint logic programs},
BOOKTITLE = {12th Spanish Congress on Fuzzy Logic and Technology},
YEAR = 2004,
NOTE = {To appear}
}
@INPROCEEDINGS{ipmu04-ss,
AUTHOR = {Medina , J. and Ojeda-Aciego, M.},
TITLE = {Multi-adjoint logic programming},
BOOKTITLE = {Information Processing and Management of Uncertainty, IPMU'04},
PAGES = {823-828},
YEAR = 2004,
NOTE = {Invited talk of special session on Logic Programming
with Imperfect Information}
}
@INPROCEEDINGS{ipmu04-dmo,
AUTHOR = {Dam\'asio, C.V. and Medina , J. and Ojeda-Aciego, M.},
TITLE = {Termination Results for Sorted Multi-Adjoint Logic Programs},
BOOKTITLE = {Information Processing and Management of Uncertainty, IPMU'04},
PAGES = {1879-1886},
YEAR = 2004
}
@INPROCEEDINGS{CEdGM02-iceis,
AUTHOR = {P. Cordero and M. Enciso and A. Mora and I. P. de Guzm\'an},
TITLE = {{A/D CASE}: a new heart for {FD3}},
BOOKTITLE = {Proceedings of the 6th International Conference on Enterprise Information Systems},
ORGANIZATION = {ICEIS 2004},
PAGES = {807--811},
YEAR = 2004
}
@INPROCEEDINGS{caepia-bires,
AUTHOR = {Medina, J. and Ojeda-Aciego, M. and Vojt\'a{\v s}, P.},
TITLE = {Towards biresiduated multi-adjoint logic programming},
BOOKTITLE = {Spanish Conference on Artificial Intelligence},
YEAR = 2003,
PAGES = {245--254},
NOTE = {Selected to appear in LNAI issue}
}
@INPROCEEDINGS{caepia-lmq,
AUTHOR = {Burrieza, A. and Ojeda-Aciego, M.},
TITLE = {A multimodal logic approach to order of magnitude qualitative reasoning},
BOOKTITLE = {Spanish Conference on Artificial Intelligence},
YEAR = 2003,
PAGES = {431--440},
NOTE = {Selected to appear in LNAI issue}
}
@INPROCEEDINGS{FDinCAEPIA,
AUTHOR = {Mora, A. and Enciso, M. and Cordero, P. and P.de Guzm\'an,
I.},
TITLE = {The functional dependence implication problem: optimality and
minimality. An efficient preprocessing transformation based
on the substitution paradigm},
BOOKTITLE = {Spanish Conference on Artificial Intelligence},
VOLUME = {I},
PAGES = {255--264},
YEAR = 2003,
NOTE = {Selected to appear in LNAI issue}
}
@INPROCEEDINGS{PeaVal04,
AUTHOR = {D. Pearce and A. Valverde},
TITLE = {Uniform Equivalence for Equilibrium Logic and Logic Programs},
BOOKTITLE = {Proc. 7th Int. Conf. on Logic Programming and Nonmonotonic Reasoning},
PUBLISHER = {Springer},
PAGES = {194--206},
YEAR = 2004
}
@INPROCEEDINGS{PeaVal03,
AUTHOR = {D. Pearce and A. Valverde},
TITLE = {Some Types of Equivalence for Logic Programs and Equilibrium Logic},
BOOKTITLE = {Proc. of International Joint Conference on Declarative Programming, APPIA-GULP-PRODE 2003},
PUBLISHER = {Universit\'a degli Studi di Reggio Calabria},
PAGES = {350--361},
YEAR = 2003
}
@INPROCEEDINGS{iwann03,
AUTHOR = {J. Medina and E. M\'erida-Casermeiro and M. Ojeda-Aciego},
TITLE = {A neural approach to extended logic programs},
BOOKTITLE = {7th Intl Work Conference on Artificial and Natural Neural Networks, IWANN'03},
PUBLISHER = {Springer},
PAGES = {654--661},
YEAR = 2003
}
@INPROCEEDINGS{log-prob-caepia,
AUTHOR = {G. Aguilera and I.P. de Guzm{\'a}n and I. Fortes and D. Macannuco and J. F.
Morones and S. S{\'a}nchez},
TITLE = {Reescritura en una l\'ogica proposicional probabil{\'\i}stica signada. {U}na
aplicaci\'on a modo de ejemplo},
BOOKTITLE = {Proc. of Spanish Congress on Artificial Intelligence, CAEPIA'03},
PAGES = {275--278},
YEAR = 2003
}
@INPROCEEDINGS{wst03,
AUTHOR = {C.V. Dam\'asio and M. Ojeda-Aciego},
TITLE = {On termination of a tabulation procedure for residuated logic programming},
BOOKTITLE = {6th Intl Workshop on Termination, WST'03},
PAGES = {40--43},
YEAR = 2003
}
@INPROCEEDINGS{eann03,
AUTHOR = {J. Medina and E. M\'erida-Casermeiro and M. Ojeda-Aciego},
TITLE = {A Neural Approach to Diagnosis based on Extended Logic Programming},
BOOKTITLE = {8th Conf. Engineering Applications of Neural Networks, EANN'03},
PAGES = {},
YEAR = 2003
}
@INPROCEEDINGS{eusflat03,
AUTHOR = {Medina, J. and Ojeda-Aciego, M.},
TITLE = {Homogenizing multi-adjoint logic programs},
BOOKTITLE = {Intl Conference on Fuzzy Logic and Technology},
YEAR = 2003,
PAGES = {640--644}
}
@INPROCEEDINGS{nijar,
AUTHOR = {G. Aguilera and I.P. de Guzm{\'a}n and F. Rodr{\'\i}guez},
TITLE = {L{\'o}gica de Reescritura para la b{\'u}squeda de un camino de peso m{\'\i}nimo
en un grafo. {U}na implementaci{\'o}n en Maude},
BOOKTITLE = {III Encuentro Andaluz de Matem\'atica Discreta},
YEAR = 2003
}
@INPROCEEDINGS{OpCierre,
AUTHOR = {Rodr{\'{\i}}guez, F. and Cordero, P. and P.de Guzm\'an, I.},
TITLE = {Operadores de cierre y razonamiento autom\'atico},
BOOKTITLE = {Actas del III Encuentro Andaluz de Matem\'atica
Discreta},
PAGES = {83--86},
YEAR = 2003
}
@INPROCEEDINGS{jelia02,
AUTHOR = {S. Kraj{\v ci} and R. Lencses and J. Medina
and M. Ojeda-Aciego and A. Valverde and P. Vojt\'a{\v s}},
TITLE = {Non-commutativity and expressive deductive
logic databases},
BOOKTITLE = {Logics in Artificial Intelligence, JELIA'02},
ORGANIZATION = {Lect. Notes in Artificial Intelligence 2424},
PAGES = {149--160},
YEAR = 2002
}
@INPROCEEDINGS{fqas,
AUTHOR = {S. Kraj{\v ci} and R. Lencses and J. Medina
and M. Ojeda-Aciego and P. Vojt\'a{\v s}},
TITLE = {A similarity-based unification model for
flexible querying},
BOOKTITLE = {Flexible querying and answering systems, FQAS'02},
PUBLISHER = {Springer},
PAGES = {263--273},
YEAR = 2002
}
@INPROCEEDINGS{CEdGM02,
AUTHOR = {P. Cordero and M. Enciso and I.P. de Guzm\'an and A. Mora},
TITLE = {SLFD Logic: Elimination of data redundancy in
Knowledge Representation},
BOOKTITLE = {Iberamia 2002, ISSN: 0302-9743, ISBN: 3-540-00131},
PUBLISHER = {Springer},
PAGES = {141--150},
YEAR = 2002
}
@INPROCEEDINGS{mmo-aimsa,
AUTHOR = {Medina, J. and M{\'e}rida-Casermeiro, E. and Ojeda-Aciego, M.},
TITLE = {A neural approach to abductive multi-adjoint reasoning},
BOOKTITLE = {AI - Methodologies, Systems, Applications. AIMSA'02},
PUBLISHER = {Springer},
YEAR = 2002,
NOTE = {213--222}
}
@INPROCEEDINGS{tas-mvl-aimsa,
AUTHOR = {I.P. de Guzm\'an and Ojeda-Aciego, M. and Valverde, A.},
TITLE = {Restricted {$\Delta$}-trees in Multiple-Valued Logics},
BOOKTITLE = {AI - Methodologies, Systems, Applications. AIMSA'02},
PUBLISHER = {Springer},
YEAR = 2002,
PAGES = {223--232}
}
@INPROCEEDINGS{tas-ib,
AUTHOR = {I.P. de Guzm\'an and Ojeda-Aciego, M. and Valverde, A.},
TITLE = {Restricted {$\Delta$}-trees and Reduction Theorems in Multiple-Valued Logics},
BOOKTITLE = {Advances in Artificial Intelligence, IBERAMIA'02},
PUBLISHER = {Springer},
PAGES = {161--171},
YEAR = 2002
}
@INPROCEEDINGS{frocos,
AUTHOR = {A. Burrieza and I. P. de Guzm\'an},
TITLE = {A Temporal x Modal Approach to the Definability of Properties of Functions},
BOOKTITLE = {Frontiers of Combining Systems, FROCOS'02},
PUBLISHER = {Springer},
PAGES = {239--254},
YEAR = 2002
}
@INPROCEEDINGS{time02,
AUTHOR = {A. Burrieza and I. P. de Guzm\'an and E. Mu\~noz},
TITLE = {Indexed Flows in Temporal$\times$Modal Logic with Functional Semantics},
BOOKTITLE = {9th International Symposium on Temporal Representation and Reasoning, TIME-2002},
ORGANIZATION = {IEEE Computer Society},
PAGES = {146--150},
YEAR = 2002
}
@INPROCEEDINGS{AgrupabilidadAl02,
AUTHOR = {J. Mart{\'{\i}}nez and G. Guti{\'e}rrez and I. P. de
Guzm{\'a}n and P. Cordero},
TITLE = {Restricted Ideals and the groupability property},
BOOKTITLE = {Proceedings of the 2002 Conference on Computational and Mathematical Methods on Science and Engineering. Vol III.},
ADRESS = {Alicante},
MONTH = {Septiembre},
YEAR = 2002
}
@INPROCEEDINGS{Wolind2002,
AUTHOR = {J. Mart{\'{\i}}nez and G. Guti{\'e}rrez and I. P. de
Guzm{\'a}n and P. Cordero},
TITLE = {Ideals and filters in Multisemilattices and lattices},
BOOKTITLE = {TARRAT2001(CAEPIA-TTIA) },
ADRESS = {Wolind Island, (Polonia)},
MONTH = {Septiembre},
YEAR = 2002
}
@INPROCEEDINGS{CEMdG02,
AUTHOR = {P. Cordero and M. Enciso and I.P. de Guzm\'an and A. Mora},
TITLE = {Modelo de datos de dependencias funcionales para un entorno tur{\'\i}stico cooperativo},
BOOKTITLE = {IV Congreso Nacional Turismo y Tecnolog{\'\i}as de la Informaci\'on y las
Comunicaciones - TURITEC 2002},
PAGES = {61--76},
YEAR = 2002
}
@INPROCEEDINGS{CEdGM02-iceis02,
AUTHOR = {M. Enciso and A. Mora},
TITLE = {FD3: A Functional Dependencies Data Dictionary},
BOOKTITLE = {Proceedings of the Fourth Conference on Enterprise Information Systems - 2},
ORGANIZATION = {ICEIS 2002},
PAGES = {807--811},
YEAR = 2002
}
@INPROCEEDINGS{Agrupabl2002,
AUTHOR = {J. Mart{\'{\i}}nez and G. Guti{\'e}rrez and I. P. de
Guzm{\'a}n and P. Cordero},
TITLE = {Agrupabilidad. Generalizando la inducci{\'o}n a operadores
noİdeterministas},
BOOKTITLE = {RSME2002},
ORGANIZATION = {Modelos matem\'aticos para la Computaci\'on y la
Sociedad de la Informaci\'on},
ADRESS = {Puerto de la Cruz, Tenerife, (Espa\~na)},
MONTH = {Enero},
YEAR = 2002
}
@INPROCEEDINGS{paco2002,
AUTHOR = {F. Rodr{\'{\i}}guez-S\'anchez and I. P. de Guzm\'an and P.
Cordero},
TITLE = {Un marco algebraico para el razonamiento con modelos},
BOOKTITLE = {RSME2002},
ORGANIZATION = {Modelos matem\'aticos para la Computaci\'on y la
Sociedad de la Informaci\'on},
ADRESS = {Puerto de la Cruz, Tenerife, (Espa\~na)},
MONTH = {Enero},
YEAR = 2002
}
@INPROCEEDINGS{venecia2002,
AUTHOR = {J. Mart{\'{\i}}nez and G. Guti{\'e}rrez and I. P. de
Guzm{\'a}n and P. Cordero},
TITLE = {Algebraic Structures with Non-Deterministic Operators},
BOOKTITLE = {Algebra Conference, Venezia 2002},
ADRESS = {Island of San Servolo, Venecia, (Italy)},
MONTH = {June},
YEAR = 2002
}
@INPROCEEDINGS{ipmu-es,
AUTHOR = {J. Medina and M. Ojeda Aciego},
TITLE = {A new approach to completeness for multi-adjoint logic programming},
BOOKTITLE = {9th Information Processing and Management of Uncertainty in
Knowledge-Based Systems Conference, IPMU 2002},
YEAR = 2002
}
@INPROCEEDINGS{ipmu-se,
AUTHOR = {P. Eklund and M.A. Gal\'an and J. Medina and M. Ojeda Aciego and A. Valverde},
TITLE = {A framework for unification using powersets of terms},
BOOKTITLE = {9th Information Processing and Management of Uncertainty in
Knowledge-Based Systems Conference, IPMU 2002},
YEAR = 2002
}
@INPROCEEDINGS{mmo-iclp,
AUTHOR = {Medina, J. and M{\'e}rida-Casermeiro, E. and Ojeda-Aciego, M.},
TITLE = {Multi-Adjoint Logic Programming:
a Neural Net Approach},
BOOKTITLE = {Logic Programming. ICLP'02},
PUBLISHER = {Springer},
YEAR = 2002,
PAGES = {468}
}
@PROCEEDINGS{EklundOjeda2002,
EDITOR = {P. Eklund and M. Ojeda-Aciego},
TITLE = {Unification in non-classical logics},
ORGANIZATION = {Electronic Notes in Theoretical Computer Science},
VOLUME = {66.5},
YEAR = 2002
}
@INPROCEEDINGS{epia,
AUTHOR = {J. Medina and M. Ojeda-Aciego and P. Vojt{\'a}{\v s}},
TITLE = {A procedural semantics for multi-adjoint logic programming},
BOOKTITLE = {Progress in Artificial Intelligence, EPIA'01},
PUBLISHER = {Springer},
PAGES = {290--297},
YEAR = 2001
}
@INPROCEEDINGS{iclp01,
AUTHOR = {J. Medina and M. Ojeda-Aciego and P. Vojt{\'a}{\v s}},
TITLE = {A Multi-Adjoint Logic Approach to Abductive Reasoning},
BOOKTITLE = {Logic Programming, ICLP'01},
PUBLISHER = {Springer},
PAGES = {269--283},
YEAR = 2001
}
@INPROCEEDINGS{lpnmr01,
AUTHOR = {J. Medina and M. Ojeda-Aciego and P. Vojt\'a\v s},
TITLE = {Multi-adjoint logic programming with continuous
semantics},
BOOKTITLE = {Proc. Logic Programming and Non-Monotonic Reasoning, LPNMR'01},
PUBLISHER = {Springer},
PAGES = {351--364},
YEAR = 2001
}
@INPROCEEDINGS{cairns,
AUTHOR = {J. Mart{\'{\i}}nez and G. Guti{\'e}rrez and I. P. de
Guzm{\'a}n and P. Cordero},
TITLE = {Multilattices via multisemilattices},
BOOKTITLE = {2nd Multiconference on Applied and Theoretical
Mathematics},
ORGANIZATION = {Algebra and Opertors Theory},
ADRESS = {Cairns, Queensland(Australia)},
MONTH = {December},
YEAR = 2001
}
@INPROCEEDINGS{ismvl,
AUTHOR = {P. Eklund and M.A. Gal\'an and J. Medina and M.. Ojeda-Aciego and A. Valverde},
TITLE = {Composing submonads},
BOOKTITLE = {Proc. 31st IEEE Intl. Symposium on Multiple-Valued Logic},
ORGANIZATION = {IEEE-CS},
YEAR = 2001,
PAGES = {367--372}
}
@INPROCEEDINGS{tarrat2001,
AUTHOR = {J. Mart{\'{\i}}nez and G. Guti{\'e}rrez and I. P. de
Guzm{\'a}n and P. Cordero},
TITLE = {Implicados e implicantes unitarios en l{\'o}gicas temporales},
BOOKTITLE = {TARRAT2001(CAEPIA-TTIA) },
ADRESS = {Gij\'on, (Espa\~na)},
MONTH = {Noviembre},
YEAR = 2001
}
@INPROCEEDINGS{fuzzieee,
AUTHOR = {J. Medina and M. Ojeda-Aciego and P. Vojt\'a\v s},
TITLE = {A completeness theorem for multi-adjoint logic programming},
BOOKTITLE = {Proc. FUZZ-IEEE'01},
ORGANIZATION = {The 10th IEEE International Conference on Fuzzy Systems},
PUBLISHER = {IEEE Press},
YEAR = 2001
}
@INPROCEEDINGS{ipmu,
AUTHOR = {P. Eklund and Gal\'an, M. A. and Ojeda-Aciego, M. and Valverde, A.},
TITLE = {Set functors and generalised terms},
BOOKTITLE = {Proc. of IPMU 2000},
SERIES = {Information Processing and Management of Uncertainty in Knowledge-based Systems},
YEAR = 2000,
PAGES = {1595-1599},
VOLUME = {III}
}
@INPROCEEDINGS{estylf,
AUTHOR = {P. Eklund and Gal\'an, M. A. and Medina, J. and Ojeda-Aciego, M. and Valverde, A.},
TITLE = {Generalised terms and composition of monads},
BOOKTITLE = {Proc. of ESTYLF 2000, Spanish Congress on Fuzzy Logic and Technology},
PAGES = {155-160},
YEAR = 2000
}
@INPROCEEDINGS{tas-jelia2000,
AUTHOR = {G. Guti\'errez and I. P. de~Guzm\'an and J.
Mart\'\i nez and and M. Ojeda-Aciego and A. Valverde},
TITLE = {Reduction theorems for {B}oolean formulas using
{$\Delta$}-trees},
BOOKTITLE = {Proc. of JELIA 2000},
PAGES = {179--192},
YEAR = 2000
}
@INPROCEEDINGS{PearceGuzmanAgustin2000a,
AUTHOR = {David Pearce and Inma P. de~Guzm{\'a}n and A. Valverde},
TITLE = {A Tableau Calculus for Equilibrium Entailment},
BOOKTITLE = {Automated Reasoning with Analytic Tableaux and Related
Methods, TABLEAUX 2000},
PUBLISHER = {Springer-Verlag},
YEAR = 2000
}
@INPROCEEDINGS{cl2000,
AUTHOR = {David Pearce and Inma P. de~Guzm{\'a}n and A. Valverde},
TITLE = {Computing Equilibrium Models using Signed Formulas},
BOOKTITLE = {Proc. 1st Intl Conf on Computational Logic, CL'2000},
PAGES = {688--702 },
YEAR = 2000
}
@INPROCEEDINGS{mfcsit,
AUTHOR = {P. Eklund and \'Angeles Gal\'an, M. and Medina, J. and Ojeda Aciego, M. and Valverde, A.},
TITLE = {A graphical approach to monad compositions},
BOOKTITLE = {Proceedings of MFCSIT 2000, Mathematical Foundations of Computer Science
and Information Technology},
YEAR = 2000,
URL = {http://www.elsevier.nl/locate/entcs/volume40.html}
}
@INPROCEEDINGS{csi,
AUTHOR = {G. Guti\'errez and I. P. de~Guzm\'an and J. Mart\'\i nez and M. Ojeda-Aciego
and A. Valverde},
TITLE = {Representing {B}oolean formulas by using trees of implicants and implicates},
BOOKTITLE = {Proc. of CSI 2000},
PUBLISHER = { },
PAGES = { },
YEAR = 2000
}
@ARTICLE{rsme2000,
AUTHOR = {P. Cordero and M. Enciso and I.~P.~de Guzm{\'a}n},
TITLE = {$\Omega$-\'algebras y Ret{\'\i}culos Parciales},
JOURNAL = {Congreso de la R.S.M.E. 2000 (Minisimposio
Matem\'atica, L\'ogica, Deducci\'on Autom\'atica)
Universidad Complutense de Madrid (Madrid, 27, 28 y 29 de Enero)},
YEAR = {2000}
}
@INPROCEEDINGS{lasvegas,
AUTHOR = {I. P. de~Guzm\'an and M. Ojeda-Aciego and A. Valverde},
TITLE = {Multiple-valued tableaux with {$\Delta$}-reductions},
BOOKTITLE = {Proc. of the Intl.~Conf.~on Artificial Intelligence, ICAI'99},
PUBLISHER = {C.S.R.E.A.},
PAGES = {177--183},
YEAR = 1999
}
@INPROCEEDINGS{EMRF99,
AUTHOR = {M. Enciso and A. Mora and C. Rossi and J.M. Fr{\'\i}as},
TITLE = {Logic Modeling of Cooperative Database Systems},
BOOKTITLE = {Information Resources Management Association - IRMA99},
ORGANIZATION = {IDEA Group Publishing. Managing
Information Technology Resources in Organizations in the Next
Millenium ISBN 1-878289-51-9 Editor: Mehdi Khosrowpour. Hershey,
Pennsylvania},
YEAR = 1999
}
@INPROCEEDINGS{EMRF99b,
AUTHOR = {M. Enciso and A. Mora and C. Rossi and J.M. Fr{\'\i}as},
TITLE = {Sistema de Autocontrol L\'ogico y Comprobaci\'on de
Incidencias},
BOOKTITLE = {III Jornadas de Transferencia Tecnol\'ogica de
Inteligencia Artificial - TTIA'99. Murcia, Espa\~na},
YEAR = 1999
}
@INPROCEEDINGS{MFGRA99,
AUTHOR = {A. Mora and J.M.Fr{\'\i}as and I.P.de Guzm\'an and J.Agust{\'\i} and J.A.Reyes},
TITLE = {Modelizaci\'on
L\'ogica de Sistemas en la Industria C\'arnica},
BOOKTITLE = {Logics in Artificial Intelligence, JELIA'02},
ORGANIZATION = {Congreso de IA-CCIA'99. Gerona, Espa\~na.},
YEAR = 1999
}
@ARTICLE{tarrat99,
AUTHOR = {P. Cordero and M. Enciso and I.~P.~de Guzm{\'a}n},
TITLE = {Mejora en la eficiencia de la demostraci\'on autom\'atica
de teoremas
en l\'ogica temporal usando implicantes e implicados},
JOURNAL = {CAEPIA-TITIA'99(TARRAT99). Murcia (Noviembre
de1999)},
YEAR = {1999}
}
@INPROCEEDINGS{Epia99,
AUTHOR = {P. Cordero and M. Enciso and I.~P.~de Guzm{\'a}n},
TITLE = {Structure Theorems for Closed Sets of
Implicates/Implicants in Temporal Logic},
BOOKTITLE = {Proc. of EPIA'99},
PUBLISHER = {Springer},
PAGES = {},
YEAR = {1999}
}
@INPROCEEDINGS{jelia98,
AUTHOR = {I. P. de~Guzm\'an and M. Ojeda-Aciego and A. Valverde},
TITLE = {Implicates and reduction techniques for temporal logics},
BOOKTITLE = {Proc. of JELIA'98},
PUBLISHER = {Springer},
PAGES = {309--323},
YEAR = 1998
}
@INPROCEEDINGS{logic97,
AUTHOR = {G. Aguilera and I. P. de~Guzm\'an and M. Ojeda-Aciego},
TITLE = {DP-distributions: a new efficiency strategy for
the TAS reduction method},
BOOKTITLE = {Proceedings of Logic Colloquium'97},
YEAR = 1997
}
@INPROCEEDINGS{nagoya,
AUTHOR = {G. Aguilera and I. P. de~Guzm\'an and M. Ojeda-Aciego},
TITLE = {Model building in 3-valued logic using the TAS
reduction paradigm},
BOOKTITLE = {Proceedings of the IJCAI'97 workshop on
Model-based Automated Reasoning},
YEAR = 1997
}
@INPROCEEDINGS{iberamia96,
AUTHOR = {M. Ojeda-Aciego and I. P. de~Guzm\'an and M. Enciso.},
TITLE = {Theorem proving for temporal logic using the TAS paradigm},
BOOKTITLE = {Proceedings of Iberamia'96},
ADDRESS = {Cholula (Mexico)},
YEAR = 1996
}
@INPROCEEDINGS{time95,
AUTHOR = {I. P. de~Guzm\'an and M. Enciso and C. Rossi},
TITLE = {Just one approach for several temporal logics in computing: the
topological semantics},
BOOKTITLE = {Proceedings of the TIME'95 Workshop, FLAIRS},
ADDRESS = {Melbourne, Florida (USA)},
MONTH = APR,
YEAR = 1995
}
@INPROCEEDINGS{ijcai,
AUTHOR = {I. P. de~Guzm\'an and M. Enciso},
TITLE = {A new and complete theorem prover for temporal logic},
BOOKTITLE = {Proceedings of the IJCAI Workshop on Executable Temporal Logics},
ADDRESS = {Montreal (Canada)},
MONTH = AUG,
YEAR = 1995
}
@INPROCEEDINGS{bielefeld,
AUTHOR = {G. Aguilera and I. P. de~Guzm\'an and M. Ojeda-Aciego},
TITLE = {A new general approach to {ATP}s},
BOOKTITLE = {Proceedings of KI-15, Workshop on Computational Propositional
Logic},
ADDRESS = {Bielefeld (Germany)},
MONTH = SEP,
YEAR = 1995
}
@INPROCEEDINGS{lyon,
AUTHOR = {I. P. de~Guzm\'an and M. Ojeda-Aciego},
TITLE = {The {GIMAC} project},
BOOKTITLE = {Proceedings of {COST} action 15: Many-valued Logics for Computer
Science Applications},
ADDRESS = {Lyon (Francia)},
MONTH = {dic},
YEAR = 1995
}
@INPROCEEDINGS{cade,
AUTHOR = {G. Aguilera and I. P. de~Guzm\'an and M. Ojeda-Aciego},
TITLE = {Automated Model Building via Syntactic Trees Transformations},
BOOKTITLE = {Proc. of Cade'94 workshop on Automated Model Building},
PAGES = {4--10},
MONTH = JUN,
YEAR = 1994
}
@INPROCEEDINGS{jelia,
AUTHOR = {G. Aguilera and I. P. de~Guzm\'an and M. Ojeda-Aciego},
TITLE = {{TAS-D}$^{++}$ Syntactic Trees Transformations for Automated
Theorem Proving},
BOOKTITLE = {Proc. of Jelia'94},
PUBLISHER = {Springer},
PAGES = {198--216},
YEAR = 1994
}
@INPROCEEDINGS{tas-tablas,
AUTHOR = {G. Aguilera and I. P. de~Guzm\'an and Jos\'e L. Gal\'an
and M. Ojeda-Aciego},
TITLE = {{TAS-D}$^{++}$ vs tablas sem\'anticas},
BOOKTITLE = {GULP-PRODE '94 Joint Conference on Declarative Programming},
ADDRESS = {Valencia},
MONTH = SEP,
YEAR = 1994
}
@INPROCEEDINGS{iberamia,
AUTHOR = {G. Aguilera and I. P. de~Guzm\'an and Jos\'e L. Gal\'an
and M. Ojeda-Aciego.},
TITLE = {Using {TAS-D}$^{++}$ for inferences.},
BOOKTITLE = {Proceedings of Iberamia'94},
ADDRESS = {Caracas (Venezuela)},
PAGES = {44--59},
MONTH = OCT,
YEAR = 1994
}
@INPROCEEDINGS{tas-nc,
AUTHOR = {G. Aguilera and I. P. de~Guzm\'an and M. Ojeda-Aciego},
TITLE = {Un algoritmo eficiente y paralelo para la transformaci\'on a
forma normal conjuntiva},
BOOKTITLE = {Programaci\'on Declarativa},
ADDRESS = {Blanes (Spain)},
PAGES = {275--290},
MONTH = SEP,
YEAR = 1993
}
This file has been generated by bibtex2html 1.75