Skip to search formSkip to main contentSkip to account menu

Herbrand Award

The Herbrand Award for Distinguished Contributions to Automated Reasoning is an award given by CADE Inc. (although it predates the formal… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
In a recent paper [8], a procedure was developed extending the first-order CERES method [4] so that it can handle cut-elimination… 
2013
2013
Recently Benno van den Berg (1) introduced a new class of realizability toposes which he christened Herbrand toposes. These… 
2013
2013
Nested Boolean functions or Boolean programs are an alternative to the quantified Boolean formula (QBF) characterization of… 
Review
2009
Review
2009
The acquisition of Semantic Web rules is very demanding and can be automated though partially by applying Machine Learning (ML… 
2001
2001
• Allows computers to reason completely, or nearly completely, automatically • Uses weak problem-solving methods • Prerequisite… 
1995
1995
This paper investigates the semantics of conditional term rewriting systems with negation (denoted by EI-CTRS), called… 
1982
1982
For a wide class of programming languages P and expressive interpretations I, we show that there exist sound and relatively… 
Review
1982
Review
1982
These two books are best considered as companion volumes. They both treat the decision problem for formulas of first order logic…