Updates with Equality: Beyond the Herbrand Universe Assumption.

Marianne Winslett Seng-cho Timothy Chou

Published in: ISMIS (1991)

Keyphrases

function symbols
logic programs
equivalence relation
logic programming
answer set programming
fixpoint
learning algorithm
database
high level
training data
data structure
case study
first order logic
horn clauses
independence assumption
artificial intelligence
consistency checking