Decidability of Equivalence of Symbolic Derivations.
Yannick ChevalierMichaël RusinowitchPublished in: J. Autom. Reason. (2012)
Keyphrases
- query containment
- description logics
- query answering
- symbolic representation
- neural learning
- high level
- conjunctive queries
- inference rules
- interactive dynamic influence diagrams
- type checking
- artificial neural networks
- databases
- datalog programs
- decision procedures
- social networks
- symbolic data
- search engine
- information retrieval
- connectionist learning
- associative learning
- real world