Opening: Homage to Michael Gelfond on His 65th Birthday.

Published in: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)

Keyphrases

logic programs
description language
action language
formal semantics
mit press
normal logic programs
concurrent actions
database systems
stable models
databases
information retrieval
domain knowledge
learning curve