Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

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… 
2010
2010
The Description Logic EL is an inexpressive knowledge representation language, which nevertheless has recently drawn considerable… 
Highly Cited
2009
Highly Cited
2009
Session 1. Invited Talk.- Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program… 
2007
2007
Multi-tier applications are traditionally designed in the style of a client-server architecture, forcing different parts of the… 
2004
2004
We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the… 
2003
2003
Bleed-fast, dyed cellulosics particularly absorbent papers have been obtained with a particular class of water-soluble, cationic… 
Review
2001
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… 
Highly Cited
2001
Highly Cited
2001
Highly Cited
2001