Jack Minker --- A profile

DOI10.1007/BF01530817zbMath0855.01036OpenAlexW2034029552WikidataQ109585665 ScholiaQ109585665MaRDI QIDQ1924718

Arcot Rajasekar, Jorge Lobo

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

Mathematics Subject Classification ID

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