Login / Signup
Canonical Models and the Complexity of Modal Team Logic.
Martin Lück
Published in:
CSL (2018)
Keyphrases
</>
modal logic
experimental data
prior knowledge
computational cost
logic programming
complex systems
data sets
data mining
genetic algorithm
information systems
statistical models
logical framework
nonmonotonic logics
accurate models
asynchronous circuits
explanatory power