393 search results - page 74 / 79 » Probabilistic Description Logic Programs |
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Tightly-coupled multi-agent systems such as modular robots frequently exhibit properties of interest that span multiple modules. These properties cannot easily be detec...
POLICY
2007
Springer
14 years 1 months ago
2007
Springer
The growing diffusion of portable devices enables users to benefit from anytime and anywhere impromptu collaboration. Appropriate policy models that take into account the dynamici...
ICLP
2005
Springer
14 years 27 days ago
2005
Springer
The Semantic Web is a rapidly growing research area aiming at the exchange of semantic information over the World Wide Web. The Semantic Web is built on top of RDF, an XML-based ex...
ATAL
2009
Springer
14 years 1 days ago
2009
Springer
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
AGP
1999
IEEE
13 years 11 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...