Skip to search formSkip to main content>Semantic Scholar Semantic Scholar's Logo

Search

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

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2014

Highly Cited

2014

This paper describes a new architecture for first-order resolution and superposition theorem provers called AVATAR (Advanced… Expand

Highly Cited

2009

Highly Cited

2009

AbstractKolmogorov (Dokl. Akad. Nauk USSR, 14(5):953–956, 1957) showed that any multivariate continuous function can be… Expand

Highly Cited

2007

Highly Cited

2007

This paper presents a magnetic component equivalent circuit as well as a methodology to extract its parameters by using a finite… Expand

Highly Cited

2007

Highly Cited

2007

The research on olfactory sense in virtual reality has gradually expanded even though the technology is still premature. We have… Expand

Highly Cited

2005

Highly Cited

2005

We extend previous results on theorem proving for first-order clauses with equality to hierarchic first-order theories… Expand

Highly Cited

1999

Highly Cited

1999

We consider the restriction of the guarded fragment to the two-variable case where, in addition, binary relations may be… Expand

1998

1998

We define a superposition calculus specialized for abelian groups represented as integer modules, and show its refutational… Expand

1996

1996

We deene a superposition calculus specialized for abelian groups represented as integer modules, and show its refutational… Expand

Highly Cited

1994

Highly Cited

1994

Abstract This paper continues the investigation of representations of continuous functions f(x1, …, xn) with n ≥ 2 in the form f… Expand

Highly Cited

1993

Highly Cited

1993

Based on constructions of Kalmogorov and an earlier refinement of the author, we use a sequence of integrally independent… Expand