4690 search results - page 179 / 938 » An operational semantics for Scheme |
147
click to vote
LREC
2010
15 years 8 months ago
2010
We propose applying standardized linguistic annotation to terms included in labels of knowledge representation schemes (taxonomies or ontologies), hypothesizing that this would he...
164
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
We present a programming language for implementing multiagent systems consisting of a set of individual agents that interact with a computational organization specified in terms ...
159
click to vote
SEMWEB
2007
Springer
16 years 20 days ago
2007
Springer
The ability to compute the differences that exist between two RDF models is an important step to cope with the evolving nature of the Semantic Web (SW). In particular, RDF Deltas c...
151
click to vote
ICLP
2005
Springer
16 years 2 days ago
2005
Springer
Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new ...
172
click to vote
UML
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Nowadays, object-oriented meta-languages such as MOF (MetaObject Facility) are increasingly used to specify domain-specific languages in the model-driven engineering comm...