The following pages link to A theory of abstraction (Q1199923):
Displaying 28 items.
- On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras (Q481102) (← links)
- An application of fuzzy hypergraphs and hypergraphs in granular computing (Q781861) (← links)
- Hierarchical model-based diagnosis based on structural abstraction (Q814590) (← links)
- Hierarchical fault diagnosis for discrete-event systems under global consistency (Q853679) (← links)
- Evaluating ASP and commercial solvers on the CSPLib (Q1020490) (← links)
- Exploiting functional dependencies in declarative problem specifications (Q1028967) (← links)
- Speeding up inferences using relevance reasoning: a formalism and algorithms (Q1127352) (← links)
- Conceptual fuzzy sets and their connectives (Q1304223) (← links)
- The inevitability of inconsistent abstract spaces (Q1311395) (← links)
- Automatically generating abstractions for planning (Q1332851) (← links)
- Calculating criticalities (Q1391896) (← links)
- Constraint solving for proof planning (Q1774557) (← links)
- On terminating lemma speculations. (Q1854370) (← links)
- Tractable reasoning via approximation (Q1855213) (← links)
- On the construction of hierarchic models (Q1924808) (← links)
- Proving theorems by reuse (Q1978233) (← links)
- A framework for analysing state-abstraction methods (Q2060741) (← links)
- An approximation framework for solvers and decision procedures (Q2362497) (← links)
- Automated reformulation of specifications by safe delay of constraints (Q2457622) (← links)
- Towards a practical theory of reformulation for reasoning about physical systems (Q2457693) (← links)
- Abstracting soft constraints: framework, properties, examples (Q2676586) (← links)
- A Proof-Planning Framework with explicit Abstractions based on Indexed Formulas (Q2841241) (← links)
- First-Order Logic Theorem Proving and Model Building via Approximation and Instantiation (Q2964455) (← links)
- (Q4536717) (← links)
- Termination of theorem proving by reuse (Q4647503) (← links)
- ABSFOL: A proof checker with abstraction (Q4647506) (← links)
- Deduction as an Engineering Science (Q4916217) (← links)
- A taxonomy for similarity metrics between Markov decision processes (Q6097106) (← links)
