KSL/Logic: Integration of Logic with Objects.

Mamdouh H. Ibrahim Fred A. Cummins

Published in: ICCL (1990)

Keyphrases

logic programming
modal logic
multi valued
predicate logic
automated reasoning
knowledge base
classical logic
proof theory
database
website
multiscale
object recognition
keypoints
probability theory