241 search results - page 6 / 49 » Propositional knowledge and know-how |
DRM
2007
Springer
15 years 4 months ago
2007
Springer
provides a very brief overview of some of the main points. References are given to my papers, where those points are explained in more detail, and citations are provided to the ext...
AAAI
2010
14 years 11 months ago
2010
In this paper, we study the knowledge compilation task for propositional epistemic logic S5. We first extend many of the queries and transformations considered in the classical kn...
BMCBI
2006
14 years 9 months ago
2006
Background: Propositional representations of biomedical knowledge are a critical component of most aspects of semantic mining in biomedicine. However, the proper set of propositio...
AAAI
2000
14 years 11 months ago
2000
In this paper, we analyse a concept of total knowledge based on the idea that an agent's total knowledge is the strongest proposition the agent knows. We propose semantics fo...
KR
2004
Springer
15 years 3 months ago
2004
Springer
Motivational attitudes play an important role in investigations into intelligent agents. One of the key problems of representing and reasoning about motivational attitudes is whic...