711 search results - page 95 / 143 » Knowledge Representation and Reasoning in (Controlled) Natur... |
FOIS
2006
13 years 10 months ago
2006
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
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 ...
ASP
2003
Springer
14 years 2 months ago
2003
Springer
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...
JODS
2006
13 years 9 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 ...