PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Mossakowski, Till"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
What Is a Derived Signature Morphism?

, , und . WADT, Volume 9463 von Lecture Notes in Computer Science, Seite 90-109. Springer, (2014)

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.

Pascal Tilli University of Stuttgart

HNC : Leveraging Hard Negative Captions towards Models with Fine-Grained Visual-Linguistic Comprehension Capabilities, , , , und . Proceedings of the 27th Conference on Computational Natural Language Learning (CoNLL), Seite 364-388. Association For Computational Linguistics, (2023)
HNC : Leveraging Hard Negative Captions towards Models with Fine-Grained Visual-Linguistic Comprehension Capabilities, , , , und . Proceedings of the 27th Conference on Computational Natural Language Learning (CoNLL), Seite 364-388. Association For Computational Linguistics, (2023)Intrinsic Subgraph Generation for Interpretable Graph Based Visual Question Answering, und . Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING 2024), Seite 9204-9223. ELRA And ICCL, (2024)

Till Obermüller University of Stuttgart

Till Kugler University of Stuttgart

Till Böhm University of Stuttgart

Till Hielscher University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Three Semantics for the Core of the Distributed Ontology Language., , und . FOIS, Volume 239 von Frontiers in Artificial Intelligence and Applications, Seite 337-352. IOS Press, (2012)Heterogeneous verification in the context of model driven engineering., , und . Sci. Comput. Program., (2016)On Inconsistency and Unsatisfiability., und . Int. J. Software and Informatics, 9 (2): 141-152 (2015)Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables., , und . FLAIRS Conference, Seite 665-670. AAAI Press, (2007)Monad-independent Dynamic Logic in HasCasl., und . J. Log. Comput., 14 (4): 571-619 (2004)Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules: Decidable finite extension classes., , , und . Semantic Web, 7 (1): 25-61 (2016)The Institution-Theoretic Scope of Logic Theorems., , und . Logica Universalis, 8 (3-4): 393-406 (2014)A Survey of Qualitative Spatial and Temporal Calculi - Algebraic and Computational Properties., , , , , , und . CoRR, (2016)Modular Semantics and Characteristics for Bipolar Weighted Argumentation Graphs., und . CoRR, (2018)Amalgamation in the semantics of CASL., , , , und . Theor. Comput. Sci., 331 (1): 215-247 (2005)