TATL: Implementation of ATL Tableau-Based Decision Procedure.

Published in: TABLEAUX (2013)

Keyphrases

implementation details
multi agent systems
decision making
model checking
decision makers
databases
computer vision
temporal logic
data structure
decision problems
description logics
iterative procedure
data sets
decision rules
knowledge representation
lower bound
case study
website
feature selection