Proceedings of the 1st Workshop on Natural Language Processing and Automated Reasoning co-located with 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), A Corunna, Spain, September 15th, 2013.
Published in: NLPAR@LPNMR (2013)
Keyphrases
- logic programming
- automated reasoning
- nonmonotonic reasoning
- knowledge representation
- international conference
- probabilistic reasoning
- reasoning systems
- default reasoning
- reasoning tasks
- knowledge representation and reasoning
- natural language
- expert systems
- knowledge base
- decision procedures
- default logic
- machine learning
- possibility theory
- answer set programming
- answer sets
- abductive reasoning
- description logics
- defeasible reasoning
- artificial intelligence
- international symposium
- deductive databases
- logic programs
- classical logic
- autoepistemic logic
- stable models
- first order logic
- constraint logic programming
- defeasible logic
- nonmonotonic logics
- extended logic programs
- propositional satisfiability
- truth maintenance systems
- default theories
- bayesian networks
- minimal models