Metal: A Formalism to Specify Formalisms.
Gilles KahnBernard LangBertrand MeleseElham MorcosPublished in: Sci. Comput. Program. (1983)
Keyphrases
- knowledge representation formalisms
- knowledge representation
- computational properties
- fluent calculus
- situation calculus
- description logics
- high temperature
- real time
- knowledge base
- nonmonotonic reasoning
- fluidized bed
- reasoning about actions
- representation language
- logic programming
- expert systems
- formal model
- probabilistic reasoning
- logic programs
- trade off
- natural language
- qualitative spatial reasoning
- grain size
- information systems
- neural network
- databases
- database