Open AccessFirst-Order Logic with Counting for General Game Playing
Author(s) -
Łukasz Kaiser,
Łukasz Stafiniak
Publication year - 2011
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v25i1.7949
Subject(s) - datalog , computer science , heuristics , rewriting , formalism (music) , exploit , combinatorial game theory , recursion (computer science) , theoretical computer science , sequential game , programming language , game theory , mathematical economics , mathematics , art , musical , computer security , visual arts , operating system