|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sebastian Haufe, Stephan Schiffel, Michael Thielscher |
Automated verification of state sequence invariants in general game playing.  |
Artif. Intell.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Michulke, Stephan Schiffel |
Distance Features for General Game Playing Agents. |
ICAART |
2012 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Haufe, Daniel Michulke, Stephan Schiffel, Michael Thielscher |
Knowledge-Based General Game Playing. |
KI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Schiffel, Michael Thielscher |
Reasoning About General Games Described in GDL-II. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stephan Schiffel |
Symmetry Detection in General Game Playing. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Stephan Schiffel, Michael Thielscher |
Automated Theorem Proving for General Game Playing. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Dengji Zhao, Stephan Schiffel, Michael Thielscher |
Decomposition of Multi-player Games. |
Australasian Conference on Artificial Intelligence |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Conrad Drescher, Stephan Schiffel, Michael Thielscher |
A Declarative Agent Programming Language Based on Action Theories. |
FroCos |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Schiffel, Michael Thielscher |
Specifying Multiagent Environments Systems in the Game Description Language. |
ICAART |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stephan Schiffel, Michael Thielscher, Doan Thu Trang |
An Agent Team Based on FLUX for the ProMAS Contest 2007. |
PROMAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Schiffel, Michael Thielscher |
Fluxplayer: A Successful General Game Player. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Stephan Schiffel, Michael Thielscher |
Multi-Agent FLUX for the Gold Mining Domain (System Description). |
CLIMA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Schiffel, Michael Thielscher |
Reconciling Situation Calculus and Fluent Calculus. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")