Second International Conference: Principles of Knowledge Representation and Reasoning - KR'91.
Bernhard HollunderBernhard NebelPublished in: Künstliche Intell. (1991)
Keyphrases
- knowledge representation and reasoning
- reasoning systems
- artificial intelligence
- logic programming
- knowledge representation
- description logics
- incomplete information
- structured knowledge
- lecture notes in artificial intelligence
- automated reasoning
- disjunctive logic programming
- logic programs
- conference on artificial intelligence
- knowledge base
- general purpose
- revised selected papers
- software engineering
- update semantics