Sequents vs Hypersequents for Åqvist Systems.

Agata Ciabattoni Matteo Tesi

Published in: IJCAR (2) (2024)

Keyphrases

management system
knowledge based systems
linear logic
complex systems
data sets
databases
neural network
machine learning
artificial intelligence
decision trees
distributed systems
learning systems