We present the agent programming language GTGolog, which integrates explicit agent programming in Golog with gametheoretic multi-agent planning in Markov games. It is a generalizat...
Abstract. Heuristic programming was the first area in which AI methods were tested. The favourite case-studies were fairly simple toyproblems, such as cryptarithmetic, games, such ...
The concept of social dilemmas can be used to understand social situations all around us. I am looking at identity formation to help understand why people make the decisions they ...
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
Kaile Su, Abdul Sattar, Guido Governatori, Qinglia...
"Game AI" is the high-level control code for computer entertainment applications. Games are diverse, and the nature of game AI reflects this diversity. However, game AI,...