Skip to search formSkip to main contentSkip to account menu

CARINE

Known as: Carine theorem prover, Delayed clause construction, Semi-Linear Resolution 
CARINE is a first-order classical logic automated theorem prover. CARINE (Computer Aided Reasoning engINE) is a resolution based theorem prover… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
Automated theorem provingFirst-order logicResolution (logic)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Development of new classification criteria for macrophage activation syndrome complicating systemic juvenile idiopathic arthritis
Macrophage activation syndrome (MAS) is a potentially fatal complication of systemic juvenile idiopathic arthritis (sJIA), whose… 
2013
2013
Pratiques et représentations juvéniles de l’écriture à l’ère d’internet
Ce cahier presente les principaux resultats d'une recherche sur les pratiques et les representations de l'ecriture menee aupres d… 
2012
2012
The relationship between improvisation and cognition
1 Chapter 1: What is Improvisation and to what Extent is it Different from Creativity? 1.1 What is Improvisation? 1.2 Verbal… 
2011
2011
Coherent noise removal in seismic data with redundant multiscale directional filters
Directional filters are commonly used tools in modern seismic data processing to address coherent signals, depending on their… 
2011
2011
Generation 2 testbed of Fresnel imager: first results on the sky
We present and discuss the first sky images obtained with a second generation “Fresnel Diffractive Array Imager” (FDAI) prototype… 
2010
2010
CFD Analysis of Hydrodynamic and Thermal Behaviour of Advanced-flow(tm) Reactors
Corning® Advanced-FlowTM glass reactors are continuous flow reactors with hydraulic diameter in the range of millimetres. These… 
2003
2003
Color Correction Judgements of Digital Images by Experts and Naive Observers
We have studied the preference judgement of pictorial images with two types of population: image experts and naive observers. We… 
Highly Cited
2000
Highly Cited
2000
Automating Support for Software Evolution in UML
Disciplined support for evolution of software artifacts is important in all phases of the software life-cycle. In order to… 
1999
1999
Etude de la formation de poudre dans des jets coaxiaux réactifs
L'une des etapes du procede de conversion de l'UF 6 gazeux en UO 2 solide par voie seche est la formation de poudre d'UO 2 F 2… 
Review
1993
Review
1993
Product Modeling for Requirements Engineering Process Modelling
  • J. Schmitt
  • Information System Development Process
  • 1993
  • Corpus ID: 14425762
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)