Login / Signup
MsATL: A Tool for SAT-Based ATL Satisfiability Checking.
Artur Niewiadomski
Magdalena Kacprzak
Damian Kurpiewski
Michal Knapik
Wojciech Penczek
Wojciech Jamroga
Published in:
AAMAS (2020)
Keyphrases
</>
neural network
version space
genetic algorithm
multi agent
multi agent systems
answer set programming
constraint solver
web services
case study
reinforcement learning
np hard
knowledge representation
domain specific