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 | 12 | 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 | 7 | 2011 |
Playing general structure rewriting games L Kaiser, L Stafiniak 3d Conference on Artificial General Intelligence (AGI-2010), 106-111, 2010 | 7 | 2010 |
Joint constraint abduction problems L Stafiniak UNIF 2011, 15, 2011 | 3 | 2011 |
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 | | |