A Tableau Calculus for Equilibrium Entailment.

David Pearce Inman P. de Guzmán Agustín Valverde

Published in: TABLEAUX (2000)

Keyphrases

tableau calculus
description logics
knowledge base
nash equilibrium
game theory
minimal models
artificial intelligence
machine learning
knowledge representation
integrity constraints