1966 search results - page 270 / 394 » Description Logics and Planning |
163
click to vote
JAIR
2010
15 years 4 months ago
2010
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other...
175
click to vote
ATAL
2000
Springer
15 years 10 months ago
2000
Springer
A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The main reason for this problem of establishing a li...
182
click to vote
ESWS
2005
Springer
15 years 12 months ago
2005
Springer
Business models on the basis of digital content require sophisticated descriptions of that content, as well as service-oriented carrier architectures that allow to negotiate and en...
208
click to vote
WAIM
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents an architecture and a methodology for agent-based Web service discovery and automated composition. We assume that Web services are described with declarative sp...
147
click to vote
UAI
2008
15 years 7 months ago
2008
Formal languages for probabilistic modeling enable re-use, modularity, and descriptive clarity, and can foster generic inference techniques. We introduce Church, a universal langu...