3535 search results - page 445 / 707 » Logic Program Specialisation |
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 3 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...
161
click to vote
CP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...