On definite program answers and least Herbrand models.

Wlodzimierz Drabent

Published in: Theory Pract. Log. Program. (2016)

Keyphrases

probabilistic model
complex systems
real time
data mining
logic programs
background knowledge
mathematical models