1941 search results - page 10 / 389 » Reasoning about Computations Using Two-Levels of Logic |
111
click to vote
AMAI
2004
Springer
15 years 5 months ago
2004
Springer
Using the ideas from current investigations in Knowledge Representation we study the use of a class of logic programs for reasoning about infinite sets. Those programs assert code...
138
Voted
FORTE
2009
14 years 11 months ago
2009
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
108
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...
144
click to vote
ENTCS
2006
15 years 1 months ago
2006
A logic for reasoning about states of basic quantum imperative programs is presented. The models of the logic are ensembles obtained by attaching probabilities to pairs of quantum...
120
click to vote
TARK
2007
Springer
15 years 8 months ago
2007
Springer
In the most popular logics combining knowledge and awareness, it is not possible to express statements about knowledge of unawareness such as “Ann knows that Bill is aware of so...