3891 search results - page 256 / 779 » A logic for strategic reasoning |
152
click to vote
DLOG
2003
15 years 8 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 ...
175
click to vote
CSL
2002
Springer
15 years 6 months ago
2002
Springer
In the process of interactive theorem proving one often works with incomplete higher order proofs. In this paper we address the problem of giving a correctness criterion for these ...
163
click to vote
ICTAI
2008
IEEE
16 years 1 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
183
Voted
ACL2
2006
ACM
16 years 17 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
175
Voted
CIA
2004
Springer
16 years 2 hour ago
2004
Springer
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...