Login / Signup
A Three-Valued Semantic for Horn Clause Programs.
Lee Naish
Published in:
ACSC (2000)
Keyphrases
</>
horn clauses
inference rules
logic programs
semantic web
semantic information
first order logic
high level
database queries
inductive logic programming
semantic knowledge
semantic similarity
semantic network
natural language
computer programs
semantic search
domain specific
web services
databases