A Graph Proof Procedure for Real Time Logic.

Jung-Hong Kao Lawrence J. Henschen

Published in: SEKE (1992)

Keyphrases

proof procedure
theorem proving
propositional logic
proof procedures
first order logic
predicate calculus
model theoretic
proof search
automated reasoning
propositional satisfiability
logic programming
deductive databases
inference rules
artificial intelligence
semantic network
predicate logic