Sara L. Uckelman

24 papers B 5C 1Misc 2Journal 11Unranked 5
YearRankTypeTitle / Venue / Authors
2024 conf
NAACL-HLT (Findings)
Mingyue Liu, Jonathan Frawley, Sarah Wyer, Hubert P. H. Shum, Sara L. Uckelman, Sue Black, Chris G. Willcocks
2022 J jnl
Australas. J. Log.
Sara L. Uckelman
2021 J jnl
Notre Dame J. Formal Log.
Sara L. Uckelman
2020 B conf
AiML
Sara L. Uckelman
2018 J jnl
J. Exp. Theor. Artif. Intell.
Tarek Richard Besold, Sara L. Uckelman
2018 J jnl
CoRR
Tarek R. Besold, Sara L. Uckelman
2016 J jnl
Stud Logica
Sara L. Uckelman
2016 B conf
Advances in Modal Logic
Sara L. Uckelman
2015 J jnl
Synth.
Sara L. Uckelman
2014 J jnl
J. Philos. Log.
Sara L. Uckelman, Jesse Alama, Aleks Knoks
2014 B conf
Advances in Modal Logic
Sara L. Uckelman
2012 J jnl
Synth.
Sara L. Uckelman
2012 J jnl
Synth.
Sara L. Uckelman
2011 J jnl
J. Appl. Non Class. Logics
Sara L. Uckelman
2011 conf
TABLEAUX (Workshops, Tutorials, and Short Papers)
Jesse Alama, Aleks Knoks, Sara L. Uckelman
2010 B conf
Advances in Modal Logic
Sara L. Uckelman, Spencer Johnston
2010 C conf
CiE
Sara L. Uckelman
2010 J jnl
J. Philos. Log.
Sara L. Uckelman
2010 conf
STAIRS
Sara L. Uckelman
2010 conf
LPAR short papers(Yogyakarta)
Jesse Alama, Sara L. Uckelman
2010 conf
LPAR short papers(Yogyakarta)
Jesse Alama, Sara L. Uckelman
2008 Misc conf
ICCS
Peter Øhrstrøm, Henrik Schärfe, Sara L. Uckelman
2008 B conf
Advances in Modal Logic
Sara L. Uckelman
2007 Misc conf
ICCS
Peter Øhrstrøm, Sara L. Uckelman, Henrik Schärfe