Computation with run time skolemisation (N-Prolog part 3).

Dov M. Gabbay Uwe Reyle

Published in: J. Appl. Non Class. Logics (1993)

Keyphrases

logic programming
knowledge base
expert systems
efficient computation
real world
programming language
data sets
clustering algorithm
face recognition
computational complexity
data model
scheduling problem
object oriented
medical images