Second International Conference on Principles of Knowledge Representation and Reasoning (KR '91).
Bernhard HollunderBernhard NebelPublished in: Künstliche Intell. (1992)
Keyphrases
- knowledge representation and reasoning
- knowledge representation
- artificial intelligence
- logic programming
- description logics
- reasoning systems
- structured knowledge
- incomplete information
- automated reasoning
- lecture notes in artificial intelligence
- revised selected papers
- disjunctive logic programming
- conference on artificial intelligence
- semantic modeling
- ai planning
- probabilistic inference
- logic programs
- special case
- databases
- update semantics
- database