Constraint-based reasoning via Grobner Bases.
Sivand LakmazaheriPublished in: Artif. Intell. Eng. Des. Anal. Manuf. (1997)
Keyphrases
- reasoning systems
- knowledge base
- automated reasoning
- reasoning process
- qualitative reasoning
- basis functions
- algebraic geometry
- constraint satisfaction
- knowledge representation
- spatial reasoning
- consistency checking
- linear combination
- logic programming
- domain knowledge
- computational properties
- information systems
- formal models
- reasoning about actions
- logical reasoning
- neural network