Pages that link to "Item:Q1199916"

The following pages link to Linear resolution for consequence finding (Q1199916):

Displaying 25 items.

• Translation of first order formulas into ground formulas via a completion theory (Q266881) (← links)
• Completing causal networks by meta-level abduction (Q374193) (← links)
• Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities (Q688819) (← links)
• Hypothesis finding with proof theoretical appropriateness criteria (Q817840) (← links)
• Reconsideration of circumscriptive induction with pointwise circumscription (Q833732) (← links)
• Metatheory of actions: beyond consistency (Q1028966) (← links)
• A generic ATMS (Q1125788) (← links)
• Model-based diagnostics and probabilistic assumption-based reasoning (Q1274679) (← links)
• A kind of logical compilation for knowledge bases (Q1331921) (← links)
• Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction (Q1344881) (← links)
• Prioritized logic programming and its application to commonsense reasoning (Q1589476) (← links)
• Hypothesis finding based on upward refinement of residue hypotheses. (Q1874226) (← links)
• Brave induction: a logical framework for learning from incomplete information (Q1959490) (← links)
• First order LUB approximations: characterization and algorithms (Q2457687) (← links)
• Partition-based logical reasoning for first-order and propositional theories (Q2457688) (← links)
• Brave Induction (Q3543278) (← links)
• Theory of evidence ? A survey of its mathematical foundations, applications and computational aspects (Q4289817) (← links)
• Embedding Logics in the Local Computation Framework (Q4443007) (← links)
• Temporal abductive reasoning about biochemical reactions (Q4586234) (← links)
• Embedding circumscriptive theories in general disjunctive programs (Q5101461) (← links)
• How to Produce Information About a Given Entity Using Automated Deduction Methods (Q5170287) (← links)
• Abductive Reasoning on Molecular Interaction Maps (Q5214097) (← links)
• A query answering algorithm for Lukaszewicz' general open default theory (Q5236435) (← links)
• An abductive framework for negation in disjunctive logic programming (Q5236438) (← links)
• Mode-Directed Inverse Entailment for Full Clausal Theories (Q5452095) (← links)