609 search results - page 101 / 122 » Declarative programming for agent applications |
136
Voted
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...
110
Voted
AAAI
2004
15 years 4 months ago
2004
Over-constrained problems can have an exponential number of conflicts, which explain the failure, and an exponential number of relaxations, which restore the consistency. A user o...
89
Voted
AAAI
1990
15 years 4 months ago
1990
Automating proofs by induction is important in many computer science and artificial intelligence applications, in particular in program verification and specification systems. We ...
116
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...
116
click to vote
CL
2010
Springer
15 years 2 months ago
2010
Springer
In a modern programming language, scoping rules determine the visibility of names in various regions of a program [15]. In this work, we examine the idea of allowing an applicatio...