MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Strategy Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

138 documents found, showing 1 through 10. Next 10 →

ATOM

Strategies for Logic Programming Languages
by Tatjana Lutovac, James Harland
…Strategies for Logic Programming Languages Tatjana Lutovac and James Harland Department…
Add To MetaCart

The List Introduction Strategy for the Derivation of Logic Programs
by Alberto Pettorossi, Maurizio Proietti — 2002
… transformation; Transformation rules and strategies; Logic programming; Program derivation; Automatic programming…
Add To MetaCart

Internal Strategies in a Reflective Logic
by Manuel Clavel, José Meseguer — 1997 — Proceedings of the CADE-14 Workshop on Strategies in Automated Deduction
…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
by Stephan Frank, Petra Hofstedt, Dirk Reckmann — 2004 — In Third Workshop on Multiparadigm Constraint Programming Languages – MultiCPL
…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
by Jordi Cortadella — Proc. IWLS ’02
…-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
by Sandip Ray — 2008 — Journal of Automated Reasoning
… 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
by Jordi Cortadella — 2003
… 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
by Marc Pauly, Michael Wooldridge — 2003 — In Proceedings of the 2003 Workshop on Game Theory and Decision Theory in Agent Systems (GTDT-2003
… 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
by Johan List, Vojkan Mihajlovic, Arjen P. Vries, Georgina Ramírez, Djoerd Hiemstra
… 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
by Michael Leuschel — 1995 — Logic Program Synthesis and Transformation. Proceedings of LOPSTR'95, LNCS 1048
…-mail: michael@(email omitted); Abstract. A partial deduction strategy for logic programs usually uses…
Cited by 24 (14 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB