232 search results - page 1 / 47 » Reflection principles in computational logic |
LOGCOM
2000
13 years 4 months ago
2000
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 l...
ICFP
2005
ACM
14 years 4 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
MA
2000
Springer
13 years 8 months ago
2000
Springer
Mobile Maude is a mobile agent language extending the rewriting logic language Maude and supporting mobile computation. Mobile Maude uses reflection to obtain a simple and general ...
PRDC
2002
IEEE
13 years 9 months ago
2002
IEEE
HICSS
2010
IEEE
13 years 11 months ago
2010
IEEE
Current approaches to the design of interactive systems emphasize openness, dynamic behavior, and evolution of the system. There is also a growing interest in accounting for human...