Searching for "Strategy Logic." – sorted by Relevance.
-
Strategies for Logic Programming Languages
- Strategies for Logic Programming Languages Tatjana Lutovac and James Harland Department
- Add To MetaCart
-
The List Introduction Strategy for the Derivation of Logic Programs
- transformation; Transformation rules and strategies; Logic programming; Program derivation; Automatic programming
- Add To MetaCart
-
Internal Strategies in a Reflective Logic
- Internal Strategies in a Reflective Logic ? Manuel Clavel and Jos'e Meseguer Computer Science
- Cited by 20 (15 self) – Add To MetaCart
-
Strategies for the Efficient Solution of Hybrid Constraint Logic Programs
- Strategies for the Efficient Solution of Hybrid Constraint Logic Programs Stephan Frank, Petra
- Cited by 2 (2 self) – Add To MetaCart
-
Bi-Decomposition and Tree-Height Reduction for Timing Optimization
- -driven logic decomposition is presented. It is based on the combination of two strategies: logic bi
- Cited by 2 (0 self) – Add To MetaCart
-
A mechanical analysis of program verification strategies
- in the logic of the ACL2 theorem prover. Based on our formalization, we prove that each strategy is both sound
- Cited by 1 (1 self) – Add To MetaCart
-
Timing-Driven Logic Bi-Decomposition
- that produces circuits with reduced logic depth is presented. It combines two strategies: logic bi
- Cited by 3 (0 self) – Add To MetaCart
-
Logic for Mechanism Design - A Manifesto
- advance two main claims. The first is that logics --- and in particular, modal strategy logics --- are a
- Cited by 6 (2 self) – Add To MetaCart
-
CWI
- query execution strategy. The logical layer exploits probabilistic region algebra as the basis for query
- Add To MetaCart
-
Ecological Partial Deduction: Preserving Characteristic Trees Without Constraints
- -mail: michael@(email omitted); Abstract. A partial deduction strategy for logic programs usually uses
- Cited by 24 (14 self) – Add To MetaCart

