Syntactic Equality in Knowledge Representation and Reasoning.
Edward P. Stabler Jr.Published in: KR (1989)
Keyphrases
- knowledge representation and reasoning
- knowledge representation
- reasoning systems
- artificial intelligence
- logic programming
- description logics
- automated reasoning
- incomplete information
- structured knowledge
- natural language
- defeasible logic
- disjunctive logic programming
- conference on artificial intelligence
- search algorithm
- heuristic search