A Direct Proof Procedure for Definite Conceptual Graph Programs.
Bikash Chandra GhoshVilas WuwongsePublished in: ICCS (1995)
Keyphrases
- conceptual graphs
- proof procedure
- theorem proving
- propositional logic
- first order logic
- predicate calculus
- natural language
- knowledge structures
- partial order
- orders of magnitude
- database
- relational databases
- belief revision
- domain specific
- knowledge representation
- domain knowledge
- web pages
- search engine
- artificial intelligence