Automated reasoning

Known as: Machine-supported reasoning, Automatic reasoning, Machine reasoning

Automated reasoning is an area of computer science and mathematical logic dedicated to understanding different aspects of reasoning. The study of…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2011

In this paper we present the Name-It-Game, an interactive multimedia game fostering the swift creation of a large data set of…

2008

The TNM classification system was developed as a tool for physicians to stage different types of cancer based on standard…

2007

In the paper we propose a method of structuring a knowledge base into hierarchically related contexts and present how this…

2007

The discovery of a semantic web service (SWS) is the act of locating a machine-processable description of a SWS-related resource…

2001

In this paper we state the importance of a formal ontology as the basis for a proper knowledge representation. Using a formal…

2000

In contrast with classical reasoning, where a solution is either correct or incorrect, approximate reasoning tries to compute…

1999

Mieczyslaw M. Kokar Department of Electrical and Computer Engineering Northeastern University Boston, MA 02115, USA Jerzy A…

1998

In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In…

1995

1992

Over the past ten years a myriad of knowledge-based expert systems have been developed and deployed. These systems have a narrow…