4008 search results - page 173 / 802 » An expressive language of signatures |
197
click to vote
DEXAW
2003
IEEE
15 years 11 months ago
2003
IEEE
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite univers...
185
click to vote
CEEMAS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper a modelling approach to the dynamics within a multiagent organisation is presented. A declarative, executable temporal modelling language for organisation d...
159
click to vote
VL
1999
IEEE
15 years 10 months ago
1999
IEEE
Sonnet was designed as a visual language for implementing real-time processes. Early design and development of behavioral components has largely focused on the domain of music pro...
158
click to vote
ICDCS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper describes the design of a scripting language aimed at expressing task (unit of computation) composition and inter-task dependencies of distributed applications whose ex...
165
click to vote
EKAW
1994
Springer
15 years 10 months ago
1994
Springer
Formal knowledge modelling languages have a number of advantages over informal languages, such as their precise meaning and the possibility to derive propertiesthrough formal proof...