Theorem Proving Using Graph Operations in the Conceptual Graph Formalism.
Eric SalvatPublished in: ECAI (1998)
Keyphrases
- theorem proving
- conceptual graphs
- first order logic
- automated deduction
- decision procedures
- term rewriting
- automated reasoning
- parallel search
- automated theorem proving
- consequence finding
- proof planning
- theorem prover
- natural language
- knowledge structures
- geometry theorem proving
- proof procedure
- inference rules
- partial order
- domain ontology
- knowledge representation
- expert systems
- equational theories
- general purpose
- knowledge discovery
- metadata
- artificial intelligence