@techreport{ belieftr04,
  author    = {Arnold Binas and Thomas Ioerger},
  title     = {Multi-Agent Belief Reasoning in a First-Order Logic Back-Chainer},
  number   = {TSSTI-TR-10-04},
  url   = {beltr.pdf} ,
  year   = {2004}
}

{"_id":{"_str":"51f6b4ae59ced8df44000f78"},"__v":40,"authorIDs":["545719d52abc8e9f3700006d"],"author_short":["Binas, A.","Ioerger, T."],"bibbaseid":"binas-ioerger-multiagentbeliefreasoninginafirstorderlogicbackchainer-2004","bibdata":{"bibtype":"techreport","type":"techreport","author":[{"firstnames":["Arnold"],"propositions":[],"lastnames":["Binas"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Ioerger"],"suffixes":[]}],"title":"Multi-Agent Belief Reasoning in a First-Order Logic Back-Chainer","number":"TSSTI-TR-10-04","url":"beltr.pdf","year":"2004","bibtex":"@techreport{ belieftr04,\n author = {Arnold Binas and Thomas Ioerger},\n title = {Multi-Agent Belief Reasoning in a First-Order Logic Back-Chainer},\n number = {TSSTI-TR-10-04},\n url = {beltr.pdf} ,\n year = {2004}\n}\n\n\n","author_short":["Binas, A.","Ioerger, T."],"key":"belieftr04","id":"belieftr04","bibbaseid":"binas-ioerger-multiagentbeliefreasoninginafirstorderlogicbackchainer-2004","role":"author","urls":{"Paper":"http://data.bibbase.org/author/arnold-binas/beltr.pdf"},"downloads":0,"html":""},"bibtype":"techreport","biburl":"http://data.bibbase.org/author/arnold-binas/?format=bibtex","downloads":0,"keywords":[],"search_terms":["multi","agent","belief","reasoning","first","order","logic","back","chainer","binas","ioerger"],"title":"Multi-Agent Belief Reasoning in a First-Order Logic Back-Chainer","title_words":["multi","agent","belief","reasoning","first","order","logic","back","chainer"],"year":2004,"dataSources":["bNNJcanbR4LWbNBZx"]}