Skip to search formSkip to main content

You are currently offline. Some features of the site may not work correctly.

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

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

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

Is this relevant?

2008

2008

This paper investigates the semantics of conditional term rewriting systems with negation (denoted by EI-CTRS), called… Expand

Is this relevant?

2004

2004

This is a slightly enhanced version of the acceptance speech given by the author after receiving the Herbrand Award at the 19th… Expand

Is this relevant?

2004

2004

AbstractThis paper investigates a consistent versioncwasof Reiter's closed-world assumptioncwa. It provides a syntactic… Expand

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

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

Is this relevant?