An Agent Based Approach to Reasoning (bibtex)
by Christoph Benzmüller
Reference:
An Agent Based Approach to Reasoning (Christoph Benzmüller), In Extended abstract for invited plenary talk at AISB'01 Convention `Agents and Cognition, University of York, pp. 57-58, 2001. (slides) (Preprint: http://christoph-benzmueller.de/papers/W10.pdf)
Bibtex Entry:
@inproceedings{W10,
  Author =	 {Christoph Benzm{\"u}ller},
  Booktitle =	 {Extended abstract for invited plenary talk at
                  AISB'01 Convention `Agents and Cognition},
  Comment =	 {<a href="http://christoph-benzmueller.de//papers/2001-aisb-agents.pdf">slides</a>},
  Keywords =	 {own, Agents, Proof Assistants, Automated Reasoning},
  Pages =	 {57-58},
  Publisher =	 {University of York},
  Title =	 {An Agent Based Approach to Reasoning},
  Note =	 {Preprint:
                  \url{http://christoph-benzmueller.de/papers/W10.pdf}},
  Year =	 2001,
}