Ann Lillieström

According to our database, Ann Lillieström authored at least 5 papers between 2011 and 2021.

Collaborative distances:

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

2021

Handling Transitive Relations in First-Order Automated Reasoning.

Koen Claessen, Ann Lillieström

J. Autom. Reason., 2021

2019

Inferring morphological rules from small examples using 0/1 linear programming.

Ann Lillieström, Koen Claessen, Nicholas Smallbone

Proceedings of the 22nd Nordic Conference on Computational Linguistics, NoDaLiDa 2019, Turku, Finland, September 30, 2019

2016

Alternative Treatments of Common Binary Relations in First-order Automated Reasoning.

Koen Claessen, Ann Lillieström

Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), 2016

2011

Automated Inference of Finite Unsatisfiability.

Koen Claessen, Ann Lillieström

J. Autom. Reason., 2011

Sort It Out with Monotonicity - Translating between Many-Sorted and Unsorted First-Order Logic.

Koen Claessen, Ann Lillieström, Nicholas Smallbone

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011