First-Order Logic with Counting for General Game Playing.
Lukasz KaiserLukasz StafiniakPublished in: AAAI (2011)
Keyphrases
- first order logic
- general game playing
- game playing
- expressive power
- propositional logic
- evaluation function
- game players
- inductive logic programming
- inference rules
- theorem proving
- markov networks
- knowledge representation
- probabilistic reasoning
- transitive closure
- game tree search
- probabilistic graphical models
- theorem prover
- markov logic networks
- logical rules
- representation language
- horn clauses
- artificial intelligence
- expert systems