Papers and Talks
2012

Ł. Kaiser. Learning Games from Videos Guided by Descriptive Complexity. In Proceedings of the 26th Conference on Artificial Intelligence, AAAI12. To appear. AAAI Press, 2012.

Ł. Kaiser and S. Lessenich. A Counting Logic for Structure Transition Systems. In Proceedings of the 21st Annual Conference of the European Association for Computer Science Logic, CSL '12, LIPIcs. Schloss Dagstuhl–LeibnizZentrum für Informatik, 2012.
2011

Ł. Kaiser and Ł. Stafiniak. Translating the Game Description Langauge to Toss. In Proceedings of the 2nd International General Game Playing Workshop, GIGA'11, 2011.

Ł. Kaiser and Ł. Stafiniak. FirstOrder Logic with Counting for General Game Playing. In Proceedings of the 25th AAAI Conference, 2011.
2010

T. Ganzow and Ł. Kaiser. New Algorithm for Weak Monadic SecondOrder Logic on Inductive Structures. In Proceedings of the 19th Annual Conference of the European Association for Computer Science Logic, CSL 2010 (A. Dawar and H. Veith, Eds.), vol. 6247 of Lecture Notes in Computer Science, pp. 366–380. Springer, 2010.

Ł. Kaiser and Ł. Stafiniak. Playing Structure Rewriting Games. In Proceedings of AGI '10. Atlantis Press, 2010.
2009

Ł. Kaiser. Synthesis for Structure Rewriting Systems. In Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS '09, vol. 5734 of LNCS, pp. 415–427. Springer, 2009.
2012 Talk

Toss. Learning and Playing Board Games from the FMT Perspective. In FMT Workshop, Les Houches, 2012 Talk.

Toss. Quantitative Logics on Structure Rewriting Systems. In EPI Contraintes Seminar, INRIA ParisRocquencourt, 2012 Talk.
2011 Talk

Toss. First Order Logic with Counting for General Game Playing. In AAAI11, San Francisco, 2011 Talk.

Toss. Artificial General Game Intelligence. In AGI, Mountain View, 2011 Talk.

Toss. Artificial General Game Intelligence  Poster. In AGI, Mountain View, 2011 Talk.

Toss. First Order Logic with Counting for General Game Playing. In GIGA Workshop, Barcelona, 2011 Talk.
2010 Talk

Toss. Playing Games when States have Rich Structure. In GT Jeux Meeting, Paris, 2010 Talk.

Toss. New Algorithm for Weak Monadic SecondOrder Logic on Inductive Structures. In CSL, Brno, and similar at Games Meeting, Oxford, 2010 Talk.

Toss. Games with Structured States. In LIAFA Seminar, Paris, 2010 Talk.

Toss. Playing General Structure Rewriting Games. In AGI, Lugano, 2010 Talk.
2009 Talk

Toss. Playing Games when States have Rich Structure. In Invited talk at STAR Workshop, Kanpur IIT, India, 2009 Talk.

Toss. Playing Structure Rewriting Games with Formulas on States. In AlgoSyn Seminar, Aachen, 2009 Talk.

Toss. Synthesis for Structure Rewriting Systems. In MFCS, High Tatras, 2009 Talk.

Toss. Structure Rewriting Games. In LSV Seminar (Cachan), and similar at AAL Workshop (Stuttgart), 2009 Talk.

Toss. Analyzing Structure Rewriting Systems. In AlgoSyn Seminar (Aachen), and similar at Automat (Warsaw), 2009 Talk.
2008 Talk

Toss. Games Played with Hypergraphs. In Games Meeting, Warsaw, 2008 Talk.

Toss. Analysis of Hypergraph Rewriting Systems. In ZJP Seminar, Wrocław, 2008 Talk.