4595 search results - page 65 / 919 » Reasoning about Plans |
130
click to vote
ECSQARU
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Preferences and uncertainty occur in many real-life problems. The theory of possibility is one non-probabilistic way of dealing with uncertainty, which allows for easy in...
124
Voted
AAAI
2007
15 years 6 months ago
2007
This paper presents a logical axiomatization of bargaining solutions. A bargaining situation is described in propositional logic and the bargainers’ preferences are quantified ...
135
Voted
FLAIRS
2006
15 years 6 months ago
2006
The aim of this paper is to extend the modal logic of knowledge due to Moss and Parikh by state transformers arising, eg, from actions of agents. The peculiarity of Moss and Parik...
142
click to vote
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...
141
click to vote
ATVA
2005
Springer
15 years 10 months ago
2005
Springer
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...