Logic For Reasoning About Knowledge.

Published in: Math. Log. Q. (1989)

Keyphrases

logic programming
data sets
automated reasoning
knowledge representation
classical logic
proof theory
sound and complete axiomatization
real time
machine learning
image processing
computational properties
formal language
predicate logic
epistemic logic