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.

2016

Special-purpose propagators speed up solving logic programs by inferring facts that are hard to deduce otherwise. However…

2011

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

2009

Automated medical diagnosis systems based on knowledge-oriented descriptions have gained momentum with the emergence of Semantic…

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…

1998

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

1992

Designing often involves rather complex processes of reasoning. For building knowledge-based systems for designing, a detailed…