Inproceedings,

A Reasoning Algorithm for pD*.

, , , and .
ASWC, volume 4185 of Lecture Notes in Computer Science, page 293-299. Springer, (2006)

Meta data

Tags

Users

  • @fraktalek
  • @dblp

Comments and Reviews