Formal concept analysis via multi-adjoint concept latticesMEDINA, Jesus; OJEDA-ACIEGO, Manuel; RUIZ-CALVINO, Jorge et al.Fuzzy sets and systems. 2009, Vol 160, Num 2, pp 130-144, issn 0165-0114, 15 p.Conference Paper

ON FIXED-POINTS OF MULTIVALUED FUNCTIONS ON COMPLETE LATTICES AND THEIR APPLICATION TO GENERALIZED LOGIC PROGRAMSSTRACCIA, Umberto; OJEDA-ACIEGO, Manuel; DAMASIO, Carlos V et al.SIAM journal on computing (Print). 2009, Vol 38, Num 5, pp 1881-1911, issn 0097-5397, 31 p.Article

Relational approach to order-of-magnitude reasoningBURRIEZA, Alfredo; OJEDA-ACIEGO, Manuel; ORLOWSKA, Ewa et al.Lecture notes in computer science. 2006, pp 105-124, issn 0302-9743, isbn 978-3-540-69223-2, 1Vol, 20 p.Conference Paper

Similarity-based unification: a multi-adjoint approachMEDINA, Jesus; OJEDA-ACIEGO, Manuel; VOJTAS, Peter et al.Fuzzy sets and systems. 2004, Vol 146, Num 1, pp 43-62, issn 0165-0114, 20 p.Conference Paper

Relating generalized concept lattices and concept lattices for non-commutative conjunctorsMEDINA, Jesus; OJEDA-ACIEGO, Manuel; RUIZ-CALVINO, Jorge et al.Applied mathematics letters. 2008, Vol 21, Num 12, pp 1296-1300, issn 0893-9659, 5 p.Article

[Use of mathematical methods in computer science and the information society]OJEDA-ACIEGO, Manuel; VOJTAS, Peter; ZADROZNY, Sławomir et al.Kybernetika. 2003, Vol 39, Num 5, issn 0023-5954, 143 p.Conference Proceedings

Logics in artificial intelligence (Málaga, 29 September - 2 October 2000)Ojeda-Aciego, Manuel; de Guzmán, Inma P; Brewka, Gerhard et al.Lecture notes in computer science. 2000, issn 0302-9743, isbn 3-540-41131-3, XI, 406 p, isbn 3-540-41131-3Conference Proceedings

Capturing stationary and regular extensions with Reiter's extensionsJANHUNEN, Tomi.Lecture notes in computer science. 2000, pp 102-117, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Non-monotoneous parallel iteration for solving convex feasibility problemsCROMBEZ, Gilbert.Kybernetika. 2003, Vol 39, Num 5, pp 547-560, issn 0023-5954, 14 p.Conference Paper

Representing the process semantics in the event calculusCHUNPING LI.Lecture notes in computer science. 2000, pp 118-132, issn 0302-9743, isbn 3-540-41131-3Conference Paper

An algorithmic approach to recover inconsistent knowledge-basesARIELI, Ofer.Lecture notes in computer science. 2000, pp 148-162, issn 0302-9743, isbn 3-540-41131-3Conference Paper

A neural approach to abductive multi-adjoint reasoningMEDINA, Jesus; MERIDA-CASERMEIRO, Enrique; OJEDA-ACIEGO, Manuel et al.Lecture notes in computer science. 2002, pp 213-222, issn 0302-9743, isbn 3-540-44127-1, 10 p.Conference Paper

Topo-distance : Measuring the difference between spatial patternsAIELLO, Marco.Lecture notes in computer science. 2000, pp 73-86, issn 0302-9743, isbn 3-540-41131-3Conference Paper

1-Lipschitz aggregation operators and quasi-copulasKOLESAROVA, Anna.Kybernetika. 2003, Vol 39, Num 5, pp 615-629, issn 0023-5954, 15 p.Conference Paper

On dialogue systems with speech acts, arguments, and counterargumentsPRAKKEN, Henry.Lecture notes in computer science. 2000, pp 224-238, issn 0302-9743, isbn 3-540-41131-3Conference Paper

A multi-adjoint logic approach to abductive reasoningMEDINA, Jesus; OJEDA-ACIEGO, Manuel; VOJTAS, Peter et al.Lecture notes in computer science. 2001, pp 269-283, issn 0302-9743, isbn 3-540-42935-2Conference Paper

A framework for belief updateLIBERATORE, Paolo.Lecture notes in computer science. 2000, pp 361-375, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Acceptance without minimalityNAYAK, Abhaya C.Lecture notes in computer science. 2000, pp 163-178, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Declarative formalization of strategies for action selection : Applications to planningSIERRA-SANTIBANEZ, Josefina.Lecture notes in computer science. 2000, pp 133-147, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Mathematical and Logical Foundations of Soft ComputingOJEDA-ACIEGO, Manuel; GOTTWALD, Siegfried; HAJEK, Petr et al.Fuzzy sets and systems. 2008, Vol 159, Num 10, issn 0165-0114, 145 p.Conference Proceedings

Multi-lattices as a basis for generalized fuzzy logic programmingMEDINA, Jesus; OJEDA-ACIEGO, Manuel; RUIZ-CALVINO, Jorge et al.Lecture notes in computer science. 2006, pp 61-70, issn 0302-9743, isbn 3-540-32529-8, 1Vol, 10 p.Conference Paper

Multi-adjoint logic programming: A neural net approachMEDINA, Jesus; MERIDA-CASERMEIRO, Enrique; OJEDA-ACIEGO, Manuel et al.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43930-7, p. 468Conference Paper

A procedural semantics for multi-adjoint logic programmingMEDINA, Jesus; OJEDA-ACIEGO, Manuel; VOJTAS, Peter et al.Lecture notes in computer science. 2001, pp 290-297, issn 0302-9743, isbn 3-540-43030-XConference Paper

A formal theory of intermediate quantifiersNOVAK, Vilém.Fuzzy sets and systems. 2008, Vol 159, Num 10, pp 1229-1246, issn 0165-0114, 18 p.Conference Paper

ΜMV-algebras : An approach to fixed points in Lukasiewicz logicSPADA, Luca.Fuzzy sets and systems. 2008, Vol 159, Num 10, pp 1260-1267, issn 0165-0114, 8 p.Conference Paper