3573 search results - page 110 / 715 » Reasoning about Codata |
121
click to vote
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. An important open question in the semantic Web is the precise relationship between the RDF(S) semantics and the semantics of standard knowledge representation formalisms ...
108
click to vote
SACMAT
2006
ACM
15 years 9 months ago
2006
ACM
The growing importance of access control has led to the definition of numerous languages for specifying policies. Since these languages are based on different foundations, langua...
127
click to vote
AAAI
2007
15 years 5 months ago
2007
Here, we define a framework where defeasible argumentation is used for reasoning about beliefs, desires and intentions. A dialectical filtering process is introduced to obtain a...
138
click to vote
AMI
2008
Springer
15 years 5 months ago
2008
Springer
For an ambient intelligent agent to support a human in demanding tasks it is important to be aware of the progress made in a given workflow. It would be possible to interact with t...
112
click to vote
APLAS
2008
ACM
15 years 5 months ago
2008
ACM
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...