• CCalc

  • Referenced in 75 articles [sw09899]
  • Norman McCain’s dissertation, Causality in commonsense reasoning about actions (University of Texas...
  • ConceptNet

  • Referenced in 29 articles [sw10660]
  • ConceptNet: a practical commonsense reasoning toolkit. ConceptNet is a freely available commonsense knowledge base ... tool-kit which supports many practical textual-reasoning tasks over real-world documents including topic ... consisting of over 1.6 million assertions of commonsense knowledge encompassing the spatial, physical, social, temporal...
  • ReCoRD

  • Referenced in 2 articles [sw30762]
  • ReCoRD, for machine reading comprehension requiring commonsense reasoning. Experiments on this dataset demonstrate that ... bridge the gap between human and machine commonsense reading comprehension. ReCoRD is available...
  • CoRg

  • Referenced in 1 article [sw36068]
  • CoRg project - Cognitive Reasoning. Using ConceptNet to Teach Common Sense to an Automated Theorem Prover ... 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...
  • GKC

  • Referenced in 1 article [sw32359]
  • reasoning system for large knowledge bases. This paper introduces GKC, a resolution prover optimized ... system for developing a toolset of commonsense reasoning functionalities...
  • GOOSE

  • Referenced in 12 articles [sw02466]
  • people who like old movies,” GOOSE would reason that old movies is a hobby that ... assured of the robustness of the commonsense inference, in a substantial number of cases, GOOSE...
  • IsisWorld

  • Referenced in 1 article [sw30309]
  • IsisWorld: An 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 ... open source 3D simulator containing everyday, commonsense problems that take place in kitchens. This paper...
  • GENTA

  • Referenced in 1 article [sw20764]
  • research we try to simulate reasoning processes based on Internet textual resources including chat logs ... system is not using any databases of commonsensical word descriptions, they are being automatically retrieved ... that is used for achieving emotion-based reasoning skills. As this is a new approach...
  • WordNet

  • Referenced in 392 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 168 articles [sw02524]
  • ASSAT (Answer Sets by SAT solvers) is a...
  • VAMPIRE

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

  • Referenced in 177 articles [sw04108]
  • SPASS is an automated theorem prover for first...
  • TPTP

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

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

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

  • Referenced in 97 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...