Foundations of Knowledge Representation and Reasoning.
Gerhard LakemeyerBernhard NebelPublished in: ECAI Workshop on Knowledge Representation and Reasoning (1992)
Keyphrases
- knowledge representation and reasoning
- artificial intelligence
- knowledge representation
- reasoning systems
- logic programming
- predicate logic
- description logics
- defeasible logic
- incomplete information
- structured knowledge
- logic programs
- automated reasoning
- conference on artificial intelligence
- disjunctive logic programming
- expert systems
- knowledge base
- proceedings of the th international conference
- cooperative
- semantic modeling