Web-Based Inference Rules for Processing Conceptual Geographical Relationships.

Taro Tezuka Ryong Lee Yahiko Kambayashi Hiroki Takakura

Published in: WISE (2) (2001)

Keyphrases

inference rules
probabilistic knowledge
modal logic
first order logic
theorem prover
theorem proving
logical framework
binary relations
logic programming language
sequent calculus
truth values
natural deduction
data mining
machine learning
training set
proof search