7 search results - page 2 / 2 » Bidual Horn Functions and Extensions |
KR
2000
Springer
13 years 9 months ago
2000
Springer
Though overriding as a single and default mode of inheritance is adequate for most knowledge bases, a large class of applications naturally requires several inheritance modes and ...
CALCO
2009
Springer
14 years 25 days ago
2009
Springer
Abstract. Monads are a well-established tool for modelling various computational effects. They form the semantic basis of Moggi’s computational metalanguage, the metalanguage of ...