• CoRg

  • Referenced in 1 article [sw36068]
  • system is a system to solve commonsense reasoning problems. The core of the CoRg system ... plays a crucial role in solving commonsense reasoning problems. In this paper we present different...
  • IsisWorld

  • Referenced in 1 article [sw30309]
  • Open Source Commonsense Simulator for AI Researchers. A metareasoning problem involves three parts ... concrete problem domains; 2) reasoners to reason about the problems; and, 3) metareasoners to reason ... about the reasoners. We believe that the metareasoning community would benefit from agreeing ... first two problems. To support this kind of collaboration, we offer an open source...
  • GKC

  • Referenced in 1 article [sw32359]
  • reasoning system for large knowledge bases. This paper introduces GKC, a resolution prover optimized ... based. While GKC performs well on large problems from the TPTP set, the system ... system for developing a toolset of commonsense reasoning functionalities...
  • WordNet

  • Referenced in 397 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • SOAR

  • Referenced in 22 articles [sw02109]
  • SOAR: a cognitive architecture in perspective. A tribute...
  • ASSAT

  • Referenced in 169 articles [sw02524]
  • ASSAT (Answer Sets by SAT solvers) is a...
  • VAMPIRE

  • Referenced in 241 articles [sw02918]
  • Vampire 8.0, [RV02,Vor05] is an automatic theorem...
  • TPTP

  • Referenced in 383 articles [sw04143]
  • The TPTP (Thousands of Problems for Theorem Provers...
  • Metis_

  • Referenced in 56 articles [sw04439]
  • Metis is an automatic theorem prover for first...
  • SATO

  • Referenced in 196 articles [sw04451]
  • SATO: A Solver for Propositional Satisfiability: The Davis...
  • Gringo

  • Referenced in 98 articles [sw04630]
  • This document provides an introduction to the Answer...
  • Smodels

  • Referenced in 238 articles [sw04631]
  • The Smodels system is an Answer Set Programming...
  • LibDAI

  • Referenced in 15 articles [sw06422]
  • LibDAI: a free and open source C++ library...
  • SATCHMO

  • Referenced in 96 articles [sw06619]
  • SATCHMO: a theorem prover implemented in Prolog. The...
  • Mace4

  • Referenced in 211 articles [sw06905]
  • finite model-finder Mace4. Mace4 is a program...
  • PDDL

  • Referenced in 94 articles [sw07079]
  • Planning Domain Definition Language (PDDL). PDDL2.1: An extension...
  • CCalc

  • Referenced in 76 articles [sw09899]
  • The Causal Calculator (CCalc) is a system for...
  • MaLARea

  • Referenced in 46 articles [sw10278]
  • MaLARea: a Metasystem for Automated Reasoning in Large...
  • ConceptNet

  • Referenced in 30 articles [sw10660]
  • ConceptNet: a practical commonsense reasoning toolkit. ConceptNet is...