3691 search results - page 462 / 739 » Bayesian Logic Programs |
183
click to vote
LPNMR
2007
Springer
16 years 22 days ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
189
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
171
click to vote
CONCUR
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
143
click to vote
ILP
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. It is well known by Inductive Logic Programming (ILP) practioners that ILP systems usually take a long time to find valuable models (theories). The problem is specially ...
162
click to vote
ARGMAS
2004
Springer
16 years 14 hour ago
2004
Springer
Negotiation can be conceived as the exchange of messages among self-interested agents in order to settle on an agreement over a given issue. They decide which messages to send acco...