| Article ID: | iaor20022444 |
| Country: | United States |
| Volume: | 31 |
| Issue: | 2 |
| Start Page Number: | 125 |
| End Page Number: | 148 |
| Publication Date: | Mar 1998 |
| Journal: | Networks |
| Authors: | Delorme C., Ordaz O., Quiroz D. |
The main goal of this work was to describe the basic elements constituting a specialized knowledge base in the field of paths and circuits in digraphs. This knowledge base contains commented on examples with textual and graphical descriptions, invariants, relations among invariants, and theorems. It is used as a kernel of the AGORA interactive system, for assisting a graph researcher in the mental process of constructing and studying conjectures in the mentioned specialized field.