uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Reflection principles in computational logic
Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology.
2000 (English)In: JOURNAL OF LOGIC AND COMPUTATION, ISSN 0955-792X, Vol. 10, no 6, 743-786 p.Article in journal (Refereed) Published
Abstract [en]

We introduce the concept of reflection principle as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of logic schemata intended to capture the basic properties of the domain knowled

Place, publisher, year, edition, pages
OXFORD UNIV PRESS , 2000. Vol. 10, no 6, 743-786 p.
Keyword [en]
reflection; computational logic; knowledge represenation paradigms; logical frameworks; logic programming; SEMANTICS
URN: urn:nbn:se:uu:diva-36481OAI: oai:DiVA.org:uu-36481DiVA: diva2:64380
Addresses: Univ Uppsala, Dept Comp Sci, S-75105 Uppsala, Sweden. Univ Aquila, Dipartimento Matemat Pura & Applicata, I-67100 Laquila, Italy. Insubria Univ, Fac Sci Varese, Ctr Informat Sci, I-21100 Varese, Italy.Available from: 2008-10-17 Created: 2008-10-17 Last updated: 2011-01-14

Open Access in DiVA

No full text

By organisation
Department of Information Technology

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 160 hits
ReferencesLink to record
Permanent link

Direct link