431 search results - page 24 / 87 » R-calculus: A Logical Approach for Knowledge Base Maintenanc... |
ICC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract—Secure multicast has become an important component of many applications in wireless networks. In this paper, we investigate secure intra and inter group information shar...
100
click to vote
ML
2006
ACM
14 years 11 months ago
2006
ACM
We propose a simple approach to combining first-order logic and probabilistic graphical models in a single representation. A Markov logic network (MLN) is a first-order knowledge b...
133
click to vote
CL
2012
Springer
13 years 2 months ago
2012
Springer
Distributed logic programming languages, that allow both facts and programs to be distributed among different nodes in a network, have been recently proposed and used to declarati...
ATAL
1995
Springer
15 years 3 months ago
1995
Springer
This paper describes a novel approach to high-level agent programming based on a highly developed logical theory of action. The user provides a specification of the agents’ bas...
105
click to vote
JAIR
2007
14 years 11 months ago
2007
Matchmaking arises when supply and demand meet in an electronic marketplace, or when agents search for a web service to perform some task, or even when recruiting agencies match c...