Modal Tableau Systems with Blocking and Congruence Closure.
Renate A. SchmidtUwe WaldmannPublished in: TABLEAUX (2015)
Keyphrases
- expert systems
- computer systems
- management system
- information technology
- systems require
- real time
- computing systems
- knowledge based systems
- distributed systems
- artificial neural networks
- multi agent
- multiscale
- database systems
- clustering algorithm
- metadata
- information systems
- genetic algorithm
- information retrieval