5198 search results - page 155 / 1040 » A Logic of Agent Programs |
AAAI
1996
15 years 1 months ago
1996
A team of constraint agents with diverse viewpoints canfind a solution to a constraint satisfaction problem (CSP) whenthe individual agents have an incomplete viewof the problem.I...
ICMAS
1998
15 years 1 months ago
1998
This paper presents a generic architecture for an agent capable of designing and creating new agents. The design agent itself is based on an existing generic agent model, and inclu...
TLDI
2003
ACM
15 years 5 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
169
click to vote
ICLP
2009
Springer
16 years 9 days ago
2009
Springer
Recently, enabling modularity aspects in Answer Set Programming (ASP) has gained increasing interest to ease the composition of program parts to an overall program. In this paper, ...
DALT
2003
Springer
15 years 4 months ago
2003
Springer
We introduce and motivate a non-standard multi-modal logic to represent and reason about ignorance in Multi-Agent Systems. We argue that in Multi-agent systems being able to reaso...