Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 232,221,419 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
A Security Meta-model for Service-Oriented Architectures
Michael Menzel
,
C. Meinel
IEEE International Conference on Services…
2009
Corpus ID: 15197715
Services account for a major part of the IT industry today. Companies increasingly like to focus on their core expertise area and…
Expand
2007
2007
Contextualization of a DL Knowledge Base
K. Goczyła
,
W. Waloszek
,
A. 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
2004
2004
Operationalizing Domain Ontologies: A Method and a Tool
F. Fürst
,
M. Leclère
,
F. Trichet
European Conference on Artificial Intelligence
2004
Corpus ID: 18415047
The work presented in this paper deals with the integration of domain ontologies in Knowledge Based Systems (KBS). We claim that…
Expand
Review
2003
Review
2003
A Formal Model of a Multi-Robot Control and Communication Task
E. Klavins
2003
Corpus ID: 2756435
We introduce the Computation and Control Language (CCL), a guarded-command language for expressing systems wherein control and…
Expand
1993
1993
Monological reason-based logic: a low level integration of rule-based reasoning and case-based reasoning
J. Hage
International Conference on Artificial…
1993
Corpus ID: 262689591
This paper contains an informal introduction to a theory about legal reasoning (reason-based logic) that takes the notion of a…
Expand
Highly Cited
1990
Highly Cited
1990
Analogy for automated reasoning
Stephen Owen
Perspectives in artificial intelligence
1990
Corpus ID: 60982445
What is analogy? heuristics for analogy matching flexible matching plan construction plan application learning global analogies.
Review
1988
Review
1988
Artificial intelligence techniques for diagnostic reasoning in medicine
R. Patil
1988
Corpus ID: 58429657
1985
1985
Using Model Theory to Specify AI Programs
Alan M. Frisch
International Joint Conference on Artificial…
1985
Corpus ID: 10441045
This paper proposes a method for adapting the traditional devices of model theory to the task of specifying the input/output…
Expand
1984
1984
Claims Analysis and Computer Reasoning
James Diekmann
,
T. A. Kruppenbacher
1984
Corpus ID: 110942416
Contract dispute resolution is an area in which design and construction professionals often require legal advice. Even though…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE