Jack Minker --- A profile
From MaRDI portal
Publication:1924718
DOI10.1007/BF01530817zbMath0855.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
- On recursive axioms in deductive databases
- Inferences for numerical dependencies
- An extension to linear resolution with selection function
- \(\Pi\)-representation: A clause representation for parallel search
- View updates in stratified disjunctive databases
- Ordered model trees: A normal form for disjunctive deductive databases
- Disjunctive \(LP+\) integrity constraints = stable model semantics.
- Generalized disjunctive well-founded semantics for logic programs.
- Model theoretic approach to view updates in deductive databases
- The \(Q^*\) algorithm - a search strategy for a deductive question-answering system
- Theory and algorithms for disjunctive deductive databases
- A fixpoint semantics for disjunctive logic programs
- Normalization and axiomatization for numerical dependencies
- On optimizing the evaluation of a set of expressions
- Resolution, Refinements, and Search Strategies: A Comparative Study
- The Semantics of Predicate Logic as a Programming Language
- MRPPS?An interactive refutation proof procedure system for question-answering
- A Machine-Oriented Logic Based on the Resolution Principle
- An Analysis of Some Graph Theoretical Cluster Techniques
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item