Supported and ongoing software projects: * IsaPlanner - a proof planner for Isabelle * HiGraph - a system for presenting and manipulating hierarchical proofs/graphs generated by proof planning in IsaPlanner. Currently just an editor/drawing tool for the graphs. * Quantomatic - a tool for graphically reasoning about quantum computation using models based on compact closed categories. Older software projects (no longer being developed): * Lambda Clam - a proof planner written in lambda prolog. * HR - an automated theory formation system * Clam proof planner with oyster - a proof planner written in prolog * Clam version 3.2 * HOL-Clam - a link up between the HOL proof assistant and the Clam proof planner. * Anastasia - a structural program editor * Press - a prolog based system for solving symbolic, transcendental, non-differential equations
B. Arbab. International Business Machines Corporation. Journal of Research
and Development, 30 (3):
294--309(Mai 1986)Also published as a report, IBM Los Angeles Scientific Center (July
1985)..
A. Kabbaj. Proceedings of the 14th International Conference on Conceptual Structures (ICCS 2006), Volume 4068 von Lecture Notes in Computer Science, Seite 286-299. Springer, (2006)
F. Steeg, C. Benden, und P. Samuelsdorff. Poster presented at the Twelfth International Conference on Functional Grammar. Sao Jose do Rio Preto, Brazil: Universidade Estadual Paulista., (2006)
T. Osborn, A. Charif, R. Lamas, und E. Dubossarsky. 1995 IEEE Conference on Evolutionary Computation, 2, Seite 728. Perth, Australia, IEEE Press, (29 November - 1 December 1995)
J. Wielemaker, G. Schreiber, und B. Wielinga. The Semantic Web - ISWC 2003, Second International Semantic Web Conference, Volume 2870 von Lecture Notes in Computer Science, Seite 644 - 658. (2003)
C. Bolz, M. Leuschel, und D. Schneider. Proceedings of the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Seite 99--108. ACM, (2010)
A. Kabbaj, B. Moulin, J. Gancet, D. Nadeau, und O. Rouleau. Proceedings of the 9th International Conference on Conceptual Structures (ICCS 2001), Volume 2120 von Lecture Notes in Computer Science, Seite 346-359. Springer, (2001)