Ann Lillieström

Showing 6 publications

2019

Inferring Morphological Rules from Small Examples using 0/1 Linear Programming

Ann Lillieström, Koen Claessen, Nicholas Smallbone
22nd Nordic Conference on Computational Linguistics (NoDaLiDa), p. 164-174
Paper in proceedings
2019

Extending the Automated Reasoning Toolbox

Ann Lillieström
Doctoral thesis
2016

Handling common transitive relations in first-order automated reasoning

Koen Lindström Claessen, Ann Lillieström
CEUR Workshop Proceedings. Vol. 1635, p. 11-23
Paper in proceedings
2015

Extending the Automated Reasoning Toolbox

Ann Lillieström
Licentiate thesis
2011

Automated Inference of Finite Unsatisfiability

Koen Lindström Claessen, Ann Lillieström
Journal of Automated Reasoning. Vol. 47 (2), p. 111-132
Journal article
2011

Sort it out with monotonicity: translating between many-sorted and unsorted first-order logic

Koen Lindström Claessen, Ann Lillieström, Nicholas Smallbone
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), p. 207-221
Paper in proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

There are no projects.
There might be more projects where Ann Lillieström participates, but you have to be logged in as a Chalmers employee to see them.