Advanced Search Tips
Representation and Reasoning Editors: David Rajaratnam, Roni Stern, Kobi Gal, Nir Lipovetzky
    410 results in "Representation and Reasoning"
    C++ Boids Code
    http://www.behaviorworks.com/people/ckline/boids
    Reimplementation of the original Boids project in C++.
    1059 views
    Submitted by on Jan 14 2015
    http://linqs.cs.umd.edu/projects/iliads/
    ILIADS tightly integrates both data matching and logical reasoning to achieve better matching of ont...
    1325 views
    Submitted by on Nov 20 2014
    http://alchemy.cs.washington.edu/
    Alchemy is a software package providing a series of algorithms for statistical relational learning a...
    918 views
    Submitted by on Dec 29 2014
    http://teamcore.usc.edu/ARMOR-LAX/
    The ARMOR software casts patrolling/monitoring problems as Bayesian Stackelberg games, allowing the ...
    1317 views
    Submitted by on Jul 08 2014
    Soar Code
    http://sitemaker.umich.edu/soar/downloads
    Soar is a general cognitive architecture for developing systems that exhibit intelligent behavior. I...
    4168 views
    Submitted by on Aug 27 2014
    UCPOP Code
    http://www.cs.washington.edu/ai/planning/downloads.htm
    Handles universal quantification and conditional effects.
    643 views
    Submitted by on Jun 18 2014
    YAGO Data
    http://datahub.io/dataset/yago
    Huge semantic knowledge base, derived from Wikipedia WordNet and GeoNames.
    1163 views
    Submitted by on Jul 26 2014
    Z3 Code
    http://z3.codeplex.com/
    Z3 is a high-performance theorem prover being developed at Microsoft Research.
    665 views
    Submitted by on Jun 18 2014
    ADE Code
    http://ade.sourceforge.net
    Agent Development Environment (ADE) is a multi-agent system (MAS) middleware intended for the design...
    842 views
    Submitted by on Sep 22 2015
    Agent.GUI Project Code
    http://www.agentgui.org
    Agent.GUI is a simulation framework and toolkit based on the JADE framework. It provides functionali...
    1143 views
    Submitted by on Sep 15 2015