A Case Study in Knowledge Representation and Reasoning with Higher-Order Combinators.
Jørgen Fischer NilssonPublished in: SCAI (1989)
Keyphrases
- knowledge representation and reasoning
- higher order
- artificial intelligence
- knowledge representation
- description logics
- predicate logic
- reasoning systems
- logic programming
- incomplete information
- structured knowledge
- automated reasoning
- markov random field
- pairwise
- high level
- dynamic environments
- database
- object oriented
- expert systems
- conference on artificial intelligence
- data mining