Advanced Search Tips
Logic & Formal Reasoning Editors: Open AI Resources
    12 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...
    263 views
    Submitted by on Jul 31 2014
    http://www.ai.upf.edu/software/clg-contingent-planner-0
    The CLG+ planner is built on top of CLG, with the difference that it allows for a search of solution...
    568 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...
    527 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 ...
    350 views
    Submitted by on Sep 30 2015
    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...
    265 views
    Submitted by on Dec 15 2014
    Phillip Code
    https://github.com/kazeto/phillip
    Phillip is an integrated library for logical inference in C++.
    253 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...
    342 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 ...
    243 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...
    490 views
    Submitted by on Jul 02 2015
    Sigma Project
    http://sigmakee.sourceforge.net
    Sigma knowledge engineering system is an system for developing, viewing and debugging theories in fi...
    264 views
    Submitted by on Dec 15 2014