Problem solving in ID-logic with aggregates: some experiments
Bert Van NuffelenMarc DeneckerPublished in: CoRR (2000)
Keyphrases
- case based reasoning
- logic programming
- artificial intelligence
- classical logic
- explanation based learning
- distributed problem solving
- multi valued
- information processing
- modal logic
- data sets
- complex problem solving
- control knowledge
- solving problems
- expert systems
- data streams
- database
- automated reasoning
- logical framework
- cooperative
- ai systems
- analogical reasoning
- digital circuits
- predicate logic
- neural network
- linear logic
- general intelligence
- proof theory