Simple Common Logic.

Patrick J. Hayes Christopher Menzel

Published in: Rule Languages for Interoperability (2005)

Keyphrases

search algorithm
neural network
knowledge base
video sequences
logic programming
highly reliable