A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions.
Domenico CantoneCristiano LongoPublished in: Theor. Comput. Sci. (2014)
Keyphrases
- guarded fragment
- set theory
- first order logic
- expressive power
- satisfiability problem
- propositional logic
- transitive closure
- knowledge representation
- inference rules
- algebraic geometry
- temporal logic
- data complexity
- artificial neural networks
- expert systems
- data analysis
- neural network
- query evaluation
- universally quantified
- image segmentation