Sebastian Haufe

According to our database, Sebastian Haufe authored at least 6 papers between 2010 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

The role of alpha-rhythm states in perceptual learning: insights from experiments and computational models.

Rodrigo Sigala, Sebastian Haufe, Dipanjan Roy, Hubert R. Dinse, Petra Ritter

Frontiers Comput. Neurosci., 2014

2012

Automated Theorem Proving for General Game Playing.

Sebastian Haufe

PhD thesis, 2012

Automated verification of state sequence invariants in general game playing.

Sebastian Haufe, Stephan Schiffel, Michael Thielscher

Artif. Intell., 2012

Automated Verification of Epistemic Properties for General Game Playing.

Sebastian Haufe, Michael Thielscher

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

2011

Knowledge-Based General Game Playing.

Sebastian Haufe, Daniel Michulke, Stephan Schiffel, Michael Thielscher

Künstliche Intell., 2011

2010

Pushing the Envelope: General Game Players Prove Theorems.

Sebastian Haufe, Michael Thielscher

Proceedings of the AI 2010: Advances in Artificial Intelligence, 2010