| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nicolás Madrid, Manuel Ojeda-Aciego |
On the existence and unicity of stable models in normal residuated logic programs.  |
Int. J. Comput. Math.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego |
A PDL Approach for Qualitative Velocity. |
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, David Fernández Duque, Valentin Goranko, Wojtek Jamroga, Manuel Ojeda-Aciego |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolás Madrid, Manuel Ojeda-Aciego |
Measuring Inconsistency in Fuzzy Answer Set Semantics. |
IEEE T. Fuzzy Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ondrej Kridlo, Manuel Ojeda-Aciego |
On L-fuzzy Chu correspondences. |
Int. J. Comput. Math. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolás Madrid, Manuel Ojeda-Aciego |
On the use of fuzzy stable models for inconsistent classical logic programs. |
FOCI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Viegas Damásio, Nicolás Madrid, Manuel Ojeda-Aciego |
On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence. |
WILF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego |
Non-deterministic Algebraic Structures for Soft Computing. |
IWANN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascual Julián, Jesús Medina, Pedro J. Morcillo, Ginés Moreno, Manuel Ojeda-Aciego |
A Static Preprocess for Improving Fuzzy Thresholded Tabulation. |
IWANN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego |
A coalgebraic approach to non-determinism: Applications to multilattices. |
Inf. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Medina, Manuel Ojeda-Aciego |
Multi-adjoint t-concept lattices. |
Inf. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Medina, Manuel Ojeda-Aciego |
Towards Attribute Reduction in Multi-adjoint Concept Lattices. |
CLA |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ondrej Kridlo, Stanislav Krajci, Manuel Ojeda-Aciego |
L-Bonds vs Extents of Direct Products of Two L-fuzzy Contexts. |
CLA |
2010 |
DBLP BibTeX RDF |
|
| 1 | Nicolás Madrid, Manuel Ojeda-Aciego |
Measuring instability in normal residuated logic programs: Adding information. |
FUZZ-IEEE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolás Madrid, Manuel Ojeda-Aciego |
Measuring Instability in Normal Residuated Logic Programs: Discarding Information. |
IPMU |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascual Julián Iranzo, Jesús Medina, Ginés Moreno, Manuel Ojeda-Aciego |
Thresholded Tabulation in a Fuzzy Logic Setting. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño |
Formal concept analysis via multi-adjoint concept lattices. |
Fuzzy Sets and Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Umberto Straccia, Manuel Ojeda-Aciego, Carlos Viegas Damásio |
On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs. |
SIAM J. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego |
Congruence relations on some hyperstructures. |
Ann. Math. Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego |
Fuzzy congruence relations on nd-groupoids. |
Int. J. Comput. Math. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfredo Burrieza, Angel Mora, Manuel Ojeda-Aciego, Ewa Orlowska |
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning. |
Int. J. Comput. Math. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolás Madrid, Manuel Ojeda-Aciego |
On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs. |
WILF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego |
Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL. |
CAEPIA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolás Madrid, Manuel Ojeda-Aciego |
On the measure of incoherence in extended residuated logic programs. |
FUZZ-IEEE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Medina, Manuel Ojeda-Aciego |
On the Representation Theorem of Multi-Adjoint Concept Lattices. |
IFSA/EUSFLAT Conf. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego |
Fuzzy Logic, Soft Computing, and Applications. |
IWANN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego |
On Congruences and Homomorphisms on Some Non-deterministic Algebras. |
IJCCI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño |
Relating generalized concept lattices and concept lattices for non-commutative conjunctors. |
Appl. Math. Lett. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Ojeda-Aciego, Siegfried Gottwald, Petr Hájek |
Editorial. |
Fuzzy Sets and Systems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego |
A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning. |
IBERAMIA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolás Madrid, Manuel Ojeda-Aciego |
Towards a Fuzzy Answer Set Semantics for Residuated Logic Programs. |
Web Intelligence/IAT Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego |
Termination of logic programs with imperfect information: applications and query procedure. |
J. Applied Logic |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde |
Powersets of terms and composite monads. |
Fuzzy Sets and Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño |
Fuzzy logic programming via multilattices. |
Fuzzy Sets and Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño |
On Reachability of Minimal Models of Multilattice-Based Logic Programs. |
MICAI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño |
On Multi-adjoint Concept Lattices: Definition and Representation Theorem. |
ICFCA |
2007 |
DBLP DOI BibTeX RDF |
multi-adjoint lattices, implication triples, concept lattices, Galois connection |
| 1 | Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño |
A Fixed-Point Theorem for Multi-valued Functions with an Application to Multilattice-Based Logic Programming. |
WILF |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego |
A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. |
CAEPIA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño |
Concept Lattices under Non-commutative Conjunctors Are Generalized Concept Lattices. |
EUSFLAT Conf. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alfredo Burrieza, Manuel Ojeda-Aciego, Ewa Orlowska |
Relational Approach to Order-of-Magnitude Reasoning. |
Theory and Applications of Relational Structures as Knowledge Instruments |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfredo Burrieza, Manuel Ojeda-Aciego |
A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations. |
Fundam. Inform. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño |
Multi-lattices as a Basis for Generalized Fuzzy Logic Programming. |
WILF |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego |
Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. |
CAEPIA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego |
Interval-Valued Neural Multi-adjoint Logic Programs. |
IWINAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrik Eklund, Maria A. Galán, Werner Gähler, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde |
A note on partially ordered generalized terms. |
EUSFLAT Conf. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego |
A neural implementation of multi-adjoint logic programming. |
J. Applied Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde |
Similarities between powersets of terms. |
Fuzzy Sets and Systems |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás |
Similarity-based unification: a multi-adjoint approach. |
Fuzzy Sets and Systems |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego |
A Tabulation Proof Procedure for Residuated Logic Programming. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego |
Decomposing Ordinal Sums in Neural Multi-adjoint Logic Programs. |
IBERAMIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego |
Sorted Multi-adjoint Logic Programs: Termination Results and Applications. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Ojeda-Aciego, Agustín Valverde |
tascpl: TAS Solver for Classical Propositional Logic. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfredo Burrieza, Manuel Ojeda-Aciego |
A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning. |
CAEPIA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás |
Towards Biresiduated Multi-adjoint Logic Programming. |
CAEPIA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Medina, Manuel Ojeda-Aciego |
Homogenizing multi-adjoint logic programs. |
EUSFLAT Conf. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego |
A Neural Approach to Extended Logic Programs. |
IWANN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Ojeda-Aciego, Gerhard Brewka, Inman P. de Guzmán, Luís Moniz Pereira |
Preface. |
Studia Logica |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde |
Satisfiability Testing for Boolean Formulas Using Delta-trees. |
Studia Logica |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás |
A Multi-Adjoint Approach to Similarity-Based Unification. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrik Eklund, Manuel Ojeda-Aciego |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde |
A categorical approach to unification of generalised terms. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde |
Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics. |
IBERAMIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego |
Multi-adjoint Logic Programming: A Neural Net Approach. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanislav Krajci, Rastislav Lencses, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás |
Non-commutativity and Expressive Deductive Logic Databases. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanislav Krajci, Rastislav Lencses, Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás |
A Similarity-Based Unification Model for Flexible Querying. |
FQAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde |
Restricted Delta-Trees in Multiple-Valued Logics. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
Knowledge Representation, Automated Reasoning |
| 1 | Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego |
A Neural Approach to Abductive Multi-adjoint Reasoning. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde |
Reductions for non-clausal theorem proving. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás |
A Procedural Semantics for Multi-adjoint Logic Programming. |
EPIA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás |
A Multi-adjoint Logic Approach to Abductive Reasoning. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde |
Composing Submonads. |
ISMVL |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás |
Multi-adjoint Logic Programming with Continuous Semantics. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás |
A Completeness Theorem for Multi-Adjoint Logic Programming. |
FUZZ-IEEE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás |
Similarity-based unification: a multi-adjoint approach. |
EUSFLAT Conf. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde |
A graphical approach to monad compositions. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Ojeda-Aciego, Inman P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira (eds.) |
Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings |
JELIA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde |
Reduction Theorems for Boolean Formulas Using Delta-Trees. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde |
Implicates and reduction techniques for temporal logics. |
Ann. Math. Artif. Intell. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde |
Multiple-Valued Tableaux with delta-reductions. |
IC-AI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde |
Reducing signed propositional formulas. |
Soft Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde |
Implicates and Reduction Techniques for Temporal Logics. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Enciso, J. F. Moncada, Inman P. de Guzmán, Manuel Ojeda-Aciego |
Executing Intensional Logic with the TAS Tool. |
APPIA-GULP-PRODE |
1996 |
DBLP BibTeX RDF |
|
| 1 | Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde |
A Formal Identification between Tuples and Lists with an Application to List-Arithmetic Categories. |
Acta Inf. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego |
Increasing the efficiency of automated theorem proving. |
Journal of Applied Non-Classical Logics |
1995 |
DBLP BibTeX RDF |
|
| 1 | Gabriel Aguilera, José Luis Galán, Inman P. de Guzmán, Manuel Ojeda-Aciego |
TAS-D++ vs tablas semanticas. |
GULP-PRODE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego |
TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")