Sebastian Haufe

According to our database1, Sebastian Haufe authored at least 7 papers between 2001 and 2014.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

2002
2004
2006
2008
2010
2012
2014
0
1
2
3
4
1
1
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
The role of alpha-rhythm states in perceptual learning: insights from experiments and computational models.
Frontiers Comput. Neurosci., 2014

2012
Automated Theorem Proving for General Game Playing.
PhD thesis, 2012

Automated verification of state sequence invariants in general game playing.
Artif. Intell., 2012

Automated Verification of Epistemic Properties for General Game Playing.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

2011
Knowledge-Based General Game Playing.
Künstliche Intell., 2011

2010
Pushing the Envelope: General Game Players Prove Theorems.
Proceedings of the AI 2010: Advances in Artificial Intelligence, 2010

2001
myContract. de - Document Design online oder individuelle Verträge aus dem Internet.
Proceedings of the Informationsmanagement, 2001


  Loading...