Sara L. Uckelman

According to our database, Sara L. Uckelman authored at least 23 papers between 2007 and 2024.

Collaborative distances:

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

2024

Self-Regulated Sample Diversity in Large Language Models.

Mingyue Liu, Jonathan Frawley, Sarah Wyer, Hubert P. H. Shum, Sara L. Uckelman, Sue Black, Chris G. Willcocks

Proceedings of the Findings of the Association for Computational Linguistics: NAACL 2024, 2024

2021

What Problem Did Ladd-Franklin (Think She) Solve(d)?

Sara L. Uckelman

Notre Dame J. Formal Log., 2021

2020

William of Sherwood on Necessity and Contingency.

Sara L. Uckelman

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2018

Normative and descriptive rationality: from nature to artifice and back.

Tarek Richard Besold, Sara L. Uckelman

J. Exp. Theor. Artif. Intell., 2018

The What, the Why, and the How of Artificial Explanations in Automated Decision-Making.

Tarek R. Besold, Sara L. Uckelman

CoRR, 2018

2016

Book Review: Jean Buridan, Treatise on Consequences.

Sara L. Uckelman

Stud Logica, 2016

The Logic of Where and While in the 13th and 14th Centuries.

Sara L. Uckelman

Proceedings of the Advances in Modal Logic 11, 2016

2015

The logic of categorematic and syncategorematic infinity.

Sara L. Uckelman

Synth., 2015

2014

A Curious Dialogical Logic and its Composition Problem.

Sara L. Uckelman, Jesse Alama, Aleks Knoks

J. Philos. Log., 2014

Reasoning About Obligations in Obligationes: A Formal Approach.

Sara L. Uckelman

Proceedings of the Advances in Modal Logic 10, 2014

2012

Prior on an insolubilium of Jean Buridan.

Sara L. Uckelman

Synth., 2012

Arthur Prior and medieval logic.

Sara L. Uckelman

Synth., 2012

2011

Deceit and indefeasible knowledge: the case of dubitatio.

Sara L. Uckelman

J. Appl. Non Class. Logics, 2011

Dialogue Games for Classical Logic.

Jesse Alama, Aleks Knoks, Sara L. Uckelman

Proceedings of the TABLEAUX 2011, 2011

2010

Logic and the Condemnations of 1277.

Sara L. Uckelman

J. Philos. Log., 2010

Obligationes as Formal Dialogue Systems.

Sara L. Uckelman

Proceedings of the STAIRS 2010, 2010

Playing Lorenzen Dialogue Games on the Web.

Jesse Alama, Sara L. Uckelman

Proceedings of the Short papers for 17th International Conference on Logic for Programming, 2010

Proof rules for the dialogical logic N.

Jesse Alama, Sara L. Uckelman

Proceedings of the Short papers for 17th International Conference on Logic for Programming, 2010

Computing with Concepts, Computing with Numbers: Llull, Leibniz, and Boole.

Sara L. Uckelman

Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010

A Simple Semantics for Aristotelian Apodeictic Syllogistics.

Sara L. Uckelman, Spencer Johnston

Proceedings of the Advances in Modal Logic 8, 2010

2008

Jacob Lorhard's Ontology: A 17th Century Hypertext on the Reality and Temporality of the World of Intelligibles.

Peter Øhrstrøm, Henrik Schärfe, Sara L. Uckelman

Proceedings of the Conceptual Structures: Knowledge Visualization and Reasoning, 2008

Three 13th-century views of quantified modal logic.

Sara L. Uckelman

Proceedings of the Advances in Modal Logic 7, 2008

2007

Historical and Conceptual Foundation of Diagrammatical Ontology.

Peter Øhrstrøm, Sara L. Uckelman, Henrik Schärfe

Proceedings of the Conceptual Structures: Knowledge Architectures for Smart Applications, 2007