Strict coherence of conditional rewriting modulo axioms.
José MeseguerPublished in: Theor. Comput. Sci. (2017)
Keyphrases
- random field model
- nonmonotonic inference
- rewriting rules
- rewrite rules
- knowledge base
- conjunctive queries
- query rewriting
- neural network
- multiscale
- conditional probabilities
- default reasoning from conditional knowledge bases
- real time
- action theories
- random fields
- probability distribution
- database systems
- learning algorithm
- information retrieval
- databases
- data sets