1316 search results - page 31 / 264 » Intelligent Agents: Issues and Logics |
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
We outline meta-encoding schemas for compiling nonmonotonic logic theories into Verilog HDL (Hardware Description Language) descriptions. These descriptions can be synthesized int...
142
click to vote
DALT
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...
100
click to vote
IADIS
2003
15 years 2 months ago
2003
This paper explores the issues related to developing a transparent Quality of Service (QoS) evaluation for wireless services and distributed applications. The objective of the pap...
106
click to vote
FUIN
2007
15 years 1 months ago
2007
Abstract. Our previous research presents a methodology of cooperative problem solving for beliefdesire-intention (BDI) systems, based on a complete formal theory called TEAMLOG. Th...
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
