Jack Minker --- A profile
From MaRDI portal
Publication:1924718
DOI10.1007/BF01530817zbMATH Open0855.01036OpenAlexW2034029552WikidataQ109585665 ScholiaQ109585665MaRDI QIDQ1924718
Publication date: 26 January 1997
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01530817
History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Inferences for numerical dependencies
- The Semantics of Predicate Logic as a Programming Language
- A Machine-Oriented Logic Based on the Resolution Principle
- Model theoretic approach to view updates in deductive databases
- An Analysis of Some Graph Theoretical Cluster Techniques
- A fixpoint semantics for disjunctive logic programs
- On recursive axioms in deductive databases
- Disjunctive \(LP+\) integrity constraints = stable model semantics.
- Theory and algorithms for disjunctive deductive databases
- Normalization and axiomatization for numerical dependencies
- Ordered model trees: A normal form for disjunctive deductive databases
- Generalized disjunctive well-founded semantics for logic programs.
- Resolution, Refinements, and Search Strategies: A Comparative Study
- An extension to linear resolution with selection function
- \(\Pi\)-representation: A clause representation for parallel search
- The \(Q^*\) algorithm - a search strategy for a deductive question-answering system
- MRPPS?An interactive refutation proof procedure system for question-answering
- View updates in stratified disjunctive databases
- On optimizing the evaluation of a set of expressions
This page was built for publication: Jack Minker --- A profile
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1924718)