}
Advanced Search Tips
Logic & Formal Reasoning Editors: Open AI Resources
    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...
    1095 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...
    172 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 ...
    1255 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...
    1878 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...
    2206 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.
    148 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...
    836 views
    Submitted by on Dec 15 2014
    https://github.com/s-match/s-match-nlp
    S-Match NLP† is an extension to S-Match that contains preprocessors for converting natural language ...
    912 views
    Submitted by on Dec 15 2014
    Phillip Code
    https://github.com/kazeto/phillip
    Phillip is an integrated library for logical inference in C++.
    936 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...
    1978 views
    Submitted by on Dec 15 2014