1588 search results - page 153 / 318 » Modular action language |
118
click to vote
ESWS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This demo proposal aims at providing support for the localization of ontologies, and as a result at obtaining multilingual ontologies. We briefly present an advanced ver...
134
click to vote
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently defined the functor and monad classes, together with t...
121
click to vote
ECLIPSE
2005
ACM
15 years 5 months ago
2005
ACM
Sharing mutable data (via aliasing) is a powerful programming technique. To facilitate sharing, object-oriented programming languages permit the programmer to selectively break en...
140
Voted
FLAIRS
2006
15 years 5 months ago
2006
Cognitive modeling has outgrown the toy problems of the research labs and is increasingly tackling Industrial size applications. This growth is not matched in terms of software to...
102
Voted
FLAIRS
2003
15 years 5 months ago
2003
Meta-S is a practical implementation and extension of the theoretical framework developed by Hofstedt, which allows the user to attack problems requiring the cooperation of arbitr...