}
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...
    1032 views
    Submitted by on Jul 31 2014
    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...
    2103 views
    Submitted by on Apr 13 2015
    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...
    1866 views
    Submitted by on Dec 15 2014
    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 ...
    1193 views
    Submitted by on Sep 30 2015
    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...
    116 views
    Submitted by on Jan 07 2020
    Isabelle Code
    http://www.cl.cam.ac.uk/research/hvg/Isabelle/
    Isabelle is a popular interactive theorem prover. It allows mathematical formulas to be expressed in...
    977 views
    Submitted by on Dec 15 2014
    Phillip Code
    https://github.com/kazeto/phillip
    Phillip is an integrated library for logical inference in C++.
    870 views
    Submitted by on Dec 15 2014
    https://github.com/mark-watson/powerloom-clj
    Simple Clojure wrappers for the PowerLoom AI Inferencing System from the University of Southern Cali...
    1176 views
    Submitted by on Dec 04 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 ...
    855 views
    Submitted by on Dec 15 2014
    sealion Project
    http://www.sealion.at
    Integrated Development Environment for Answer-Set Programming (ASP). ASP is a form of declarative pr...
    1765 views
    Submitted by on Jul 02 2015