Sold Out
Book Categories |
Logic Frameworks for Logic Programs | 1 | |
An Extended Transformation System for CLP Programs | 17 | |
Using Call/Exit Analysis for Logic Program Transformation | 36 | |
A Transformation System for Definite Programs Based on Termination Analysis | 51 | |
On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects | 69 | |
Transforming Specifications of Observable Behaviour into Programs | 88 | |
On Specification Frameworks and Deductive Synthesis of Logic Programs | 104 | |
Partial Evaluation of the "Real Thing" | 122 | |
Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types | 138 | |
Generalizing Extended Execution for Normal Programs | 154 | |
Partial Deduction of Disjunctive Logic Programs: A Declarative Approach | 170 | |
Avoiding Non-Termination when Learning Logical Programs: A Case Study with FOIL and FOCL | 183 | |
Propagation of Inter-Argument Dependencies in Tuple-Distributive Type Inference Systems | 199 | |
Logic Programming and Logic Grammars with First-Order Continuations | 215 | |
Improving the Whelk System: A Type-Theoretic Reconstruction | 231 | |
A Model of Costs and Benefits of Meta-Level Computation | 248 | |
A Basis for a Multilevel Metalogic Programming Language | 262 | |
Logic Programs with Tests | 276 | |
An Architecture with Multiple Meta-levels for the Development of Correct Programs | 293 | |
More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics | 311 | |
Formal Semantics of Temporal Epistemic Reflection | 332 | |
Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning | 353 | |
Godel as a Meta-Language for Composing Logic Programs | 377 | |
A Module System for Meta-Programming | 395 | |
Building Proofs in Context | 410 | |
Introspective Metatheoretic Reasoning | 425 | |
Abstract Debugging of Logic Programs | 440 | |
Author Index | 451 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionLogic Program Synthesis and Transformation - Meta-Programming in Logic
X
This Item is in Your InventoryLogic Program Synthesis and Transformation - Meta-Programming in Logic
X
You must be logged in to review the productsX
X
X
Add Logic Program Synthesis and Transformation - Meta-Programming in Logic, This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994. This book includes thoroug, Logic Program Synthesis and Transformation - Meta-Programming in Logic to the inventory that you are selling on WonderClubX
X
Add Logic Program Synthesis and Transformation - Meta-Programming in Logic, This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994. This book includes thoroug, Logic Program Synthesis and Transformation - Meta-Programming in Logic to your collection on WonderClub |