( en | de | ru )

 

Disambiguierung von "Pratt-Hartmann, Ian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Two-variable First-Order Logic with Counting in Forests.

, , , und . LPAR, Volume 57 von EPiC Series in Computing, Seite 214-232. EasyChair, (2018)

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

Gheorghe Iancu

Nadia Ianeva

Enrico Iannone

 

Weitere Publikationen von Autoren mit dem selben Namen

The Syllogistic with Unity. CoRR, (2011)Functions Definable by Numerical Set-Expressions, und . CoRR, (2009)Graph-Induced Syntactic-Semantic Spaces in Transformer-Based Variational AutoEncoders., , , , und . CoRR, (2023)LlaMaVAE: Guiding Large Language Model Generation via Continuous Latent Sentence Spaces., , , und . CoRR, (2023)A Topological Constraint Language with Component Counting.. J. Appl. Non Class. Logics, 12 (3-4): 441-468 (2002)Conditionalization and total knowledge.. J. Appl. Non Class. Logics, 18 (2-3): 247-266 (2008)Two-Variable First-Order Logic with Equivalence Closure., , , und . SIAM J. Comput., 43 (3): 1012-1063 (2014)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)Improving Semantic Control in Discrete Latent Spaces with Transformer Quantized Variational Autoencoders., , , , und . EACL (Findings), Seite 1434-1450. Association for Computational Linguistics, (2024)Fluted Logic with Counting.. ICALP, Volume 198 von LIPIcs, Seite 141:1-141:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)