Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010
Published in: LPAR short papers(Yogyakarta) (2013)
Keyphrases
- artificial intelligence
- lecture notes
- human reasoning
- computer science
- invited paper
- selected papers
- lecture notes in artificial intelligence
- short papers
- automated reasoning
- proof theory
- scientific discovery
- knowledge representation
- knowledge representation and reasoning
- invited talk
- deductive reasoning
- fuzzy logic
- computational logic
- computational properties
- cognitive psychology
- order of magnitude reasoning
- logic programming
- logical framework
- book constitutes the refereed proceedings
- intuitionistic logic
- machine learning
- review process
- intelligent systems
- programming language
- horn logic
- artificial intelligence in education
- probabilistic logic
- program committee
- expert systems
- computer programming
- knowledge base
- acceptance rate
- computational intelligence
- knowledge discovery and data mining
- computer science education
- classical logic
- committee members
- international conference
- computational linguistics
- real world
- association rules
- natural language processing
- genetic algorithm
- data mining
- special session