DBLP Record 'journals/amai/MateusPPSS01'

BibTeX

@article{DBLP:journals/amai/MateusPPSS01,
  author    = {Paulo Mateus and
               Ant{\'o}nio Pacheco and
               Javier Pinto and
               Am\'{\i}lcar Sernadas and
               Cristina Sernadas},
  title     = {Probabilistic Situation Calculus},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {32},
  number    = {1-4},
  year      = {2001},
  pages     = {393-431},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}