Advanced Search Tips
Representation and Reasoning Editors: David Rajaratnam, Roni Stern, Kobi Gal, Nir Lipovetzky
    405 results in "Representation and Reasoning"
    C++ Boids Code
    http://www.behaviorworks.com/people/ckline/boids
    Reimplementation of the original Boids project in C++.
    3330 views
    Submitted by on Jan 14 2015
    ILIADS tightly integrates both data matching and logical reasoning to achieve better matching of ont...
    3912 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...
    4347 views
    Submitted by on Dec 29 2014
    The ARMOR software casts patrolling/monitoring problems as Bayesian Stackelberg games, allowing the ...
    3986 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...
    13456 views
    Submitted by on Aug 27 2014
    UCPOP Code
    http://www.cs.washington.edu/ai/planning/downloads.htm
    Handles universal quantification and conditional effects.
    1992 views
    Submitted by on Jun 18 2014
    YAGO Data
    http://datahub.io/dataset/yago
    Huge semantic knowledge base, derived from Wikipedia WordNet and GeoNames.
    3584 views
    Submitted by on Jul 26 2014
    ADE Code
    http://ade.sourceforge.net
    Agent Development Environment (ADE) is a multi-agent system (MAS) middleware intended for the design...
    2587 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...
    3539 views
    Submitted by on Sep 15 2015
    ArgoSMT Code
    http://argo.matf.bg.ac.rs/?content=downloads
    ArgoSMT (which is still in early phases of its development) is an open source, freely available SMT ...
    1068 views
    Submitted by on Jun 18 2014