385 search results - page 41 / 77 » KNAML: A Knowledge Representation Language for Distributed R... |
ICCE
2007
13 years 10 months ago
2007
: Problem-based learning (PBL) is becoming increasingly popular in medical education as a means of equipping students with the required clinical reasoning skills. However, faculty ...
JODS
2006
13 years 8 months ago
2006
Knowledge representation languages that combine rules with object-oriented features akin to frame systems have recently attracted a lot of research interest, and F-logic is widely ...
BMCBI
2007
13 years 8 months ago
2007
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...
PLDI
2003
ACM
14 years 1 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
Some natural epistemic properties which may arise in applications can only be expressed in standard epistemic logic by formulae which are exponentially long in the number of agent...