Special issue on automated deduction: Decidability, complexity, tractability.
Silvio GhilardiViorica Sofronie-StokkermansUlrike SattlerAshish TiwariPublished in: J. Symb. Comput. (2010)
Keyphrases
- special issue
- automated deduction
- theorem proving
- computational complexity
- ai edam
- ecml pkdd
- international journal
- theorem prover
- applied intelligence
- decision procedures
- inference rules
- special section
- tractable cases
- artificial intelligence
- deductive databases
- logic programming
- online learning
- description logics
- general purpose
- e learning