Controlled Natural Languages for Knowledge Representation and Reasoning.
Tiantian GaoPublished in: ICLP (Technical Communications) (2016)
Keyphrases
- knowledge representation and reasoning
- knowledge representation
- natural language
- logic programming
- artificial intelligence
- reasoning systems
- predicate logic
- description logics
- automated reasoning
- structured knowledge
- incomplete information
- context sensitive
- defeasible logic
- semantic interpretation
- conference on artificial intelligence
- machine learning
- probabilistic reasoning
- ai planning
- first order logic
- graphical models
- search algorithm
- multi agent
- high level
- update semantics