20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015.
Published in: LPAR (short papers) (2015)
Keyphrases
- international conference
- human reasoning
- artificial intelligence
- computational intelligence
- automated reasoning
- knowledge representation
- scientific discovery
- proof theory
- knowledge representation and reasoning
- computer and information science
- deductive reasoning
- fuzzy logic
- logic programming
- computational logic
- order of magnitude reasoning
- computational properties
- programming language
- web intelligence
- intuitionistic logic
- cognitive psychology
- probabilistic logic
- logical framework
- expert systems
- proof theoretic
- reasoning engine
- intelligent systems
- machine learning
- knowledge base
- international workshop
- default reasoning
- software engineering
- modal logic
- reasoning about actions
- highly optimized
- general purpose
- description logics
- computer science
- logical rules
- case based reasoning
- classical logic
- lecture notes
- evolutionary algorithm
- soft computing
- object oriented
- ambient intelligence