Meta-logics and Logic Programming
Krzysztof Rafal Apt, Franco Turini · Data Archiving and Networked Services (DANS) · 1995
Part 1 Foundations: correctness of the vanilla meta-interpreted and ambivalent syntax, M. Kalsbeek a vademecum of ambivalent logic, M. Kalsbeek and Y. Jiang two semantics for definite meta-programmes, using the non-ground representation, B. Martens and D. De Schreye meta-logic for programme composition - semantics issues, A. Brogi and F. Turini comparing negation in logic programming and in Prolog, K.R. Apt and F. Teusink. Part 2 Language support for meta-logics: towards fast and declarative meta-programming, A.F. Bowers and C.A. Gurr composing logic programmes by meta-programming in Godel, A. Brogi and S. Contiero meta-programming with theory systems, J. Barklund et al. Part 3 Meta-logics for knowledge management: using meta-logic to reconcile reactive with rational agents, R.A. Kowalski modal and meta languages - consistency and expressiveness, L. Carlucci Aiello et al model-based diagnosis preferences and strategies representation with logic meta-programming, C.V. Damasio et al the generalized chronoBase temporal data model, S.M. Sripada and P. Moller.