168 search results - page 10 / 34 » Towards Reasoning about the Past in Neural-symbolic Systems |
KCAP
2003
ACM
14 years 1 months ago
2003
ACM
One of the long-term goals of Artificial Intelligence is construction of a machine that is capable of reasoning about the everyday world the way humans are. In this paper, I fir...
AGENTCL
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. This paper proposes a new model of communication in multiagent systems according to which the semantics of communication depends on their pragmatics. Since these pragmati...
IFM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
IPCCC
2006
IEEE
14 years 2 months ago
2006
IEEE
In recent years, malicious software (malware) has become one of the most insidious threats in computer security. However, this is arguably not the result of increased sophisticati...
JELIA
2004
Springer
14 years 1 months ago
2004
Springer
Biochemical pathways or networks are generic representations used to model many different types of complex functional and physical interactions in biological systems. Models based ...