Linear resolution for consequence finding
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4174350 (Why is no real title available?)
- scientific article; zbMATH DE number 3872640 (Why is no real title available?)
- scientific article; zbMATH DE number 4162321 (Why is no real title available?)
- scientific article; zbMATH DE number 4049120 (Why is no real title available?)
- scientific article; zbMATH DE number 4061192 (Why is no real title available?)
- scientific article; zbMATH DE number 67456 (Why is no real title available?)
- scientific article; zbMATH DE number 67457 (Why is no real title available?)
- scientific article; zbMATH DE number 67497 (Why is no real title available?)
- scientific article; zbMATH DE number 3568056 (Why is no real title available?)
- scientific article; zbMATH DE number 3346109 (Why is no real title available?)
- scientific article; zbMATH DE number 3415409 (Why is no real title available?)
- A Machine-Oriented Logic Based on the Resolution Principle
- A Prolog technology theorem prover: Implementation by an extended Prolog compiler
- A Simplified Format for the Model Elimination Theorem-Proving Procedure
- A circumscriptive theorem prover
- A fixpoint semantics for disjunctive logic programs
- A logical framework for default reasoning
- A note on linear resolution strategies in consequence-finding
- An algorithm to compute circumscription
- An incremental method for generating prime implicants/implicates
- Circumscription - a form of non-monotonic reasoning
- Compiling a default reasoning system into Prolog
- Linear resolution with selection function
- Natural language and logic. International scientific symposium, Hamburg, FRG, 9-11 May 1989. Proceedings
- On the relationship between circumscription and negation as failure
- RST Flip-Flop Input Equations
- Refutation graphs
- Saturation, nonmonotonic reasoning and the closed-world assumption
- The Problem of Simplifying Truth Functions
- Two Results on Ordering for Resolution with Merging and Linear Format
Cited in
(30)- Abductive reasoning on molecular interaction maps
- How to produce information about a given entity using automated deduction methods
- Translation of first order formulas into ground formulas via a completion theory
- Reconsideration of circumscriptive induction with pointwise circumscription
- Theory of evidence ? A survey of its mathematical foundations, applications and computational aspects
- Model-based diagnostics and probabilistic assumption-based reasoning
- Embedding Logics in the Local Computation Framework
- Embedding circumscriptive theories in general disjunctive programs
- Brave Induction
- Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction
- SOLAR: a consequence finding system for advanced reasoning
- Metatheory of actions: beyond consistency
- A kind of logical compilation for knowledge bases
- Prioritized logic programming and its application to commonsense reasoning
- First order LUB approximations: characterization and algorithms
- Partition-based logical reasoning for first-order and propositional theories
- Brave induction: a logical framework for learning from incomplete information
- scientific article; zbMATH DE number 67453 (Why is no real title available?)
- Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities
- An abductive framework for negation in disjunctive logic programming
- Consequence finding algorithms
- Hypothesis finding based on upward refinement of residue hypotheses.
- A query answering algorithm for Lukaszewicz' general open default theory
- Completing causal networks by meta-level abduction
- A generic ATMS
- Temporal abductive reasoning about biochemical reactions
- Mode-Directed Inverse Entailment for Full Clausal Theories
- Hypothesis finding with proof theoretical appropriateness criteria
- scientific article; zbMATH DE number 4061192 (Why is no real title available?)
- scientific article; zbMATH DE number 67457 (Why is no real title available?)
This page was built for publication: Linear resolution for consequence finding
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1199916)
