Kristina Liefke

According to our database, Kristina Liefke authored at least 12 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2021

Factivity Variation in Episodic Memory Reports.

Kristina Liefke, Markus Werning

Proceedings of the New Frontiers in Artificial Intelligence, 2021

Remembering Individuals and Remembering Scenes.

Kristina Liefke

Proceedings of the New Frontiers in Artificial Intelligence, 2021

2020

Experiential Imagination and the Inside/Outside-Distinction.

Kristina Liefke, Markus Werning

Proceedings of the New Frontiers in Artificial Intelligence, 2020

2019

A Case for Property-Type Semantics.

Kristina Liefke

Proceedings of the Logic, Language, Information, and Computation, 2019

Reasoning with an (Experiential) Attitude.

Kristina Liefke

Proceedings of the New Frontiers in Artificial Intelligence, 2019

2018

Evidence for Single-Type Semantics - An Alternative To |$e$|/|$t$|-Based Dual-Type Semantics.

Kristina Liefke, Markus Werning

J. Semant., 2018

Intertheoretic Reduction, Confirmation, and Montague's Syntax-Semantics Relation.

Kristina Liefke, Stephan Hartmann

J. Log. Lang. Inf., 2018

2017

Relating Intensional Semantic Theories: Established Methods and Surprising Results.

Kristina Liefke

Proceedings of the New Frontiers in Artificial Intelligence, 2017

2016

A Computable Solution to Partee's Temperature Puzzle.

Kristina Liefke, Sam Sanders

Proceedings of the Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016), 2016

Rich Situated Attitudes.

Kristina Liefke, Mark Bowker

Proceedings of the New Frontiers in Artificial Intelligence, 2016

2015

A single-type logic for natural language.

Kristina Liefke

J. Log. Comput., 2015

2014

Codability and Robustness in Formal Natural Language Semantics.

Kristina Liefke

Proceedings of the New Frontiers in Artificial Intelligence, 2014