Sold Out
Book Categories |
Series Foreword | ||
Preface | ||
Acknowledgements | ||
1 | Correctness of the Vanilla Meta-Interpreter and Ambivalent Syntax | 3 |
2 | A Vademecum of Ambivalent Logic | 27 |
3 | Two Semantics for Definite Meta-Programs, Using the Non-Ground Representation | 57 |
4 | Meta-Logic for Program Composition: Semantics Issues | 83 |
5 | Comparing Negation in Logic Programming and in Prolog | 111 |
6 | Towards Fast and Declarative Meta-Programming | 137 |
7 | Composing Logic Programs by Meta-Programming in Godel | 167 |
8 | Meta-Programming with Theory Systems | 195 |
9 | Using Meta-Logic to Reconcile Reactive with Rational Agents | 227 |
10 | Modal and Meta Languages: Consistency and Expressiveness | 243 |
11 | Model-based Diagnosis Preferences and Strategies Representation with Logic Meta-Programming | 267 |
12 | The Generalized ChronoBase Temporal Data Model | 309 |
Contributors | 337 |
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 CollectionMeta-Logics and Logic Programming
X
This Item is in Your InventoryMeta-Logics and Logic Programming
X
You must be logged in to review the productsX
X
X
Add Meta-Logics and Logic Programming, Investigating meta-programming within the logic programming paradigm, Meta-Logics and Logic Programming presents original research on an important extension of logic programming that makes it more amenable for knowledge representation and programming in g, Meta-Logics and Logic Programming to the inventory that you are selling on WonderClubX
X
Add Meta-Logics and Logic Programming, Investigating meta-programming within the logic programming paradigm, Meta-Logics and Logic Programming presents original research on an important extension of logic programming that makes it more amenable for knowledge representation and programming in g, Meta-Logics and Logic Programming to your collection on WonderClub |