@ARTICLE{fi-bo,
AUTHOR = {A. Burrieza and M. Ojeda-Aciego},
TITLE = {A multimodal logic approach to order of magnitude qualitative reasoning with comparability and negligibility relations},
JOURNAL = {Fundamenta Informaticae},
YEAR = 2005,
VOLUME = {},
PAGES = {},
NOTE = {To appear}
}
@ARTICLE{msc-mmo,
AUTHOR = {Medina, J. and M\'erida-Casermeiro,E. and Ojeda-Aciego, M.},
TITLE = {A neural implementation of multi-adjoint logic programs via sf-homogeneous programs},
JOURNAL = {Mathware & Soft Computing},
YEAR = 2005,
VOLUME = {},
PAGES = {},
NOTE = {To appear}
}
@ARTICLE{PearceV05,
AUTHOR = {David Pearce and AgustĖn Valverde},
TITLE = {A First Order Nonmonotonic Extension of Constructive Logic},
JOURNAL = {Studia Logica},
YEAR = 2005,
PAGES = {323--348},
VOLUME = 80,
ISSN = {0039-3215}
}
@ARTICLE{DMath,
AUTHOR = {Mart\'{\i}nez, Javier and Guti\'errez, Gloria and {P.} de Guzm\'an, Inmaculada and Cordero, Pablo},
TITLE = {Generalizations of Lattices via non-deterministic operators},
JOURNAL = {Discrete Mathematics},
YEAR = {2005},
VOLUME = {295},
NUMBER = {1-3},
PAGES = {107--141}
}
@INPROCEEDINGS{iwinac05,
AUTHOR = {Medina, J. and M\'erida-Casermeiro,E. and Ojeda-Aciego, M.},
TITLE = {Interval-valued neural multi-adjoint logic programs},
BOOKTITLE = {Proc. Intl. Conf. on the Interplay between Natural and Artificial Computation},
ORGANIZATION = {Lect. Notes in Computer Science 3561},
YEAR = 2005,
PAGES = {521--530}
}
@INPROCEEDINGS{PearceV04jelia,
AUTHOR = {David Pearce and
Agust\'{\i}n Valverde},
TITLE = {Towards a First Order Equilibrium Logic for Nonmonotonic
Reasoning.},
YEAR = {2004},
PAGES = {147-160},
EDITOR = {Jos{\'e} J{\'u}lio Alferes and
Jo{\~a}o Alexandre Leite},
BOOKTITLE = {Logics in Artificial Intelligence, 9th European Conference,
JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {3229},
ISBN = {3-540-23242-7}
}
@INPROCEEDINGS{PearceV04ecai,
AUTHOR = {David Pearce and
Agust\'{\i}n Valverde},
TITLE = {Synonymus Theories in Answer Set Programming and Equilibrium
Logic.},
EDITOR = {Ramon L{\'o}pez de M{\'a}ntaras and
Lorenza Saitta},
BOOKTITLE = {Proceedings of the 16th Eureopean Conference on Artificial
Intelligence, ECAI'2004, including Prestigious Applicants
of Intelligent Systems, PAIS 2004, Valencia, Spain, August
22-27, 2004},
PAGES = {388-392},
PUBLISHER = {IOS Press},
YEAR = {2004},
ISBN = {1-58603-452-9}
}
@INPROCEEDINGS{Valverde04,
AUTHOR = {Agust\'{\i}n Valverde},
TITLE = {tabeql: A Tableau Based Suite for Equilibrium Logic.},
EDITOR = {Jos{\'e} J{\'u}lio Alferes and
Jo{\~a}o Alexandre Leite},
BOOKTITLE = {Logics in Artificial Intelligence, 9th European Conference,
JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {3229},
YEAR = {2004},
PAGES = {734-737},
ISBN = {3-540-23242-7}
}
@INPROCEEDINGS{PearceV04lpnmr,
AUTHOR = {David Pearce and
Agust\'{\i}n Valverde},
TITLE = {Uniform Equivalence for Equilibrium Logic and Logic Programs.},
YEAR = {2004},
PAGES = {194-206},
EDITOR = {Vladimir Lifschitz and
Ilkka Niemel{\"a}},
BOOKTITLE = {Logic Programming and Nonmonotonic Reasoning, 7th International
Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January
6-8, 2004, Proceedings},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {2923},
YEAR = {2004},
ISBN = {3-540-20721-X}
}
@INPROCEEDINGS{iberamia04,
AUTHOR = {Medina, J. and M\'erida-Casermeiro,E. and Ojeda-Aciego, M.},
TITLE = {Decomposing Ordinal Sums in Neural Multi-Adjoint Logic Programs},
BOOKTITLE = {Ibero-American Conference on Artificial Intelligence},
ORGANIZATION = {Lect. Notes in Artificial Intelligence 3315},
YEAR = 2004,
PAGES = {717--726}
}
@INPROCEEDINGS{jelia04-sys,
AUTHOR = {Ojeda-Aciego, M. and Valverde, A.},
TITLE = {tascpl: {TAS} solver for {C}lassical {P}ropositional {L}ogic},
BOOKTITLE = {Logics in Artificial Intelligence, JELIA'04},
ORGANIZATION = {Lect. Notes in Artificial Intelligence 3229 },
YEAR = 2004,
PAGES = {731--735}
}
@INPROCEEDINGS{jelia04,
AUTHOR = {Dam\'asio, C.V. and Medina , J. and Ojeda-Aciego, M.},
TITLE = {Sorted multi-adjoint logic programs:
termination results and applications},
BOOKTITLE = {Logics in Artificial Intelligence, JELIA'04},
ORGANIZATION = {Lect. Notes in Artificial Intelligence 3229},
YEAR = 2004,
PAGES = {260--273}
}
@INPROCEEDINGS{ecai04,
AUTHOR = {Dam\'asio, C.V. and Medina , J. and Ojeda-Aciego, M.},
TITLE = {A tabulation proof procedure for residuated logic programming},
BOOKTITLE = {European Conference on Artificial Intelligence},
SERIES = {Frontiers in Artificial Intelligence and Applications},
VOLUME = 110,
YEAR = 2004,
PAGES = {808--812}
}
@INPROCEEDINGS{pv-ecai04,
AUTHOR = {Pearce, D. and Valverde, A.},
TITLE = {Synomymous theories in answer set programming and equilibrium logic},
BOOKTITLE = {European Conference on Artificial Intelligence},
SERIES = {Frontiers in Artificial Intelligence and Applications},
VOLUME = 110,
YEAR = 2004,
PAGES = {388-392}
}
@ARTICLE{AMAI04,
AUTHOR = {P. Cordero and G. Guti\'errez and J. Mart{\'\i}nez and I. {P. de Guzm\'an}},
TITLE = {A New Algebraic Tool for Automatic Theorem Provers},
JOURNAL = {Annals of Mathematics and Artificial Intelligence},
YEAR = {2004},
VOLUME = {42},
NUMBER = {4},
PAGES = {369--398}
}
@ARTICLE{mmo-jal,
AUTHOR = {J. Medina and E. M\'erida-Casermeiro and M. Ojeda-Aciego},
TITLE = {A Neural Implementation of Multi-Adjoint Logic Programming},
JOURNAL = {Journal of Applied Logic},
YEAR = 2004,
VOLUME = {2/3},
PAGES = {301--324}
}
@ARTICLE{eusflat-fss,
AUTHOR = {Medina, J. and Ojeda-Aciego, M. and Vojt\'a{\v s}, P.},
TITLE = {Similarity-based unification: a multi-adjoint approach},
JOURNAL = {Fuzzy Sets and Systems},
YEAR = 2004,
VOLUME = {146},
NUMBER = {1},
PAGES = {43--62}
}
@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},
ORGANIZATION = {Lect. Notes in Artificial Intelligence 3040},
YEAR = 2003,
PAGES = {66--75}
}
@INPROCEEDINGS{caepia-bires,
AUTHOR = {Medina, J. and Ojeda-Aciego, M. and Vojt\'as, P.},
TITLE = {Towards biresiduated multi-adjoint logic programming},
BOOKTITLE = {Spanish Conference on Artificial Intelligence},
ORGANIZATION = {Lect. Notes in Artificial Intelligence 3040},
YEAR = 2003,
PAGES = {608--617}
}
@ARTICLE{FDinCAEPIA-ln,
AUTHOR = {Mora, A. and Enciso, M. and Cordero, P. and P.de Guzm\'an,
I.},
TITLE = {The functional dependence implication problem: optimality and
minimality. {A}n efficient preprocessing transformation based
on the substitution paradigm},
JOURNAL = {Lect. Notes in Artificial Intelligence},
YEAR = 2004,
VOLUME = 3040,
PAGES = {136--146}
}
@ARTICLE{powerset-fss,
AUTHOR = {Eklund, P. and Gal\'an, M.A. and Medina, J. and Ojeda-Aciego, M. and Valverde, A.},
TITLE = {Similarities between powersets of terms},
JOURNAL = {Fuzzy Sets and Systems},
YEAR = 2004,
VOLUME = {144},
NUMBER = {1},
PAGES = {213--225}
}
@ARTICLE{PeaVal04-ln,
AUTHOR = {D. Pearce and A. Valverde},
TITLE = {Uniform Equivalence for Equilibrium Logic and Logic Programs},
JOURNAL = {Lect. Notes in Artificial Intelligence},
VOLUME = {2923},
PAGES = {194--206},
YEAR = 2004
}
@ARTICLE{groupableTool,
AUTHOR = {Mart{\'{\i}}nez, J. and Cordero, P. and Guti{\'e}rrez, G.
and P.de Guzm\'an, I.},
TITLE = {Restricted ideals and the groupability property. Tools for
temporal reasoning.},
JOURNAL = {Kybernetika},
YEAR = 2003,
VOLUME = {39},
NUMBER = {5},
PAGES = {521--546}
}
@ARTICLE{bdg-acta,
AUTHOR = {A. Burrieza and I.P. de Guzm\'an},
TITLE = {A functional approach for temporal x
modal logics},
JOURNAL = {Acta Informatica},
PAGES = {71--96},
YEAR = {2003},
VOLUME = 39,
NUMBER = 2
}
@ARTICLE{iwann03-ln,
AUTHOR = {J. Medina and E. M\'erida-Casermeiro and M. Ojeda-Aciego},
TITLE = {A neural approach to extended logic programs},
VOLUME = {2686},
JOURNAL = {Lect. Notes in Computer Science},
PAGES = {654--661},
YEAR = 2003
}
@ARTICLE{RML02,
AUTHOR = {P. Cordero and M. Enciso and I.P. de Guzm\'an},
TITLE = {From the posets of literals to a temporal negative normal
form},
JOURNAL = {Reports on Mathematical Logic},
YEAR = 2002,
PAGES = {3--54},
VOLUME = 36
}
@ARTICLE{ActInf02,
AUTHOR = {P. Cordero and M. Enciso and I.P. de Guzm\'an},
TITLE = {Bases for closed sets of implicants and implicates in temporal
logic},
JOURNAL = {Acta Informatica},
YEAR = 2002,
PAGES = {693--705},
VOLUME = 38
}
@ARTICLE{tas-sl,
AUTHOR = {G. Guti\'errez and I. P. de~Guzm\'an and J. Mart{\'\i}nez and M. Ojeda-Aciego and A. Valverde},
TITLE = {Satisfiability testing for {B}oolean formulas using
{$\Delta$}-trees},
JOURNAL = {Studia Logica},
YEAR = 2002,
PAGES = {33--60},
VOLUME = 72
}
@ARTICLE{frocos-ln,
AUTHOR = {A. Burrieza and I. P. de Guzm\'an},
TITLE = {A Temporal x Modal Approach to the Definability of Properties of Functions},
VOLUME = {2309},
JOURNAL = {Lect. Notes in Computer Science 2309},
PAGES = {239--254},
YEAR = 2002
}
@ARTICLE{Wseas2002,
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},
JOURNAL = {{WSEAS} Transactions on Mathematics},
YEAR = 2002,
PAGES = {125--130},
VOLUME = 1
}
@ARTICLE{camwa,
AUTHOR = {Eklund, P. and Gal\'an, M.A. and Medina, J. and Ojeda-Aciego, M. and Valverde, A.},
TITLE = {Set functors, {$L$}-fuzzy set categories and generalized terms},
JOURNAL = {Computers and Mathematics with Applications},
YEAR = 2002,
PAGES = {693--705},
VOLUME = 43
}
@ARTICLE{jelia02-ln,
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},
VOLUME = {2424},
JOURNAL = {Lect. Notes in Artificial Intelligence},
PAGES = {149--160},
YEAR = 2002
}
@ARTICLE{fqas-ln,
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},
VOLUME = 2522,
JOURNAL = {Lect. Notes in Artificial Intelligence},
PAGES = {263--273},
YEAR = 2002
}
@ARTICLE{CEdGM02-ln,
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},
VOLUME = 2527,
JOURNAL = {Lect. Notes in Artificial Intelligence},
PAGES = {141--150},
YEAR = 2002
}
@ARTICLE{mmo-aimsa-ln,
AUTHOR = {Medina, J. and M{\'e}rida-Casermeiro, E. and Ojeda-Aciego, M.},
TITLE = {A neural approach to abductive multi-adjoint reasoning},
VOLUME = 2443,
JOURNAL = {Lect. Notes in Computer Science},
YEAR = 2002,
NOTE = {213--222}
}
@ARTICLE{tas-mvl-aimsa-ln,
AUTHOR = {I.P. de Guzm\'an and Ojeda-Aciego, M. and Valverde, A.},
TITLE = {Restricted {$\Delta$}-trees in Multiple-Valued Logics},
VOLUME = 2443,
JOURNAL = {Lect. Notes in Computer Science},
YEAR = 2002,
PAGES = {223--232}
}
@ARTICLE{tas-ib-ln,
AUTHOR = {I.P. de Guzm\'an and Ojeda-Aciego, M. and Valverde, A.},
TITLE = {Restricted {$\Delta$}-trees and Reduction Theorems in Multiple-Valued Logics},
VOLUME = 2527,
JOURNAL = {Lect. Notes in Artificial Intelligence},
PAGES = {161--171},
YEAR = 2002
}
@ARTICLE{tas-tcs,
AUTHOR = {Aguilera, G. and P. de Guzm\'an, I. and Ojeda-Aciego, M. and Valverde, A.},
TITLE = {Reductions for non-clausal theorem proving},
JOURNAL = {Theoretical Computer Science},
VOLUME = 266,
NUMBER = {1/2},
PAGES = {81--112},
YEAR = 2001
}
@ARTICLE{epia-ln,
AUTHOR = {J. Medina and M. Ojeda-Aciego and P. Vojt{\'a}{\v s}},
TITLE = {A procedural semantics for multi-adjoint logic programming},
VOLUME = 2258,
JOURNAL = {Lect. Notes in Artificial Intelligence},
PAGES = {290--297},
YEAR = 2001
}
@ARTICLE{iclp01-ln,
AUTHOR = {J. Medina and M. Ojeda-Aciego and P. Vojt{\'a}{\v s}},
TITLE = {A Multi-Adjoint Logic Approach to Abductive Reasoning},
VOLUME = 2237,
JOURNAL = {Lect. Notes in Artificial Intelligence},
PAGES = {269--283},
YEAR = 2001
}
@ARTICLE{lpnmr01-ln,
AUTHOR = {J. Medina and M. Ojeda-Aciego and P. Vojt\'a\v s},
TITLE = {Multi-adjoint logic programming with continuous
semantics},
VOLUME = 2173,
JOURNAL = {Lect. Notes in Artificial Intelligence},
PAGES = {351--364},
YEAR = 2001
}
@ARTICLE{JANCL99,
AUTHOR = {P. Cordero and M. Enciso and I.~P.~de Guzm{\'a}n},
TITLE = {A Temporal Negative Normal Form which preserves
implicants and implicates},
JOURNAL = {Journal of Applied Non-Classical Logics},
VOLUME = {10},
YEAR = {2000}
}
@ARTICLE{tas-jelia2000-ln,
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},
VOLUME = {1919},
JOURNAL = {Lect. Notes in Artificial Intelligence},
PAGES = {179--192},
YEAR = 2000
}
@ARTICLE{PearceGuzmanAgustin2000a-ln,
AUTHOR = {David Pearce and Inma P. de~Guzm{\'a}n and A. Valverde},
TITLE = {A Tableau Calculus for Equilibrium Entailment},
VOLUME = {},
JOURNAL = {Lect. Notes in Artificial Intelligence},
PAGES = {},
YEAR = 2000
}
@ARTICLE{cl2000-ln,
AUTHOR = {David Pearce and Inma P. de~Guzm{\'a}n and A. Valverde},
TITLE = {Computing Equilibrium Models using Signed Formulas},
VOLUME = {1861},
JOURNAL = {Lect. Notes in Artificial Intelligence},
PAGES = {688--702 },
YEAR = 2000
}
@ARTICLE{amai,
AUTHOR = {I. P. de~Guzm\'an and M. Ojeda-Aciego and A. Valverde},
TITLE = {Implicates and reduction techniques for temporal logics},
JOURNAL = {Annals of Mathematics and Artificial Intelligence},
VOLUME = 27,
PAGES = {2-23},
YEAR = 1999
}
@ARTICLE{soft,
AUTHOR = {I. P. de~Guzm\'an and M. Ojeda-Aciego and A. Valverde},
TITLE = {Reducing signed propositional formulas},
JOURNAL = {Soft Computing},
YEAR = 1999,
VOLUME = 2,
NUMBER = 4,
PAGES = {157--166}
}
@ARTICLE{Epia99-ln,
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},
JOURNAL = {Lect. Notes in Artificial Intelligence},
VOLUME = {1695},
PAGES = {},
YEAR = {1999}
}
@INPROCEEDINGS{jelia98-ln,
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 = {Lect. Notes in Artif. Intelligence 1489},
PAGES = {309--323},
YEAR = 1998
}
@ARTICLE{mathware,
AUTHOR = {G. Aguilera and I. P. de~Guzm\'an and M. Ojeda-Aciego},
TITLE = {A new reduction-based theorem prover for 3-valued logic},
JOURNAL = {Mathware \& Soft Computing},
VOLUME = 4,
NUMBER = 2,
PAGES = {99-127},
YEAR = 1997
}
@ARTICLE{PdGR95,
AUTHOR = {I.~P.~de Guzm\'an and C.~Rossi},
TITLE = {{LNint}: a temporal logic that combines points and intervals and the
absolute and relative approaches},
JOURNAL = {Journal of the {IGPL}},
YEAR = 1995,
VOLUME = 3,
NUMBER = 5,
PAGES = {745--764}
}
@ARTICLE{acta,
AUTHOR = {I. P. de~Guzm\'an and M. Ojeda and A. Valverde},
TITLE = {A formal identification between tuples and lists with an
application to list-arithmetic categories},
JOURNAL = {Acta Informatica},
VOLUME = 32,
PAGES = {61--78},
YEAR = 1995
}
@ARTICLE{tas-jancl,
AUTHOR = {G. Aguilera and I. P. de~Guzm\'an and M. Ojeda-Aciego},
TITLE = {Increasing the efficiency of Automated Theorem Proving},
JOURNAL = {Journal of Applied Non-Classical Logics},
VOLUME = 5,
NUMBER = 1,
PAGES = {9--29},
YEAR = 1995
}
@ARTICLE{jelia-ln,
AUTHOR = {G. Aguilera and I. P. de~Guzm\'an and M. Ojeda-Aciego},
TITLE = {{TAS-D}$^{++}$ Syntactic Trees Transformations for Automated
Theorem Proving},
VOLUME = 838,
JOURNAL = {Lect. Notes in Artificial Intelligence},
PAGES = {198--216},
YEAR = 1994
}
@ARTICLE{ln,
AUTHOR = {A. Burrieza and I. P. de Guzm\'an},
TITLE = {A new algebraic semantic approach and some adequate connectives
for computation with temporal logic over discrete time},
JOURNAL = {Journal of Applied Non-Classical Logics},
VOLUME = 2,
YEAR = 1992
}
This file has been generated by bibtex2html 1.75