4224 search results - page 281 / 845 » Reasoning about Choice |
221
click to vote
MATES
2005
Springer
16 years 25 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 ...
171
click to vote
RE
2005
Springer
16 years 24 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...
175
click to vote
AMAST
2004
Springer
16 years 22 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...
151
click to vote
CMSB
2004
Springer
16 years 22 days ago
2004
Springer
This paper presents binders and operators, in the process calculi tradition, to reason about biological interactions. Special binders are added to wrap a process just as membranes ...
187
click to vote
ICTAC
2004
Springer
16 years 21 days ago
2004
Springer
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and...