The full paper and abridged version are available for download.

BibTeX:

@InCollection{eisner-filardo-2011,
  author  = {Jason Eisner and Nathaniel W. Filardo},
  title   = {Dyna: Extending {D}atalog For Modern {AI}},
  booktitle={Datalog Reloaded},
  publisher={Springer},
  editor  = {Oege de Moor and Georg Gottlob and Tim Furche and Andrew
            Sellers},
  series  = {Lecture Notes in Computer Science},
  volume  = {6702},
  pages   = {181--220},
  note    = {Longer version available as tech report},
  year    = {2011}
}