Łukasz Stafiniak
Łukasz Stafiniak
PhD. student, Institute of Computer Science, University of Wrocław
Verified email at ii.uni.wroc.pl
Cited by
Cited by
First-order logic with counting for general game playing
L Kaiser, L Stafiniak
Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
Translating the game description language to toss
Ł Kaiser, Ł Stafiniak
Proceedings of the IJCAI-11 Workshop on General Game Playing (GIGA’11), 91-98, 2011
Playing general structure rewriting games
Ł Kaiser, Ł Stafiniak
Artificial General Intelligence 49, 2010
Joint constraint abduction problems
L Stafiniak
UNIF 2011, 15, 2011
Invariant Inference via GADTs
Ł Stafiniak
Finding GADT Invariants via Abduction
Ł Stafiniak
Constraint Disjunction Elimination Problems
Ł Stafiniak
A GADT System for Invariant Inference
Ł Stafiniak
The system can't perform the operation now. Try again later.
Articles 1–8