Game Prolog

Mario R. F. BenevidesRicardo F. Ribeiro

This work proposes a Game Prolog (Modal Action Language), which aims to represent and reasoning about extensive games. A sound SLD resolution method is present. The language is extended with choice, sequential composition, converse and strategy operators. The use of the converse modality is discussed when representing and reason about actions that were performed in the past.

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato:
     Mantida por: