878 search results - page 76 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
184
click to vote
MMAS
2004
Springer
15 years 11 months ago
2004
Springer
Interactive multi-agent system improves reusability of agents by separating application design from agent design. However, it remains difficult for application designers (usually n...
164
click to vote
AAAI
2000
15 years 7 months ago
2000
In this paper, we consider a method of computing minimal models in circumscription using integer programming in propositional logic and first-order logic with domain closure axiom...
176
click to vote
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
We consider multiagent systems situated in unpredictable environments. Agents viewed as abductive logic programs with abducibles being literals the agent could sense or receive fro...
208
click to vote
ICLP
2005
Springer
15 years 12 months ago
2005
Springer
1 In [20], a new Hybrid Probabilistic Logic Programs framework is proposed, and a new semantics is developed to enable encoding and reasoning about real-world applications. In this...
185
click to vote
ATAL
2009
Springer
16 years 27 days ago
2009
Springer
Decentralised coordination in multi-agent systems is typically achieved using communication. However, in many cases, communication is expensive to utilise because there is limited...