5243 search results - page 267 / 1049 » Reasoning About Strategies |
194
click to vote
CADE
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...
203
click to vote
COMMA
2006
15 years 8 months ago
2006
In this paper we discuss the integration of two systems that are based on a specific theory of argumentation: the first, an existing web-based discussion forum; the second, a metho...
205
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
Agents in an organization need to coordinate their actions in order to reach the organizational goals. Organizational models specify the desired behaviour in terms of roles, relati...
175
click to vote
ENTCS
2008
15 years 6 months ago
2008
As an extension to Floyd-Hoare logic, separation logic has been used to facilitate reasoning about imperative programs manipulating shared mutable data structures. Recently, it ha...
172
click to vote
FLAIRS
2009
15 years 4 months ago
2009
The predicates that are used to encode a planning domain in PDDL often do not include concepts that are important for effectively reasoning about problems in the domain. In partic...