Jack Minker --- A profile
type: Item
instance of: scholarly article
title: Jack Minker --- A profile
zbMATH Open document ID: 0855.01036
DOI: 10.1007/BF01530817
author: Jorge Lobo
author: Arcot Rajasekar
published in: Annals of Mathematics and Artificial Intelligence
publication date: 1997-01-26T00:00:00Z
Mathematics Subject Classification ID: 01A70
Mathematics Subject Classification ID: 01A60
zbMATH DE Number: 937228
Wikidata QID: Q109585665
MaRDI profile type: Publication
cites work: An Analysis of Some Graph Theoretical Cluster Techniques
cites work: Generalized disjunctive well-founded semantics for logic programs.
cites work: Model theoretic approach to view updates in deductive databases
cites work: Disjunctive \(LP+\) integrity constraints = stable model semantics.
cites work: \(\Pi\)-representation: A clause representation for parallel search
cites work: Theory and algorithms for disjunctive deductive databases
cites work: Q3348436
cites work: View updates in stratified disjunctive databases
cites work: Q3983043
cites work: On optimizing the evaluation of a set of expressions
cites work: Inferences for numerical dependencies
cites work: Normalization and axiomatization for numerical dependencies
cites work: Q3340205
cites work: Q4051550
cites work: Q4016556
cites work: MRPPS?An interactive refutation proof procedure system for question-answering
cites work: The \(Q^*\) algorithm - a search strategy for a deductive question-answering system
cites work: Q3939270
cites work: On recursive axioms in deductive databases
cites work: A fixpoint semantics for disjunctive logic programs
cites work: Q4296303
cites work: An extension to linear resolution with selection function
cites work: Q3493314
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: The Semantics of Predicate Logic as a Programming Language
cites work: Resolution, Refinements, and Search Strategies: A Comparative Study
cites work: Ordered model trees: A normal form for disjunctive deductive databases
full work available at URL: https://doi.org/10.1007/bf01530817
OpenAlex ID: W2034029552
description: scientific article; zbMATH DE number 937228