Semantics of Distributed Definite Clause Programs.

Ramaswamy Ramanujam

Published in: Theor. Comput. Sci. (1989)

Keyphrases

definite clause
distributed systems
semantic information
inductive logic programming
control flow
pac learnability
learning algorithm
multi agent
knowledge acquisition
logic programming
answer sets
dynamic logic
machine learning
expert systems
peer to peer
logic programs