SATCHMORE: SATCHMO with RElevancy
type: Item
instance of: scholarly article
title: SATCHMORE: SATCHMO with RElevancy
zbMATH Open document ID: 0939.68824
DOI: 10.1007/BF00881861
author: Donald W. Loveland
author: David Reed
author: Debra Sue Wilson
published in: Journal of Automated Reasoning
publication date: 1995-06-25T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 759362
describes a project that uses: SATCHMO
describes a project that uses: SATCHMOREBID
MaRDI profile type: Publication
cites work: Q5679729
cites work: An efficient strategy for non-Horn deductive databases
cites work: Q4249902
cites work: Q3339245
cites work: Q4016556
cites work: Q4139711
cites work: Q3821629
cites work: A fixpoint semantics for disjunctive logic programs
cites work: Generating relevant models
cites work: Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction
cites work: Schubert's steamroller problem: Formulations and solutions
full work available at URL: https://doi.org/10.1007/bf00881861
OpenAlex ID: W2025130747
description: scientific article; zbMATH DE number 759362