Codability and Robustness in Formal Natural Language Semantics. - Kristina Liefke (JSAI-isAI Workshops, 2014)

A single-type logic for natural language. - Kristina Liefke (J. Log. Comput., 2015)

Rich Situated Attitudes. - Kristina Liefke; Mark Bowker (JSAI-isAI Workshops, 2016)

A Computable Solution to Partee's Temperature Puzzle. - Kristina Liefke; Sam Sanders (LACL, 2016)

Relating Intensional Semantic Theories: Established Methods and Surprising Results. - Kristina Liefke (JSAI-isAI Workshops, 2017)

Intertheoretic Reduction, Confirmation, and Montague's Syntax-Semantics Relation. - Kristina Liefke; Stephan Hartmann 001 (J. Log. Lang. Inf., 2018)

Evidence for Single-Type Semantics - An Alternative To |$e$|/|$t$|-Based Dual-Type Semantics. - Kristina Liefke; Markus Werning (J. Semant., 2018)

Reasoning with an (Experiential) Attitude. - Kristina Liefke (JSAI-isAI Workshops, 2019)

A Case for Property-Type Semantics. - Kristina Liefke (WoLLIC, 2019)

Experiential Imagination and the Inside/Outside-Distinction. - Kristina Liefke; Markus Werning (JSAI-isAI Workshops, 2020)

Remembering Individuals and Remembering Scenes. - Kristina Liefke (JSAI-isAI Workshops, 2021)

Factivity Variation in Episodic Memory Reports. - Kristina Liefke; Markus Werning (JSAI-isAI Workshops, 2021)

Perspective and the Self in Experiential Attitude Reports. - Kristina Liefke (LENLS, 2023)