Autor der Publikation

Decomposing Ordinal Sums in Neural Multi-adjoint Logic Programs.

, , und . IBERAMIA, Volume 3315 von Lecture Notes in Computer Science, Seite 717-726. Springer, (2004)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Implicates and reduction techniques for temporal logics., , und . Ann. Math. Artif. Intell., 27 (1-4): 3-23 (1999)Towards relational fuzzy adjunctions., , und . FUZZ-IEEE, Seite 1-5. IEEE, (2017)Similarities between powersets of terms., , , , und . Fuzzy Sets Syst., 144 (1): 213-225 (2004)Computing Left-Minimal Direct Basis of implications., , , und . CLA, Volume 1062 von CEUR Workshop Proceedings, Seite 293-298. CEUR-WS.org, (2013)On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence., , und . WILF, Volume 6857 von Lecture Notes in Computer Science, Seite 115-122. Springer, (2011)TAS-D++ vs tablas semanticas., , , und . GULP-PRODE (2), Seite 438-439. (1994)A Tabulation Proof Procedure for First-order Residuated Logic Programs: Soundness, Completeness and Optimizations., , und . FUZZ-IEEE, Seite 2004-2011. IEEE, (2006)A note on partially ordered generalized terms., , , , , und . EUSFLAT Conf., Seite 793-796. Universidad Polytecnica de Catalunya, (2005)On the Representation Theorem of Multi-Adjoint Concept Lattices., und . IFSA/EUSFLAT Conf., Seite 1091-1095. (2009)Multi-adjoint Logic Programming with Continuous Semantics., , und . LPNMR, Volume 2173 von Lecture Notes in Computer Science, Seite 351-364. Springer, (2001)