Skip to search formSkip to main contentSkip to account menu

International Joint Conference on Automated Reasoning

Known as: IJCAR, International Joined Conference on Automated Reasoning 
The International Joint Conference on Automated Reasoning (IJCAR) is a series of conferences on the topics of automated reasoning, automated… 
Wikipedia (opens in a new tab)

Related topics

Related topics

11 relations
Alan Turing Centenary ConferenceAssociation for Automated ReasoningAutomated reasoningCADE ATP System Competition

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
A Consequence-based Algebraic Calculus for SHOQ
. In this paper, we present a novel consequence-based algo-rithm to perform subsumption reasoning in SHOQ , which support nomi… 
2014
2014
A Production SyStem for informAtion extrAction BASed on comPlete SyntActic ‐ SemAntic AnAlySiS
Evaluation tests were conducted on the MUC-6 corpus. The overall F-measure we achieved using Compreno technology was 0.83, which… 
2012
2012
Proceedings of the IJCAR workshop on Automated Theory Exploration
2011
2011
Extending relAPS to first order logic
RelAPS is an interactive system assisting in proving relation-algebraic theorems. The aim of the system is to provide an… 
2008
2008
Proceedings of the 4th international joint conference on Automated Reasoning
2008
2008
Analysis and Verification Challenges for Cyber-Physical Transportation Systems
Substantial technological and engineering advances in various disciplines make it possible more than ever before to provide… 
2004
2004
The IJCAR 2004 Workshop on Computer-Supported Mathematical Theory Development
1995
1995
Joint Conference on Standard Setting for Large-Scale Assessments (Washington, D.C., October 5-7, 1994). Proceedings, Volume II.
1995
1995
Joint Conference on Standard Setting for Large-Scale Assessments (Washington, D.C., October 5-7, 1994). Executive Summary, Volume I.
1975
1975
Verification Vision within a programmable assembly system: an introductory discussion.
This paper defines a class of visual feedback tasks called "Verification Vision" which includes a significant portion of the… 
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)