Deriving Syntax and Axioms for Quantitative Regular Behaviours.

Filippo Bonchi Marcello M. Bonsangue Jan J. M. M. Rutten Alexandra Silva

Published in: CONCUR (2009)

Keyphrases

qualitative and quantitative
first order logic
quantitative and qualitative
neural network
machine learning
artificial intelligence
knowledge base
real time
databases
learning algorithm
information systems
decision making
daily activities