245 search results - page 35 / 49 » Semantic Issues in the Verification of Agent Communication L... |
95
Voted
AICCSA
2001
IEEE
15 years 1 months ago
2001
IEEE
: A software process is defined as a description of various steps that must be carried out by process agents to pursue the goals of software engineering. To support a software proc...
VMCAI
2010
Springer
15 years 6 months ago
2010
Springer
While temporal verification of programs is a topic with a long history, its traditional basis--semantics based on word languages--is illsuited for modular reasoning about procedura...
ACOM
2004
Springer
15 years 2 months ago
2004
Springer
Agent communication languages defined using joint intention theory have enjoyed a long research history. A number of performatives have been defined and refined in this literature ...
92
Voted
ECAI
2000
Springer
15 years 1 months ago
2000
Springer
Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still...
AAAI
2008
14 years 12 months ago
2008
In several applications of logic programming and Transaction Logic, such as, planning, trust management and independent Semantic Web Services, an action might produce incomplete f...