1071 search results - page 197 / 215 » Modal Logics, Description Logics and Arithmetic Reasoning |
DEXAW
2008
IEEE
14 years 2 months ago
2008
IEEE
The semantic web aims at enabling the web to understand and answer the requests from people and machines. It relies on several standards for representing and reasoning about web c...
IAT
2007
IEEE
14 years 2 months ago
2007
IEEE
Agent training techniques study methods to embed empirical, inductive knowledge representations into intelligent agents, in dynamic, recursive or semi-automated ways, expressed in...
SEMWEB
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Recently, there have been a number of proposals for languages for expressing web service constraints and capabilities, with WSPolicy and WSPL leading the way. The propose...
DSOM
2004
Springer
14 years 1 months ago
2004
Springer
Netconf is a protocol proposed by the IETF that defines a set of operations for network configuration. One of the main issues of Netconf is to define operations such as validate...
DILS
2008
Springer
13 years 9 months ago
2008
Springer
With over 80 file formats to represent various chemical attributes, the conversion between one format and another is invariably lossy due to informal specifications. In contrast, t...