Natasha Kurtonina

11 papers Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2009 — conf
Relational Semantics for the Lambek-Grishin Calculus.
MOL
Natasha Kurtonina, Michael Moortgat
2000 J jnl
Handbook of Logic and Language, Johan van Benthem and Alice ter Meulen, eds.
J. Log. Lang. Inf.
Natasha Kurtonina
1999 J jnl
Embedding and Interpolation for some Paralogics. The Propositional Case.
Reports Math. Log.
Diderik Batens, Kristof de Clercq, Natasha Kurtonina
1999 J jnl
Expressiveness of Concept Expressions in First-Order Description Logics.
Artif. Intell.
Natasha Kurtonina, Maarten de Rijke
1998 — conf
An LTAG Perspective on Categorial Inference.
LACL
Aravind K. Joshi, Seth Kulick, Natasha Kurtonina
1998 J jnl
Categorial Inference and Modal Logic.
J. Log. Lang. Inf.
Natasha Kurtonina
1998 — conf
Partial proof trees and structural modalities.
TAG+
Aravind K. Joshi, Seth Kulick, Natasha Kurtonina
1997 J jnl
Bisimulations for Temporal Logic.
J. Log. Lang. Inf.
Natasha Kurtonina, Maarten de Rijke
1997 — conf
Classifying Description Logics.
Description Logics
Natasha Kurtonina, Maarten de Rijke
1997 J jnl
Simulating Without Negation.
J. Log. Comput.
Natasha Kurtonina, Maarten de Rijke
1995 J jnl
Talking about Explicit Databases in Categorial Grammar.
Log. J. IGPL
Natasha Kurtonina
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling