Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Handbook of Automated Reasoning

The Handbook of Automated Reasoning (ISBN 0444508139, 2128 pages) is a collection of survey articles on the field of automated reasoning. Published… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
The OWL 2 QL profile has been designed to facilitate query answering via query rewriting. This paper presents an optimized query… Expand
  • table 1
  • figure 1
  • table 3
  • table 4
Is this relevant?
2010
2010
Unification in Description Logics has been proposed as a novel inference service that can, for example, be used to detect… Expand
  • table 1
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Session 1. Invited Talk.- Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program… Expand
Is this relevant?
2009
2009
We present a resolution based reasoning algorithm called DL calculus that decides concept satisfiability for the SHQ language… Expand
  • figure 1
  • figure 2
Is this relevant?
2006
2006
In this paper we present a method of integrating theory reasoning into the instantiation framework. This integration is done in… Expand
Is this relevant?
2003
2003
Bleed-fast, dyed cellulosics particularly absorbent papers have been obtained with a particular class of water-soluble, cationic… Expand
  • figure 5.5
Is this relevant?
Review
2001
Review
2001
Part I. History Chapter 1. The Early History of Automated Deduction (Martin Davis). 1. Presburger's Procedure. 2. Newell, Shaw… Expand
Is this relevant?
Highly Cited
2001
Highly Cited
2001
 
Is this relevant?
Highly Cited
2001
Highly Cited
2001
 
Is this relevant?
Review
2001
Review
2001
From the Publisher: Automated reasoning has matured into one of the most advanced areas of computer science. It is used in many… Expand
Is this relevant?