The internet knowledge manager, dynamic digital libraries, and agents you can understand
- Adrian Walker
- 1998
- D-Lib Magazine
Publications
Date
Featured collections
Popular topics
2 results for Adrian Walker
Backchain iteration: Towards a practical inference method that is simple enough to be proved terminating, sound, and complete
- Adrian Walker
- 1993
- Journal of Automated Reasoning