309 search results - page 21 / 62 » Towards practical reasoning agents for the semantic web |
AAAI
2008
14 years 14 days ago
2008
One of the core goals of the Semantic Web is to store data in distributed locations, and use ontologies and reasoning to aggregate it. Social networking is a large movement on the...
APPINF
2003
13 years 11 months ago
2003
We present an application prototype of dynamic knowledge representation programmed in LUPS (a language for updating logic programs). This is a case study to model intelligent agen...
IEEEHPCS
2010
13 years 8 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
FLAIRS
2006
13 years 11 months ago
2006
Representation is a fluent. A mismatch between the real world and an agent's representation of it can be signalled by unexpected failures (or successes) of the agent's r...
COMMA
2006
13 years 11 months ago
2006
This paper demonstrates the potential of the Semantic Web as a platform for representing, navigating and processing arguments on a global scale. We use the RDF Schema (RDFS) ontolo...