3773 search results - page 224 / 755 » Logical Reasoning |
155
click to vote
APWEB
2006
Springer
15 years 9 months ago
2006
Springer
Named Graphs is a simple, compatible extension to the RDF syntax that enables statements to be made about RDF graphs. This approach is in contrast to earlier attempts such as RDF r...
164
click to vote
AAAI
1990
15 years 6 months ago
1990
There are many planning applications that require an agent to coordinate its activities with processes that change continuously over time. Several proposals have been made for com...
220
click to vote
EIS
2011
15 years 12 days ago
2011
Policy languages (such as privacy and rights) have had little impact on the wider community. Now that Social Networks have taken off, the need to revisit Policy languages and real...
159
click to vote
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
Due to significant improvements in the capabilities of small devices such as PDAs and smart phones, these devices can not only consume but also provide Web Services. The dynamic n...
130
click to vote
CSL
2001
Springer
15 years 10 months ago
2001
Springer
We show in this paper a special extended logic, partition logic based on so called partition quantifiers, is able to capture some important complexity classes NP, P and NL by its ...