Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning.
Leonardo Mendonça de MouraCarsten LutzMonica M. C. SchraefelBernhard NebelPublished in: KR (2010)
Keyphrases
- international conference
- knowledge representation and reasoning
- artificial intelligence
- knowledge representation
- reasoning systems
- logic programming
- computational intelligence
- description logics
- computational molecular biology
- incomplete information
- automated reasoning
- computer and information science
- ifip wg
- logic programs
- koli calling
- machine learning
- neural network
- ai planning
- programming language
- computer science
- acm sigmod
- databases