( en | de | ru )

 

Disambiguierung von "Pratt-Hartmann, Ian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Do Natural Language Explanations Represent Valid Logical Arguments? Verifying Entailment in Explainable NLI Gold Standards.

, , und . CoRR, (2021)

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.

Nadine Pratt

Karen Pratt

Max Iann

Gheorghe Iancu

Nadia Ianeva

 

Weitere Publikationen von Autoren mit dem selben Namen

Graph-Induced Syntactic-Semantic Spaces in Transformer-Based Variational AutoEncoders., , , , und . CoRR, (2023)Conditionalization and total knowledge.. J. Appl. Non Class. Logics, 18 (2-3): 247-266 (2008)A Topological Constraint Language with Component Counting.. J. Appl. Non Class. Logics, 12 (3-4): 441-468 (2002)From TimeML to TPL.. Annotating, Extracting and Reasoning about Time and Events, Volume 05151 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)Fluted Logic with Counting.. ICALP, Volume 198 von LIPIcs, Seite 141:1-141:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Improving Semantic Control in Discrete Latent Spaces with Transformer Quantized Variational Autoencoders., , , , und . EACL (Findings), Seite 1434-1450. Association for Computational Linguistics, (2024)Not all quantifiers are equal: Probing Transformer-based language models' understanding of generalised quantifiers., , , , und . EMNLP, Seite 8680-8692. Association for Computational Linguistics, (2023)Complexity of the Guarded Two-variable Fragment with Counting Quantifiers.. J. Log. Comput., 17 (1): 133-155 (2007)Two-variable First-Order Logic with Counting in Forests., , , und . LPAR, Volume 57 von EPiC Series in Computing, Seite 214-232. EasyChair, (2018)On the Limits of Decision: the Adjacent Fragment of First-Order Logic., , und . ICALP, Volume 261 von LIPIcs, Seite 111:1-111:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)