@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