Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics.

James J. Lu Neil V. Murray Erik Rosenthal

Published in: ISMIS (2000)

Keyphrases

database
optical flow
machine learning
artificial intelligence
decision making
knowledge base
pattern recognition
expert systems
artificial neural networks
object oriented
logic programs
temporal logic