Modular Termination and Combinability for Superposition Modulo Counter Arithmetic.
Christophe RingeissenValerio SenniPublished in: TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Keyphrases
- term rewriting
- theorem proving
- modular structure
- information retrieval
- arithmetic operations
- floating point
- special case
- objective function
- modular neural networks
- termination analysis
- expert systems
- real time
- three dimensional
- image processing
- decision making
- computer vision
- artificial intelligence
- genetic algorithm
- data sets