A Modal Herbrand Theorem.

Published in: Fundam. Informaticae (1996)

Keyphrases

logic programs
logic programming
modal logic
von neumann
statistical relational learning
first order logic
database
reinforcement learning
neural network
data mining
expert systems
probabilistic model