1331 search results - page 212 / 267 » Description logic reasoning using the PTTP approach |
EDBTW
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Inconsistent contexts are death-wounds which usually result in contextaware applications' incongruous behaviors and users' perplexed feelings, therefore the ben...
157
click to vote
ICLP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The overhead of matching CHR rules is alleviated by constraint store indexing. Attributed variables provide an efficient means of indexing on logical variables. Existing ...
113
click to vote
ARGMAS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Several recent works in the area of Artificial Intelligence focus on computational models of argumentation-based negotiation. However, even if computational models of ar...
SASO
2010
IEEE
14 years 9 months ago
2010
IEEE
In an open distributed system, computational resources are peer-owned, and distributed over time and space. The fact that these resources can dynamically join or leave the system (...
144
click to vote
HICSS
2011
IEEE
14 years 2 months ago
2011
IEEE
Vulnerabilities in a system may have widely varying impacts on system security. In practice, security should not be defined as the absence of vulnerabilities. In practice, securit...