Linear-time logics - a coalgebraic perspective.

Corina Cîrstea

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

Keyphrases

expressive power
viewpoint
machine learning
website
multi agent
modal logic
worst case
simple polygon
databases
propositional calculus
multiple perspectives
inference rules
knowledge representation
artificial neural networks
lower bound
case study
computer vision
social networks
genetic algorithm