An automated reasoning method on first-order tense logic.

Wenjiang Li Shuwei Chen

Published in: ICMLC (2013)

Keyphrases

automated reasoning
dynamic programming
knowledge representation
high level
search algorithm
probabilistic model
higher order
theorem prover
theorem proving