|
Eine Ebene nach oben |
Gruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Anzahl der Publikationen: 9
2018
Liefke, Kristina und Hartmann, Stephan
(2018):
Intertheoretic Reduction, Confirmation, and Montague's Syntax-Semantics Relation.
In: Journal of Logic Language and Information, Bd. 27, Nr. 4: S. 313-341
2016
Liefke, Kristina und Sanders, Sam
(2016):
A Computable Solution to Partee's Temperature Puzzle.
In: Li, Yanyan (Hrsg.):
State-of-the-Art and Future Directions of Smart Learning. Singapore: Springer. S. 175-190
2015
Liefke, Kristina
(2015):
Codability and Robustness in Formal Natural Language Semantics.
In: Lecture Notes in Artificial Intelligence
2014
Liefke, Kristina und Hartmann, Stephan
(Juli 2014):
Montague Reduction, Confirmation, and the Syntax-Semantics Relation.
Liefke, Kristina
(Juli 2014):
Solving Partee’s Temperature Puzzle in an EFL-Ontology.
Second Workshop on Natural Language and Computer Science & First International Workshop on Natural Language Services for Reasoners, Vienna, Austria, July 17-18.
de Paiva, Valeria; Neuper, Walther; Quaresma, Pedro; Retoré, Christian; Moss, Lawrence und Saludes, Jordi (Hrsg.):
In: Joint Proceedings of the Second Workshop on Natural Language and Computer Science (NLCS’14) & 1st International Workshop on Natural Language Services for Reasoners (NLSR 2014),
S. 7-18
Liefke, Kristina
(2014):
A Single-Type Semantics for Natural Language.
Dissertation,
Tilburg University: Center for Logic and Philosophy of Science
2013
Liefke, Kristina
(September 2013):
A Single-Type Semantics for the PTQ*-Fragment.
Sinn und Bedeutung 18, Vitoria-Gasteiz, Basque, September 11-13.
Etxeberria, Urtzi; Fălăuș, Anamaria; Irurtzun, Aritz und Leferman, Bryan (Hrsg.):
In: Proceedings of Sinn und Bedeutung 18,
S. 253-270
Liefke, Kristina
(2013):
A Single-type Logic for Natural Language.
In: Journal of Logic and Computation
2012
Liefke, Kristina
(2012):
A Single-Type Ontology for Natural Language.
GAP.8, Konstanz, 17.–20. 9. 2012.