Michael Gelfond: Essay in Honour of His 65th Birthday.

Stefania Costantini

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

Keyphrases

logic programs
description language
action language
normal logic programs
concurrent actions
mit press
learning curve
logic programming
fixpoint
formal semantics
john mccarthy
optimal solution
multi agent systems
stable models
reasoning about actions