Loop Checking and the Wll-Founded Semantics.

Vladimir Lifschitz Norman McCain Teodor C. Przymusinski Robert F. Stärk

Published in: LPNMR (1995)

Keyphrases

logic programming
semantic information
formal semantics
operational semantics
logical language
databases
neural network
information retrieval
learning algorithm
web services
case study
conceptual model
semantic relationships
consistency checking