WLP 2000, 15th Workshop on Logic Programming and Constraint Systems, Collocated ECAI 2000 Workshop, Berlin, August 25-27, 2000.
Published in: WLP (2000)
Keyphrases
- logic programming
- logic programs
- answer set programming
- logic programming language
- computational logic
- programming language
- nonmonotonic reasoning
- deductive databases
- answer sets
- knowledge representation
- reasoning about actions
- constraint logic programming
- knowledge base
- semantic web
- knowledge representation and reasoning
- constraint satisfaction
- probabilistic reasoning
- general purpose
- pseudo boolean constraints