Hyper Strategy Logic.

Raven Beutner Bernd Finkbeiner

Published in: AAMAS (2024)

Keyphrases

neural network
modal logic
database
databases
logic programming
multi valued
classical logic
data sets
feature selection
decision trees
similarity measure
data structure
artificial neural networks
knowledge representation
automated reasoning
formal theory