Ł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
Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
82011
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), 2010
72010
Joint constraint abduction problems
L Stafiniak
UNIF 2011, 15, 2011
32011
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