The semantically guided linear deduction system

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations


SGLD has been implemented in Prolog, and performance testing shows the efficacy of using semantic information to guide search. As well the features described above, SGLD has facilities for imposing sort value deletion and for embedding equality. Sort value deletion is imposed via the same mechanism as the truth value deletion, but throughout deductions. Equality is embedded via an extension of the RUE and NRF inference rules [Digricoli, 1979].

Original languageEnglish (US)
Title of host publicationAutomated Deduction — CADE-11 - 11 th International Conference on Automated Deduction, Proceedings
EditorsDeepak Kapur
PublisherSpringer Verlag
Number of pages4
ISBN (Print)9783540556022
StatePublished - 1992
Externally publishedYes
Event11th International Conference on Automated Deduction, CADE, 1992 - Saratoga Springs, United States
Duration: Jun 15 1992Jun 18 1992

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume607 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other11th International Conference on Automated Deduction, CADE, 1992
Country/TerritoryUnited States
CitySaratoga Springs

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'The semantically guided linear deduction system'. Together they form a unique fingerprint.

Cite this