The following pages link to Jack Minker (Q1062475):
Displayed 50 items.
- On recursive axioms in deductive databases (Q1062477) (← links)
- Completeness results for circumscription (Q1073787) (← links)
- Inferences for numerical dependencies (Q1079963) (← links)
- An extension to linear resolution with selection function (Q1160497) (← links)
- Semantics of Horn and disjunctive logic programs (Q1177928) (← links)
- The Earley algorithm as a problem representation (Q1212802) (← links)
- \(\Pi\)-representation: A clause representation for parallel search (Q1216192) (← links)
- Binary relations, matrices and inference developments (Q1243124) (← links)
- Logic knowledge bases with two default rules (Q1267777) (← links)
- View updates in stratified disjunctive databases (Q1319392) (← links)
- Ordered model trees: A normal form for disjunctive deductive databases (Q1344891) (← links)
- Disjunctive \(LP+\) integrity constraints = stable model semantics. (Q1353944) (← links)
- Generalized disjunctive well-founded semantics for logic programs. (Q1354026) (← links)
- On stratified disjunctive programs (Q1356225) (← links)
- Model theoretic approach to view updates in deductive databases (Q1815856) (← links)
- Weak generalized closed world assumption (Q1825049) (← links)
- The \(Q^*\) algorithm - a search strategy for a deductive question-answering system (Q1844090) (← links)
- Theory and algorithms for disjunctive deductive databases (Q1901123) (← links)
- (Q2734929) (← links)
- To Vladimir Lifschitz on His 65th Birthday (Q2900498) (← links)
- Homage to Michael Gelfond on His 65 th Birthday (Q3001909) (← links)
- Bottom-up computation of perfect models for disjunctive theories (Q3128528) (← links)
- A fixpoint semantics for disjunctive logic programs (Q3198867) (← links)
- (Q3248137) (← links)
- Extremal Interpolatory Problems in the Unit Disc (Q3271947) (← links)
- (Q3340205) (← links)
- (Q3477931) (← links)
- (Q3493314) (← links)
- (Q3692901) (← links)
- Computing protected circumscription (Q3702535) (← links)
- Normalization and axiomatization for numerical dependencies (Q3738612) (← links)
- (Q3820058) (← links)
- (Q3914961) (← links)
- (Q3939270) (← links)
- On optimizing the evaluation of a set of expressions (Q3947169) (← links)
- (Q4016556) (← links)
- State-space problem-reduction, and theorem proving—some relationships (Q4086735) (← links)
- Resolution, Refinements, and Search Strategies: A Comparative Study (Q4096460) (← links)
- A note on answer extraction in resolution-based systems (Q4185847) (← links)
- An overview of nonmonotonic reasoning and logic programming (Q4275255) (← links)
- (Q4296303) (← links)
- Model generation and state generation for disjunctive logic programs (Q4352541) (← links)
- (Q4379675) (← links)
- (Q4391449) (← links)
- (Q4400806) (← links)
- In Memoriam: RAYMOND REITER June 12, 1939 – September 16, 2002 (Q4452588) (← links)
- A logic-based approach to data integration (Q4452619) (← links)
- (Q4619828) (← links)
- (Q4707748) (← links)
- MRPPS?An interactive refutation proof procedure system for question-answering (Q4766066) (← links)