This is a base which stores knowledge in the form of nested sets
proof verifier for mathematical proofs and documentation generator
Small and effective program for SIP traces anonymization
Genomic Region Archiving and Binding Sites Analysis (BiSA)
An enhanced, userfriendly, programmable chat bot for Skype
An Expert System developed in CLIPS on how to Build a PC
Pandora is an artificial intelligent web based bot
Simple development environment for SS7-MAP, INAP and CAP
KnowWE has moved, please see http://d3web.sourceforge.net
A tool for supporting pharmacogenomics data analysis
A PHP web based open source document management system
Hackerando la Macchina Ridotta (Hacking the Smaller Machine)
Conferences knowledge-base
A question answering using uima architecture to answer queries