303 search results - page 53 / 61 » From Description Logic Provers to Knowledge Representation S... |
ITS
1998
Springer
15 years 4 months ago
1998
Springer
The Tutoring Research Group at the University of Memphis is developing an intelligent tutoring system which takes advantages of recent technological advances in the areas of semant...
113
click to vote
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
The Ontology Definition Metamodel (ODM) defines a set of UML metamodels and profiles for development of RDF and OWL. The UML profiles in the ODM specification adapt UML notations t...
106
click to vote
CBMS
2006
IEEE
15 years 6 months ago
2006
IEEE
Computer based clinical guidelines have been developed to help caregivers in practicing medicine. GLIF3 (Guideline Interchange Format 3) is one of several standards that specify t...
102
click to vote
ADC
2009
Springer
15 years 7 months ago
2009
Springer
Access control has been studied for sometime, and there are a number of theories and techniques for handling access control for single or centralised systems; however, unique and ...
75
Voted
ILP
1998
Springer
15 years 4 months ago
1998
Springer
In this paper we argue that the use of a language with a type system, together with higher-order facilities and functions, provides a suitable basis for knowledge representation in...