Proving Correctness and Completeness of Normal Programs - A Declarative Approach.

Wlodzimierz Drabent Miroslawa Milkowska

Published in: ICLP (2001)

Keyphrases

provably correct
deductive database systems
database
artificial intelligence
high level
similarity measure
domain independent
computer programs
declarative semantics
real time
machine learning
deductive databases
answer sets
automatic programming