Программы deductions.sf.net

Методы искусственного интеллекта, применяемые к общим программным задачам, используя логику первого порядка; N3, OWL онтологии и правила. Обеспечивает создание приложений на основе компонентов, независимость платформы, удобст