2519 search results - page 369 / 504 » Reasoning with Textual Cases |
239
click to vote
ASP
2005
Springer
15 years 10 months ago
2005
Springer
Preferences are useful when the space of feasible solutions of a given problem is dense but not all these solutions are equivalent w.r.t. some additional requirements. In this case...
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
In multi-agent systems where sets of joint actions (JAs) are generated, metrics are needed to evaluate these sets and efficiently allocate resources for the many JAs. For the case...
164
click to vote
BPM
2005
Springer
15 years 10 months ago
2005
Springer
Companies are developing a growing interest in aligning their information systems in a process-oriented way. However, current processaware information systems (PAIS) fail to meet p...
138
click to vote
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Recently, the database and AI research communities have paid increased attention to ontologies. The main motivating reason is that ontologies promise solutions for comple...
124
click to vote
CIE
2005
Springer
15 years 10 months ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...