Logic Self Repair.
Christian GalkeRené KotheHeinrich Theodor VierhausPublished in: ARCS Workshops (2006)
Keyphrases
- logic programming
- modal logic
- sound and complete axiomatization
- classical logic
- automated reasoning
- asynchronous circuits
- database
- data mining
- delay insensitive
- data sets
- knowledge base
- multiscale
- artificial intelligence
- genetic algorithm
- information retrieval
- predicate logic
- abductive reasoning
- epistemic logic
- proof theory
- consistent query answering