( en | de | ru )

 

Disambiguierung von "Alenda, Régis"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reasonning about concept similarity in ontologies: a first step

, , und . (2009)submitted.

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.

Régis Cartier

Jean-Marc Régis

Yann Régis-Gianas

Régis Delatouche

Régis Abeille

 

Weitere Publikationen von Autoren mit dem selben Namen

Logique et raisonnement automatique pour la Comparative Concept Similarity. Université de Provence, Aix-Marseille I, (2008)Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models., und . JELIA, Volume 7519 von Lecture Notes in Computer Science, Seite 1-13. Springer, (2012)CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity, , und . Electronic Notes in Theoretical Computer Science, (2010)Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus., , und . TABLEAUX, Volume 5607 von Lecture Notes in Computer Science, Seite 17-31. Springer, (2009)CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces., und . TABLEAUX, Volume 6793 von Lecture Notes in Computer Science, Seite 21-26. Springer, (2011)Reasonning about concept similarity in ontologies: a first step, , und . (2009)submitted.Preferential Semantics for the Logic of Comparative Concepts Similarity, , , und . Topology, Algebra and Category in Logic, (2010)Tableau Calculi for CSL over minspaces, , , und . CSL, Seite 52-66. (2010)Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces., und . LPAR (Yogyakarta), Volume 6397 von Lecture Notes in Computer Science, Seite 52-66. Springer, (2010)Nested Sequent Calculi for Conditional Logics., , und . JELIA, Volume 7519 von Lecture Notes in Computer Science, Seite 14-27. Springer, (2012)