Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,170,279 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.
Review
2010
Review
2010
Design of Interactive Learning System Based on Intuition Concept Space
Ping He
Journal of Computers
2010
Corpus ID: 7901105
The theory of intuition learning is briefly reviewed and a model of the learning process is presented. The paper then discusses…
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
2007
2007
Formalizing XACML Using Defeasible Description Logics
Vladimir Kolovski
,
J. Hendler
,
B. Parsia
2007
Corpus ID: 37956
XACML has emerged as a popular access control language on the Web, but because of its rich expressiveness, it has proved…
Expand
2007
2007
Knowledge Representation for Reconfigurable Automation Systems
Ola Angelsmark
,
J. Malec
,
K. 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
2000
2000
Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation
A. Verberne
,
F. V. Harmelen
,
A. ten Teije
International Conference on Principles of…
2000
Corpus ID: 9662541
In contrast with classical reasoning, where a solution is either correct or incorrect, approximate reasoning tries to compute…
Expand
1998
1998
Handling Fuzzy Information in MILORD II
J. Puyol-Gruart
,
L. Godo
,
C. Sierra
,
G. Morel
,
F. Vernadat
1998
Corpus ID: 10758813
Milord II is a modular language for knowledge-based systems. In this paper we concentrate on the parts of the language and the…
Expand
1995
1995
Nonabsolute/relativistic (N/R) thinking: a possible unifying commonality underlying models of postformal reasoning
Bernice Yan
1995
Corpus ID: 123871181
1992
1992
Tractable Approximate Deduction using Limited Vocabularies
David W. Etherington
,
Mukesh Dalal
1992
Corpus ID: 19021613
A new approach to tractable deduction from an expressive knowledge base is presented that approximates formulae by automatically…
Expand