Follow
Łukasz Stafiniak
Łukasz Stafiniak
PhD. student, Institute of Computer Science, University of Wrocław
Verified email at ii.uni.wroc.pl
Title
Cited by
Cited by
Year
First-order logic with counting for general game playing
L Kaiser, L Stafiniak
Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 791-796, 2011
122011
Translating the game description language to toss
Ł Kaiser, Ł Stafiniak
Proceedings of the IJCAI-11 Workshop on General Game Playing (GIGA’11), 91-98, 2011
72011
Playing general structure rewriting games
L Kaiser, L Stafiniak
3d Conference on Artificial General Intelligence (AGI-2010), 106-111, 2010
72010
Joint constraint abduction problems
L Stafiniak
UNIF 2011, 15, 2011
32011
GADTs for Reconstruction of Invariants and Postconditions
Ł Stafiniak
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–9