Automated Theorem Proving for General Game Playing

Automated Theorem Proving for General Game Playing

While automated game playing systems like Deep Blue perform excellent within their domain, handling a different game or even a slight change of rules is impossible without intervention of the programmer. Considered a great challenge for Artificial Intelligence, General Game Playing is concerned with...

Full description

Bibliographic Details
Main Author: Haufe, Sebastian
Other Authors: Technische Universität Dresden, Fakultät Informatik
Format: Doctoral Thesis
Language:English
Published: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden 2012
Subjects:
Künstliche Intelligenz
Generelle Spieleprogramme
Automatisches Theorembeweisen
Antwortmengenprogrammierung
Wissensrepräsentation
Artificial Intelligence
General Game Playing
Automated Theorem Proving
Answer Set Programming
Knowledge Representation
ddc:004
rvk:ST 300
rvk:ST 324
Online Access:http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-89998
http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-89998
http://www.qucosa.de/fileadmin/data/qucosa/documents/8999/DissertationSebastianHaufe.pdf

Internet

http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-89998
http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-89998
http://www.qucosa.de/fileadmin/data/qucosa/documents/8999/DissertationSebastianHaufe.pdf

Similar Items