3265 search results - page 150 / 653 » Representing Groups on Graphs |
120
click to vote
CBMS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper focuses on the problem of representing, in a meaningful way, the knowledge involved in the HealthAgents project. Our work is motivated by the complexity of representing...
132
click to vote
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
145
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
The Knowledge Agent Mediation Language (KNAML) is designed for use in multi-agent reasoning systems. Like conceptual graphs, KNAML represents knowledge using concepts, relations, a...
120
click to vote
ESWS
2008
Springer
15 years 5 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...
154
click to vote
ENTCS
2006
15 years 4 months ago
2006
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...