2253 search results - page 313 / 451 » The ComFoRT Reasoning Framework |
141
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
— We introduce an optimization framework called prioritized optimization control, in which a nested sequence of objectives are optimized so as not to conflict with higher-priori...
137
click to vote
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing con...
147
click to vote
LOPSTR
2009
Springer
15 years 10 months ago
2009
Springer
In this work, we first consider a goal-oriented extension of the dependency pair framework for proving termination w.r.t. a given set of initial terms. Then, we introduce a new re...
136
click to vote
FASE
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
159
click to vote
SEFM
2008
IEEE
15 years 10 months ago
2008
IEEE
Formal models of rational user behaviour are essential for user-centred reasoning about interactive systems. At an level, planned behaviour and reactive behaviour are two importan...