DLV - A System for Declarative Problem Solving
Thomas EiterWolfgang FaberChristoph KochNicola LeoneGerald PfeiferPublished in: CoRR (2000)
Keyphrases
- declarative knowledge
- artificial intelligence
- disjunctive logic programming
- answer set programming
- case based reasoning
- procedural knowledge
- complex problem solving
- solving problems
- information processing
- knowledge representation
- answer sets
- explanation based learning
- knowledge level
- knowledge acquisition
- high level
- case based reasoning systems
- control knowledge
- analogical reasoning
- ai systems
- engineering design
- distributed problem solving
- declarative language
- distributed artificial intelligence
- hierarchical problem solving