A Compositional Proof Method of Partial Correctness for Normal Logic Programs.

Gérard Ferrand Arnaud Lallouet

Published in: ILPS (1995)

Keyphrases

knowledge representation
knowledge base
artificial intelligence
relational databases
query language
probabilistic model
knowledge management
data management
theorem prover
formal semantics