2278 search results - page 284 / 456 » Markov logic networks |
176
click to vote
DIS
2007
Springer
16 years 19 days ago
2007
Springer
Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploi...
175
click to vote
POLICY
2007
Springer
16 years 17 days ago
2007
Springer
—There is increasing demand for running interacting applications in a secure and controllable way on mobile devices. Such demand is not fully supported by the Java/.NET security ...
165
click to vote
RR
2007
Springer
16 years 17 days ago
2007
Springer
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...
159
click to vote
SGAI
2007
Springer
16 years 17 days ago
2007
Springer
In this paper we describe a novel technique which implements a spatiotemporal model as a set of sub-models based on first order logic. These sub-models model different, typicall...
173
click to vote
DALT
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper is concerned with designing architectures for rational agents. In the proposed architecture, agents have belief bases that are theories in a multi-modal, highe...