1914 search results - page 337 / 383 » Verification by Abstract Interpretation |
DALT
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. In order to facilitate the development of agent-based software, several agent programming languages and architectures, have been created. Plans in these architectures are...
ECAIW
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Procedural knowledge in medicine uses to come expressed as isolated sentences in Clinical Practice Guidelines (CPG) that describe how to act in front of specific health-c...
ER
2008
Springer
13 years 11 months ago
2008
Springer
Abstract Although most workflow management systems nowadays offer graphical editors for process modeling, the learning curve is still too steep for users who are unexperienced in p...
ESWS
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. We introduce domain-restricted RDF (dRDF) which allows to associate an RDF graph with a fixed, finite domain that interpretations for it may range over. We show that dRDF...
CLIMA
2007
13 years 11 months ago
2007
Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend ...