Ann Lillieström
Gästforskare vid
Chalmers, Data- och informationsteknik, Funktionell programmering
Visar 6 publikationer
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 i proceeding
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 i proceeding
2011
Automated Inference of Finite Unsatisfiability
Koen Lindström Claessen, Ann Lillieström
Journal of Automated Reasoning. Vol. 47 (2), p. 111-132
Artikel i vetenskaplig tidskrift
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 i proceeding
Det finns inga projekt att visa.
Det kan finnas fler projekt där Ann Lillieström medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.