Recollections on Michael Gelfond's 65th Birthday.

Alessandro Provetti

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

Keyphrases

logic programs
description language
formal semantics
action language
normal logic programs
mit press
concurrent actions
fixpoint
learning curve
john mccarthy
databases
situation calculus
answer set programming
software architecture
programming language
web services
machine learning
data mining