Coaxioms: flexible coinductive definitions by inference systems.
Francesco DagninoPublished in: Log. Methods Comput. Sci. (2019)
Keyphrases
- distributed systems
- systems require
- machine learning
- probabilistic inference
- knowledge based systems
- database
- search algorithm
- management system
- multiscale
- bayesian inference
- retrieval systems
- intelligent systems
- bayesian networks
- clustering algorithm
- web services
- web pages
- artificial intelligence
- databases
- data sets