Keyphrases
- logic programming
- lecture notes
- doctoral consortium
- computer science
- logic programs
- student research workshop
- computing education
- international conference
- international symposium
- lecture notes in artificial intelligence
- double blind
- knowledge discovery and data mining
- invited paper
- deductive databases
- answer set programming
- programming language
- review process
- nonmonotonic reasoning
- logic programming language
- human language technologies
- knowledge base
- answer sets
- knowledge representation and reasoning
- international workshop
- constraint logic programming
- knowledge representation
- poster session
- computational logic
- book constitutes the refereed proceedings
- stable models
- reasoning about actions
- default logic
- normal logic programs
- object oriented
- defeasible argumentation