2685 search results - page 410 / 537 » A Formal Semantics for SPKI |
166
click to vote
FMCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
164
click to vote
ISOLA
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we introduce RML, which stands for Rule Markup Language and is used for rule–based transformations of XML. With RML the user can define XML wildcard elements, vari...
182
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
Although sorts and unary predicates are semantically identical in order-sorted logic, they are classified as different kinds of properties in formal ontology (e.g. sortal and non...
166
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The fast emergent areas of the Semantic Web and knowledge management push researchers to new efforts concerning ontology engineering. The development of ontologies must b...
181
click to vote
AGENTCL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The capabilities for agents in a team to anticipate informationneeds of teammates and proactively offer relevant information are highly desirable. However, such behavior...