Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,822,654 papers from all fields of science
Search
Sign In
Create Free Account
Automated reasoning
Known as:
Machine-supported reasoning
, Automatic reasoning
, Machine reasoning
Expand
Automated reasoning is an area of computer science and mathematical logic dedicated to understanding different aspects of reasoning. The study of…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
ACL2
AI winter
Abductive reasoning
Artificial general intelligence
Expand
Broader (3)
Artificial intelligence
Automated theorem proving
Theoretical computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Adding semantics to image-region annotations with the Name-It-Game
Jeroen Steggink
,
Cees G. M. Snoek
Multimedia Systems
2011
Corpus ID: 349758
In this paper we present the Name-It-Game, an interactive multimedia game fostering the swift creation of a large data set of…
Expand
2009
2009
Online Dictionary and Ontology Building for Austronesian Languages in Taiwan
D. V. Rau
,
Meng-Chien Yang
,
H. Chang
,
Maa-Neu Dong
2009
Corpus ID: 55634917
This paper provides a model of language documentation and conservation in Taiwan to illustrate how online dictionaries have been…
Expand
2008
2008
A Group Decision Support System for Staging of Cancer
Miguel Miranda
,
A. Abelha
,
M. Santos
,
J. Machado
,
José Neves
eHealth Conference
2008
Corpus ID: 14535638
The TNM classification system was developed as a tool for physicians to stage different types of cancer based on standard…
Expand
2007
2007
Contextualization of a DL Knowledge Base
K. Goczyła
,
W. Waloszek
,
Aleksander Waloszek
Description Logics
2007
Corpus ID: 16239631
In the paper we propose a method of structuring a knowledge base into hierarchically related contexts and present how this…
Expand
2007
2007
Knowledge Representation for Reconfigurable Automation Systems
Ola Angelsmark
,
J. Malec
,
Klas Nilsson
,
Sławomir Nowaczyk
,
L. Prosperi
2007
Corpus ID: 14489647
This article describes the work in progress on knowledge representation formalisms chosen for use in the European project SIARAS…
Expand
2004
2004
A Context-free Requirements Grammar to Facilitate Automatic Assessment
W. Scott
,
S. Cook
2004
Corpus ID: 1987443
Poor requirements are often cited as a leading cause of project failures. Preparing a good set of requirements presents…
Expand
2001
2001
The importance of formal ontologies : A case study in occupational health
Frank Montyne
2001
Corpus ID: 5777744
In this paper we state the importance of a formal ontology as the basis for a proper knowledge representation. Using a formal…
Expand
1999
1999
A Formal Approach to Information Fusion
Mieczyslaw M. Kokar
,
J. Weyman
1999
Corpus ID: 18208733
Mieczyslaw M. Kokar Department of Electrical and Computer Engineering Northeastern University Boston, MA 02115, USA Jerzy A…
Expand
1998
1998
Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2
Ruben Gamboa
IPPS/SPDP Workshops
1998
Corpus ID: 8548450
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In…
Expand
1992
1992
Integrating Distributed Expertise
Evangelos Simoudis
,
M. Adler
International Journal of Cooperative Information…
1992
Corpus ID: 10830417
Over the past ten years a myriad of knowledge-based expert systems have been developed and deployed. These systems have a narrow…
Expand