Wonder Club world wonders pyramid logo
×

Meta-Logics and Logic Programming Book

Meta-Logics and Logic Programming
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 has a rating of 3 stars
   2 Ratings
X
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
3 out of 5 stars based on 2 reviews
5
0 %
4
0 %
3
100 %
2
0 %
1
0 %
Digital Copy
PDF format
1 available   for $99.99
Original Magazine
Physical Format

Sold Out

  • Meta-Logics and Logic Programming
  • Written by author Krzysztof Apt
  • Published by MIT Press, September 1995
  • 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
  • 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 programmi
Buy Digital  USD$99.99

WonderClub View Cart Button

WonderClub Add to Inventory Button
WonderClub Add to Wishlist Button
WonderClub Add to Collection Button

Book Categories

Authors

Series Foreword
Preface
Acknowledgements
1Correctness of the Vanilla Meta-Interpreter and Ambivalent Syntax3
2A Vademecum of Ambivalent Logic27
3Two Semantics for Definite Meta-Programs, Using the Non-Ground Representation57
4Meta-Logic for Program Composition: Semantics Issues83
5Comparing Negation in Logic Programming and in Prolog111
6Towards Fast and Declarative Meta-Programming137
7Composing Logic Programs by Meta-Programming in Godel167
8Meta-Programming with Theory Systems195
9Using Meta-Logic to Reconcile Reactive with Rational Agents227
10Modal and Meta Languages: Consistency and Expressiveness243
11Model-based Diagnosis Preferences and Strategies Representation with Logic Meta-Programming267
12The Generalized ChronoBase Temporal Data Model309
Contributors337


Login

  |  

Complaints

  |  

Blog

  |  

Games

  |  

Digital Media

  |  

Souls

  |  

Obituary

  |  

Contact Us

  |  

FAQ

CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!!

X
WonderClub Home

This item is in your Wish List

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

X
WonderClub Home

This item is in your Collection

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

Meta-Logics and Logic Programming

X
WonderClub Home

This Item is in Your Inventory

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

Meta-Logics and Logic Programming

WonderClub Home

You must be logged in to review the products

E-mail address:

Password: