Analyzing Declarative Semantics of Logic Programs.

Dmitri Boulanger

Published in: WLP (1997)

Keyphrases

semantics of logic programs
knowledge representation
answer sets
logic programs
machine learning
high level
database systems
expert systems
logic programming
deductive databases
formal semantics