Themulus: A Timed Contract-calculus.
Alberto Aranda GarcíaMaría-Emilia CambroneroChristian ColomboLuis LlanaGordon J. PacePublished in: MODELSWARD (2020)
Keyphrases
- timed automata
- model checking
- petri net
- supply chain
- automated deduction
- knowledge base
- discrete event
- relational databases
- finite state machines
- real world
- first order logic
- neural network
- theorem prover
- contract net protocol
- algebraic structure
- markov chain
- database query languages
- database
- search algorithm
- bayesian networks
- website
- information retrieval
- machine learning
- data sets