3773 search results - page 231 / 755 » Logical Reasoning |
130
click to vote
IJCAI
1989
15 years 6 months ago
1989
Nilsson's Probabilistic Logic is a set theoretic mechanism for reasoning with uncertainty. We propose a new way of looking at the probability constraints enforced by the fram...
160
click to vote
DLOG
2010
15 years 3 months ago
2010
Dynamic epistemic logic plays a key role in reasoning about multi-agent systems. Past approaches to dynamic epistemic logic have typically been focused on actions whose primary pur...
135
click to vote
DLOG
2007
15 years 7 months ago
2007
An important reasoning task, in addition to the standard DL reasoning services, is conjunctive query answering. In this paper, we present a decision procedure for conjunctive query...
121
click to vote
DLOG
2003
15 years 6 months ago
2003
We consider the problem of automated index selection for embedded control programs (ECPs). Such systems have the property that the transaction types, which can consist of queries ...
128
click to vote
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...