Phillip

Submitted by on Dec 15 2014 } Suggest Revision
By: kazeto
Project: https://github.com/kazeto/phillip
From: Tohoku University
Paper:
Resource Type:
Code
License:
Language:
C++
Data Format:

Description

Phillip is an integrated library for logical inference in C++.
Categorized in: Natural Language | Representation and Reasoning | Logic & Formal Reasoning
Post comment
Cancel