Conflict-driven ASP solving with external sources.
Thomas EiterMichael FinkThomas KrennwallnerChristoph RedlPublished in: Theory Pract. Log. Program. (2012)
Keyphrases
- web applications
- answer set programming
- data driven
- information systems
- timetabling problem
- conflict resolution
- combinatorial optimization
- relational databases
- resource constrained project scheduling problem
- neural network
- multiresolution
- natural language
- learning environment
- multi agent
- high level
- e learning
- artificial intelligence