( en | de | ru )

 

Disambiguierung von "Domenico, Andrea De"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Non-distributive Description Logic.

, , , , , und . TABLEAUX, Volume 14278 von Lecture Notes in Computer Science, Seite 49-69. Springer, (2023)

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.

Domenico Laurendi

Domenico Lupo

Domenico Castrigiano

Domenico Pavone

Domenico Tamburro

 

Weitere Publikationen von Autoren mit dem selben Namen

A Quadratic Reduction of Constraints over Nested Sets to Purely Boolean Formulae in CNF., , , und . CILC, Volume 2710 von CEUR Workshop Proceedings, Seite 214-230. CEUR-WS.org, (2020)Algorithmic correspondence and analytic rules., und . AiML, Seite 371-389. College Publications, (2022)Description Logic for Rough Concepts., , und . IJCRS (1), Volume 14839 von Lecture Notes in Computer Science, Seite 67-89. Springer, (2024)The Decision Problem for Undirected Graphs with Reachability and Acyclicity., , und . CiE, Volume 14773 von Lecture Notes in Computer Science, Seite 431-446. Springer, (2024)A Meta-Learning Algorithm for Interrogative Agendas., , , und . CoRR, (2023)Labelled Calculi for Lattice-Based Modal Logics., , , , , und . ICLA, Volume 13963 von Lecture Notes in Computer Science, Seite 23-47. Springer, (2023)Polynomial-Time Satisfiability Tests for Boolean Fragments of Set Theory., , , und . CILC, Volume 2396 von CEUR Workshop Proceedings, Seite 123-137. CEUR-WS.org, (2019)SeSaR: Security for Safety., , , , , , und . CISIS, Volume 53 von Advances in Soft Computing, Seite 116-122. Springer, (2008)Non-distributive Description Logic., , , , , und . TABLEAUX, Volume 14278 von Lecture Notes in Computer Science, Seite 49-69. Springer, (2023)Subordination Algebras as Semantic Environment of Input/Output Logic., , , , , und . WoLLIC, Volume 13468 von Lecture Notes in Computer Science, Seite 326-343. Springer, (2022)