Sebastian Haufe

Publication Activity (10 Years)

Years Active: 2001-2014
Publications (10 Years): 0

Top Topics

Social Learning

Learning Systems

Artificial Intelligence

Computational Models

Top Venues

Frontiers Comput. Neurosci.

Dresden University of Technology (PHD)

Education History

Dresden University of Technology

PHD

Publications

Rodrigo Sigala, Sebastian Haufe, Dipanjan Roy, Hubert R. Dinse, Petra Ritter
The role of alpha-rhythm states in perceptual learning: insights from experiments and computational models. Frontiers Comput. Neurosci. 8 (2014)
Sebastian Haufe, Michael Thielscher
Automated Verification of Epistemic Properties for General Game Playing. KR (2012)
Sebastian Haufe, Stephan Schiffel, Michael Thielscher
Automated verification of state sequence invariants in general game playing. Artif. Intell. 187 (2012)
Sebastian Haufe, Daniel Michulke, Stephan Schiffel, Michael Thielscher
Knowledge-Based General Game Playing. Künstliche Intell. 25 (1) (2011)
Sebastian Haufe, Michael Thielscher
Pushing the Envelope: General Game Players Prove Theorems. Australasian Conference on Artificial Intelligence (2010)
Peter Bellmann, Sebastian Gottschall, Sebastian Haufe, Jürgen Schwarz
myContract. de - Document Design online oder individuelle Verträge aus dem Internet. Liechtensteinisches Wirtschaftsinformatik-Symposium (2001)