Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings.
Davide BresolinValentin GorankoAngelo MontanariPietro SalaPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- description logics
- proof procedure
- automated theorem proving
- computational properties
- propositional variables
- proof search
- theorem proving
- classical logic
- automated reasoning
- neural network
- logic programming
- machine learning
- probability theory
- modal logic
- natural language
- video sequences
- three dimensional
- proof theory
- genetic algorithm