13 results in "Logic & Formal Reasoning"
|
PowerLoom
Code
http://www.isi.edu/isd/LOOM/PowerLoom/download.html
PowerLoom is the successor to the Loom knowledge representation system. It provides a language and e...
2097 views
Submitted by
on Jul 31 2014 | |
|
https://www.figure-eight.com/data-for-everyone/
This dataset is a collection of English sentence pairs. The crowd was asked about the truth value of...
1115 views
Submitted by
on Jan 07 2020 | |
|
http://research.microsoft.com/en-us/downloads/e164fe21-ef2b-4e34-98c1-4868968abb06/
In this work we investigate optimal decision making for more realistic loss functions. Specifically ...
2285 views
Submitted by
on Sep 30 2015 | |
|
sealion
Project
http://www.sealion.at
Integrated Development Environment for Answer-Set Programming (ASP). ASP is a form of declarative pr...
3655 views
Submitted by
on Jul 02 2015 | |
|
https://www.upf.edu/web/ai-ml/clg-contingent-planner1
The CLG+ planner is built on top of CLG, with the difference that it allows for a search of solution...
3410 views
Submitted by
on Apr 13 2015 | |
|
XSB
Project
http://xsb.sourceforge.net
Logic programming and deductive database system (Tabled Prolog) for Unix and Windows.
1038 views
Submitted by
on Dec 15 2014 | |
|
Sigma
Project
http://sigmakee.sourceforge.net
Sigma knowledge engineering system is an system for developing, viewing and debugging theories in fi...
1763 views
Submitted by
on Dec 15 2014 | |
|
S-Match NLP
Code
https://github.com/s-match/s-match-nlp
S-Match NLP is an extension to S-Match that contains preprocessors for converting natural language ...
1818 views
Submitted by
on Dec 15 2014 | |
|
Phillip
Code
https://github.com/kazeto/phillip
Phillip is an integrated library for logical inference in C++.
1843 views
Submitted by
on Dec 15 2014 | |
|
http://www.cs.utexas.edu/users/ai-lab/?Cmodels
Cmodels is a system that computes answer sets for either disjunctive logic programs or logic program...
3776 views
Submitted by
on Dec 15 2014 |