1941 search results - page 38 / 389 » Reasoning about Computations Using Two-Levels of Logic |
124
click to vote
AISC
2008
Springer
15 years 4 months ago
2008
Springer
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
115
click to vote
IWFM
2003
15 years 3 months ago
2003
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
ENTCS
2008
15 years 2 months ago
2008
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent systems. Its most significant feature is the first-class representation of concu...
111
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
108
click to vote
LOGCOM
2000
15 years 1 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...