Definability and decidability in infinite algebraic extensions.
Alexandra ShlapentokhCarlos VidelaPublished in: Ann. Pure Appl. Log. (2014)
Keyphrases
- fixed point
- description logics
- propositional logic
- decision procedures
- neural network
- real world
- knowledge base
- database systems
- automata theoretic
- database
- algebraic operators
- argumentation semantics
- finite sets
- finite dimensional
- default theories
- argumentation frameworks
- higher order
- genetic algorithm
- information retrieval
- data sets