Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,148,344 papers from all fields of science
Search
Sign In
Create Free Account
Association for Automated Reasoning
Known as:
AAR
The Association for Automated Reasoning (AAR) is a non-profit corporation that serves as an association of researchers working on automated theorem…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
Automated reasoning
Automated theorem proving
CADE ATP System Competition
Conference on Automated Deduction
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Autonomy in Use for Information Fusion Systems
Erik Blasch
National Aerospace and Electronics Conference
2018
Corpus ID: 54450693
Current trends in autonomy result from many technical advancements in artificial intelligence, information communication, and…
Expand
2017
2017
Augmented Reality in Minimally Invasive Digestive Surgery
L. Soler
,
S. Nicolau
,
P. Pessaux
,
D. Mutter
,
J. Marescaux
2017
Corpus ID: 64034431
Minimally invasive surgery represents one of the main evolutions of surgical techniques. However, minimally invasive surgery adds…
Expand
2016
2016
Determining global ionospheric conductivity in the satellite and data assimilation age and assessing its influence on the Magnetosphere-Ionosphere-Thermosphere system
R. McGranaghan
2016
Corpus ID: 131941427
Review
2015
Review
2015
Alkali Aggregate Reaction in Nuclear Concrete Structures Part I: A Holistic Approach
N. Orbović
,
D. Panesar
,
S. Sheikh
,
F. Vecchio
,
C. Lamarche
,
A. Blahoianu
2015
Corpus ID: 54657132
The Alkali Silica Reaction (AAR), a type of Alkali Aggregate Reaction (AAR), is observed in some concrete structures in Eastern…
Expand
2008
2008
GLACIER MONITORING BY REMOTE SENSING AND GIS TECHNIQUES IN OPEN SOURCE ENVIRONMENT
E. Malinverni
,
C. Croci
,
Fabrizio Sgroi
2008
Corpus ID: 42081763
The disappearance of some glaciers of the world is due to the global climatic heating and other correlated phenomena. This also…
Expand
2006
2006
New Applications of Measurement Redundancy in High Performance Relative Navigation Systems for Aviation
S. Khanafseh
,
B. Kempny
,
B. Pervan
2006
Corpus ID: 114114562
This paper describes new methods for using measurement redundancy for navigation in two closely related aviation applications…
Expand
Review
2005
Review
2005
Automatic Causal Explanation Analysis for Combined Arms Training AAR
Randy Jensen
,
David Yu Chen
,
S. Henke
,
Margaret Nolan
,
Jacobs Sverdrup
2005
Corpus ID: 62741731
One of the challenges in developing intelligent, automated after action review (AAR) capabilities for simulation based training…
Expand
2005
2005
A Comparative Analysis of Multi-Class EEG Classification for Brain Computer Interface
F. Lee
,
Reinhold Scherer
,
R. Leeb
,
C. Neuper
,
H. Bischof
,
G. Pfurtscheller
2005
Corpus ID: 2171979
Classifying different electroencephalogram (EEG) patterns is one of the key components to designing a usable Brain Computer…
Expand
1993
1993
Incremental Validity of ACT Assessment Scores and High School Course Information for Freshmen Course Placement.
Cheng H. Ang
,
J. Noble
1993
Corpus ID: 195702866
This study examined the separate and joint use of high school course grades, course work taken, and ACT Assessment subject area…
Expand
1989
1989
A digital circuit performance analysis for tandem burst-error links in an ISDN environment
P. Kubat
,
R. Bollen
IEEE Transactions on Communications
1989
Corpus ID: 21146313
Tandem links with burst errors are analyzed using alternative renewal processes in continuous time. As in the well-known Gilbert…
Expand