Reasoning on Schemas of Formulas: An Automata-Based Approach.
Nicolas PeltierPublished in: LATA (2015)
Keyphrases
- reasoning systems
- knowledge base
- cellular automata
- databases
- knowledge representation
- data integration
- finite automata
- probabilistic automata
- logical formulas
- spatial reasoning
- finite state
- finite state machines
- regular expressions
- qualitative reasoning
- schema matching
- knowledge representation and reasoning
- markov chain
- predicate calculus
- data management
- metadata