811 search results - page 74 / 163 » Semantic Web Reasoning with Conceptual Logic Programs |
COMPSAC
2010
IEEE
13 years 7 months ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
AAAI
2007
13 years 11 months ago
2007
We present a sound and complete logic for reasoning about SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL designed for the implementation of cog...
LOPSTR
2001
Springer
14 years 1 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
ESOP
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
ESWS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Ontology matching has become an important field of research over the last years. Although many different approaches have been proposed, only few of them are committed t...