Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

4 relations
Automated theorem provingResolution (logic)SCMScheme

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2013
Review
2013
The nature of LINER galaxies: Ubiquitous hot old stars and rare accreting black holes
Abstract Galaxies, which often contain ionised gas, sometimes also exhibit a so-called low-ionisation nuclear emission line… 
2012
2012
Stability of a cable in conduit conductor under fast magnetic field variations
Under fast magnetic field variations, ac losses are deposited in a Cable in Conduit Conductor (CICC). The corresponding power… 
2010
2010
The Lord of the Rings – a mythos applicable in unsustainable times?
This article explores the relevance of J.R.R. Tolkien’s The Lord of the Rings to environmental education and contemporary… 
Highly Cited
1999
Highly Cited
1999
Mind Model for Multimodal Communicative Creatures and Humanoids
This paper presents a computational model of real - time task - oriented dialog skills . The model , termed Ymir, bridges… 
Review
1997
Review
1997
Layered modular action control for communicative humanoids
  • K. Thórisson
  • Proceedings. Computer Animation '97 (Cat. No…
  • 1997
  • Corpus ID: 2198013
Face-to-face interaction between people is generally effortless and effective. We exchange glances, take turns speaking and make… 
1995
1995
Numerical simulations of the QUELL experiment in SULTAN
The QUench Experiment on Long Length (QUELL) in the SULTAN Facility is planned to investigate the quench propagation and… 
Highly Cited
1990
Highly Cited
1990
Beyond schema evolution to database reorganization
While the contents of databases can be easily changed, their organization is typically extremely rigid. Some databases relax the… 
Highly Cited
1986
Highly Cited
1986
Gandalf: Software development environments
Different programming projects require different environments, but handcrafting a separate environment for each project is not… 
1985
1985
The evolution of the GANDALF system
Highly Cited
1981
Highly Cited
1981
Software quality metrics based on interconnectivity
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)