7960 search results - page 251 / 1592 » Systems for Knowledge and Beliefs |
EMNLP
2008
14 years 11 days ago
2008
We present an algorithmic framework for learning multiple related tasks. Our framework exploits a form of prior knowledge that relates the output spaces of these tasks. We present...
SCAI
2008
14 years 10 days ago
2008
The ability to give explanations for its reasoning and behaviour is a core capability of an intelligent system. There are a number of different goals a user can have towards such e...
DALT
2008
Springer
14 years 6 hour ago
2008
Springer
Abstract. This paper presents a complete temporal STIT logic for reasoning about multi-agency. I discuss its application for reasoning about norms, knowledge, autonomy, and other m...
ICCD
2004
IEEE
14 years 7 months ago
2004
IEEE
Functional verification of systems is aimed at validating the integration of previously verified components. It deals with complex designs, and invariably suffers from scarce re...
JCIT
2010
13 years 5 months ago
2010
Different kinds of agents in a multi-agent system have different knowledge structure, which results in difficulties of interaction and coordination among agents. At present, ontol...