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

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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
Identifiers
URN: urn:nbn:se:uu:diva-36481OAI: oai:DiVA.org:uu-36481DiVA: diva2:64380
Note
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

urn-nbn

Altmetric score

urn-nbn
Total: 363 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf