Tabling for Non-Monotonic Programming.

Published in: Ann. Math. Artif. Intell. (1999)

Keyphrases

programming language
logic programming
computer programming
data sets
computer vision
neural network
machine learning
information retrieval
e learning
optimal solution
logic programs
model checking
practical problems
programming environment
programming paradigms