245 search results - page 23 / 49 » Semantic Issues in the Verification of Agent Communication L... |
108
click to vote
APSEC
2005
IEEE
15 years 5 months ago
2005
IEEE
Started in the beginning of 2001, the Semantic Web is regarded by many as the next generation of the Web. Ontology languages are the building blocks of Semantic Web as they provid...
ANSS
2006
IEEE
15 years 5 months ago
2006
IEEE
To simulate adaptive agents with abilities matching those of their real-world counterparts, a natural approach is to incorporate adaptation mechanisms such as classical conditioni...
107
click to vote
ESAW
2006
Springer
15 years 3 months ago
2006
Springer
The research on exception handling in Multi-Agent Systems has produced some advanced models to deal with `exceptional situations'. The expression `agent exception' is how...
185
click to vote
POPL
2008
ACM
16 years 3 days ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
CICLING
2001
Springer
15 years 4 months ago
2001
Springer
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...