gcon.bib

@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