21 search results - page 3 / 5 » Inheritance in Rule-Based Frame Systems: Semantics and Infer... |
BIRTHDAY
2010
Springer
13 years 3 months ago
2010
Springer
We define the notions of a canonical inference rule and a canonical constructive system in the framework of strict single-conclusion Gentzen-type systems (or, equivalently, natural...
ICFP
2006
ACM
14 years 6 months ago
2006
ACM
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems ...
ACIIDS
2009
IEEE
13 years 11 months ago
2009
IEEE
— In this paper I show how ontologies support the student modelling through the semantic definition of concepts that depict a student. The aim is to outline the framework for bui...
MATES
2005
Springer
13 years 11 months ago
2005
Springer
Because there is still no agreed-upon global ontology, Web services supplied by different providers typically have individual and unique semantics, described by independently devel...
HICSS
2007
IEEE
14 years 17 days ago
2007
IEEE
Clinical Practice Guidelines (CPG) are used by healthcare practitioners to standardize clinical practice and to provide evidence mediated health-care. Currently, there have been c...