Speeding up inferences using relevance reasoning: a formalism and algorithms
From MaRDI portal
Publication:1127352
Recommendations
Cites work
- scientific article; zbMATH DE number 4053069 (Why is no real title available?)
- scientific article; zbMATH DE number 48837 (Why is no real title available?)
- scientific article; zbMATH DE number 139764 (Why is no real title available?)
- scientific article; zbMATH DE number 176242 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 1028818 (Why is no real title available?)
- scientific article; zbMATH DE number 1149436 (Why is no real title available?)
- scientific article; zbMATH DE number 2243391 (Why is no real title available?)
- scientific article; zbMATH DE number 4187143 (Why is no real title available?)
- scientific article; zbMATH DE number 3060434 (Why is no real title available?)
- A Proof Procedure Using Connection Graphs
- A Search Technique for Clause Interconnectivity Graphs
- A logical notion of conditional independence: properties and applications
- A theory of abstraction
- Abstract interpretation and application to logic programs
- Acquiring search-control knowledge via static analysis
- Alternation
- Compiling control
- Controlling backward inference
- Equivalence of Datalog queries is undecidable
- Equivalences Among Relational Expressions with the Union and Difference Operators
- Finding optimal derivation strategies in redundant knowledge bases
- Information integration using logical views
- Knowledge in flux. Modeling the dynamics of epistemic states
- On conjunctive queries containing inequalities
- On the logic of relevance
- Partial evaluation in logic programming
- Planning in a hierarchy of abstraction spaces
- Pushing constraint selections
- Recursive query processing: The power of logic
- Theorem proving with abstraction
- Whither relevance logic?
Cited in
(7)- scientific article; zbMATH DE number 1759716 (Why is no real title available?)
- Answering queries using limited external query processors
- Advances in Artificial Intelligence – SBIA 2004
- Towards Agent-Oriented Relevant Information
- Issues of feasibility, coherence, and robustness in a premise-to-claim model of argumentation: Result from four experiments
- Automated model selection for simulation based on relevance reasoning
- scientific article; zbMATH DE number 4060778 (Why is no real title available?)
This page was built for publication: Speeding up inferences using relevance reasoning: a formalism and algorithms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1127352)