Author: Thomas Ioerger [RDF, Bibtex, BibBase] has 1 publication


Multi-Agent Belief Reasoning in a First-Order Logic Back-Chainer Arnold Binas, Thomas Ioerger. 2004