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

Gandalf (theorem prover)

Known as: Gandalf (disambiguation), Gandalf theorem prover 
Gandalf is a first-order automated theorem prover applied to several domain-specifictasks such as Semantic web. It has also participated in The CADE… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
This article explores the relevance of J.R.R. Tolkien’s The Lord of the Rings to environmental education and contemporary… Expand
Is this relevant?
2010
2010
Multimodal natural behavior of humans presents a complex yet highly coordinated set of interacting processes. Providing robots… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2006
2006
Speaker verification is the biometric task of authenticating a claimed identity by means of analyzing a spoken sample of the… Expand
  • figure 3.1
  • figure 4.1
  • figure 5.1
  • figure 6.1
  • table 6.4
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Thesis (Ph. D.)--Massachusetts Institute of Technology, Program in Media Arts & Sciences, 1996. 
  • figure 1-1
  • figure 2-1
  • figure 2-2
  • figure 2-3
  • figure 2-5
Is this relevant?
1995
1995
The QUench Experiment on Long Length (QUELL) in the SULTAN Facility is planned to investigate the quench propagation and… Expand
Is this relevant?
Highly Cited
1990
Highly Cited
1990
While the contents of databases can be easily changed, their organization is typically extremely rigid. Some databases relax the… Expand
  • figure 3
  • figure 3-3
  • figure 3-2
Is this relevant?
Highly Cited
1986
Highly Cited
1986
Different programming projects require different environments, but handcrafting a separate environment for each project is not… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
1985
1985
The GANDALF System is used to generate highly interactive software development environments. This paper describes some design… Expand
Is this relevant?
Highly Cited
1981
Highly Cited
1981
We state a set of criteria that has guided the development of a metric system for measuring the quality of a largescale software… Expand
  • table 1
  • table 2
  • figure 1
  • table 4
  • figure 2
Is this relevant?
1980
1980
One of the more interesting and controversial features of Ada is the tasking structure. The Ada tasking facility provides high… Expand
Is this relevant?