4737 search results - page 534 / 948 » The LOGIC negotiation model |
218
click to vote
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wel...
241
click to vote
JELIA
1994
Springer
15 years 11 months ago
1994
Springer
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
224
click to vote
AAAI
2004
15 years 9 months ago
2004
Plan recognition has traditionally been developed for logically encoded application domains with a focus on logical reasoning. In this paper, we present an integrated plan-recogni...
161
click to vote
WSC
1997
15 years 9 months ago
1997
The problem of order release planning for a make-toorder production facility is addressed. Traditionally, order-release planning in a multi-stage shop is performed with material r...
209
click to vote
COMPSAC
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper proposes MISSA, a novel middleware to facilitate the development and provision of stream-based services in emerging pervasive environments. The streambased services util...