Canonical Models and the Complexity of Modal Team Logic.

Published in: Log. Methods Comput. Sci. (2019)

Keyphrases

modal logic
probabilistic model
statistical models
statistical model
computational cost
real time
mathematical models
complex systems
worst case
logic programming
mobile robot
experimental data
case study
decision problems
knowledge base
database
nonmonotonic logics
accurate models