2685 search results - page 410 / 537 » A Formal Semantics for SPKI |
188
click to vote
FMCO
2004
Springer
16 years 10 days 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 ...
184
Voted
ISOLA
2004
Springer
16 years 10 days 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...
203
Voted
KR
2004
Springer
16 years 9 days 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...
177
click to vote
SEMWEB
2004
Springer
16 years 9 days 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...
194
click to vote
AGENTCL
2003
Springer
16 years 6 days 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...