5243 search results - page 317 / 1049 » Reasoning About Strategies |
167
click to vote
ICAIL
2005
ACM
16 years 10 days ago
2005
ACM
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of temporalised agency and temporalised normative positions. We argue about the ...
184
click to vote
ICLP
2005
Springer
16 years 9 days ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
210
click to vote
MATES
2005
Springer
16 years 8 days ago
2005
Springer
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
155
click to vote
RE
2005
Springer
16 years 8 days ago
2005
Springer
In this paper we discuss how mutual influences (e.g. conflicts) of different stakeholder concerns can be detected and reasoned about through composition and stepwise refinement. S...
158
click to vote
AMAST
2004
Springer
16 years 6 days ago
2004
Springer
We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed. The semantics of the logic is giv...