Logic and Constraint Logic Programming for Distributed Constraint Optimization.
Tiep LeEnrico PontelliTran Cao SonWilliam YeohPublished in: CoRR (2014)
Keyphrases
- constraint logic programming
- distributed constraint optimization
- logic programming
- proof theoretic
- answer set programming
- constraint solving
- logic programming language
- search algorithm
- logic programs
- constraint programming
- multi agent
- constraint propagation
- knowledge base
- answer sets
- temporal reasoning
- knowledge representation
- global constraints
- constraint satisfaction problems
- programming language
- modal logic
- constraint satisfaction
- partially observable markov decision processes
- np hard
- machine learning