232 search results - page 1 / 47 » Reflection principles in computational logic |
LOGCOM
2000
13 years 7 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 7 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 11 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
14 years 19 days ago
2002
IEEE
HICSS
2010
IEEE
14 years 2 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...