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

Herbrand Award

The Herbrand Award for Distinguished Contributions to Automated Reasoning is an award given by CADE Inc. (although it predates the formal… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Proof schemata provide an alternative formalism for handling inductive argumentation, while non-trivially extending Herbrand’s… Expand
  • figure 1
  • figure 2
Is this relevant?
2013
2013
Recently Benno van den Berg (1) introduced a new class of realizability toposes which he christened Herbrand toposes. These… Expand
Is this relevant?
2012
2012
We consider cut-elimination in the sequent calculus for classical first-order logic. It is well known that this system, in its… Expand
  • figure 1
Is this relevant?
Review
2009
Review
2009
The acquisition of Semantic Web rules is very demanding and can be automated though partially by applying Machine Learning (ML… Expand
  • table 1
  • table 2
  • table 3
Is this relevant?
2008
2008
  • H. Wang, H. Chen
  • Journal of Computer Science and Technology
  • 2008
  • Corpus ID: 1909284
This paper investigates the semantics of conditional term rewriting systems with negation (denoted by EI-CTRS), called… Expand
Is this relevant?
2004
2004
  • P. Andrews
  • Journal of Automated Reasoning
  • 2004
  • Corpus ID: 9542444
This is a slightly enhanced version of the acceptance speech given by the author after receiving the Herbrand Award at the 19th… Expand
  • figure 6
  • figure 7
  • figure 8
Is this relevant?
2004
2004
  • M. Suchenek
  • Journal of Automated Reasoning
  • 2004
  • Corpus ID: 38135575
AbstractThis paper investigates a consistent versioncwasof Reiter's closed-world assumptioncwa. It provides a syntactic… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2001
2001
An atomic representation of a Herbrand model (ARM) is a finite set of (not necessarily ground) atoms over a given Herbrand… Expand
  • figure 1
Is this relevant?
1997
1997
The Robbins problem was solved in October 1996 [7] by the equational theorem prover EQP [6]. Although the solution was automatic… Expand
Is this relevant?
1982
1982
For a wide class of programming languages P and expressive interpretations I, we show that there exist sound and relatively… Expand
  • figure 3-4
Is this relevant?