Meta-logics and logic programming /
保存先:
| その他の著者: | , |
|---|---|
| フォーマット: | 図書 |
| 言語: | English |
| 出版事項: |
Cambridge, Mass. :
MIT Press,
1995.
|
| シリーズ: | Logic programming
|
| 主題: |
目次:
- 1. Correctness of the Vanilla Meta-Interpreter and Ambivalent Syntax / M. Kalsbeek
- 2. A Vademecum of Ambivalent Logic / M. Kalsbeek and Y. Jiang
- 3. Two Semantics for Definite Meta-Programs, Using the Non-Ground Representation / B. Martens and D. De Schreye
- 4. Meta-Logic for Program Composition: Semantics Issues / A. Brogi and F. Turini
- 5. Comparing Negation in Logic Programming and in Prolog / K. R. Apt and F. Teusink
- 6. Towards Fast and Declarative Meta-Programming / A. F. Bowers and C. A. Gurr
- 7. Composing Logic Programs by Meta-Programming in Godel / A. Brogi and S. Contiero
- 8. Meta-Programming with Theory Systems / J. Barklund, K. Boberg, P. Dell'Acqua and M. Veanes
- 9. Using Meta-Logic to Reconcile Reactive with Rational Agents / R. A. Kowalski
- 10. Modal and Meta Languages: Consistency and Expressiveness / L. Carlucci Aiello, M. Cialdea, D. Nardi and M. Schaerf.
- 11. Model-based Diagnosis Preferences and Strategies Representation with Logic Meta-Programming / C. V. Damasio, W. Nejdl, L. M. Pereira and M. Schroeder
- 12. The Generalized ChronoBase Temporal Data Model / S. M. Sripada and P. Moller.