4573 search results - page 656 / 915 » Automated Reasoning |
118
click to vote
CSL
2004
Springer
15 years 3 months ago
2004
Springer
Two different systems are proposed for the task of capitalisation generation. The first system is a slightly modified speech recogniser. In this system, every word in the vocabula...
141
click to vote
ESWS
2006
Springer
15 years 7 months ago
2006
Springer
Classifications have been used for centuries with the goal of cataloguing and searching large sets of objects. In the early days it was mainly books; lately it has also become Web ...
135
click to vote
ECRA
2002
15 years 3 months ago
2002
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...
118
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
In many applications, tasks can be delegated to intelligent agents. In order to carry out a task, an agent should reason about what types of resources the task requires. However, ...
166
click to vote
KR
2010
Springer
15 years 8 months ago
2010
Springer
We propose a new family of probabilistic description logics (DLs) that, in contrast to most existing approaches, are derived in a principled way from Halpern’s probabilistic fi...