Jack Minker --- A profile

DOI10.1007/BF01530817MaRDI QIDQ1924718zbMATH OpenOpenAlexWikidataFDO

Authors Jorge Lobo, Arcot Rajasekar

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

• \(\Pi\)-representation: A clause representation for parallel search
• A fixpoint semantics for disjunctive logic programs
• A Machine-Oriented Logic Based on the Resolution Principle
• An Analysis of Some Graph Theoretical Cluster Techniques
• An extension to linear resolution with selection function
• Disjunctive \(LP+\) integrity constraints = stable model semantics.
• Generalized disjunctive well-founded semantics for logic programs.
• scientific article; zbMATH DE number 3874667 (Why is no real title available?)
• scientific article; zbMATH DE number 4199654 (Why is no real title available?)
• scientific article; zbMATH DE number 4166928 (Why is no real title available?)
• scientific article; zbMATH DE number 3755910 (Why is no real title available?)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 88998 (Why is no real title available?)
• scientific article; zbMATH DE number 3466489 (Why is no real title available?)
• scientific article; zbMATH DE number 591001 (Why is no real title available?)
• Inferences for numerical dependencies
• Model theoretic approach to view updates in deductive databases
• MRPPS?An interactive refutation proof procedure system for question-answering
• Normalization and axiomatization for numerical dependencies
• On optimizing the evaluation of a set of expressions
• On recursive axioms in deductive databases
• Ordered model trees: A normal form for disjunctive deductive databases
• Resolution, Refinements, and Search Strategies: A Comparative Study
• The Q^* algorithm - a search strategy for a deductive question-answering system
• The Semantics of Predicate Logic as a Programming Language
• Theory and algorithms for disjunctive deductive databases
• View updates in stratified disjunctive databases

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)