Schiffel, Stephan

6 publications

JAIR 2014 Representing and Reasoning About the Rules of General Games with Imperfect Information Stephan Schiffel, Michael Thielscher

AAAI 2011 Reasoning About General Games Described in GDL-II Stephan Schiffel, Michael Thielscher

AAAI 2010 Symmetry Detection in General Game Playing Stephan Schiffel

IJCAI 2009 Automated Theorem Proving for General Game Playing Stephan Schiffel, Michael Thielscher

AAAI 2007 Fluxplayer: A Successful General Game Player Stephan Schiffel, Michael Thielscher

AAAI 2006 Reconciling Situation Calculus and Fluent Calculus Stephan Schiffel, Michael Thielscher