385 search results - page 41 / 77 » KNAML: A Knowledge Representation Language for Distributed R... |
183
Voted
ICCE
2007
15 years 4 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 ...
134
Voted
JODS
2006
15 years 3 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 ...
136
click to vote
BMCBI
2007
15 years 3 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...
138
click to vote
PLDI
2003
ACM
15 years 8 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...
113
click to vote
ATAL
2008
Springer
15 years 5 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...