5818 search results - page 1053 / 1164 » A reasonable Semantic Web |
169
click to vote
IEEEARES
2007
IEEE
16 years 16 days ago
2007
IEEE
Model-based development has become state of the art in software engineering. A number of tools, like Matlab/Simulink or SCADE, are available for the automatic generation of applic...
194
click to vote
LICS
2007
IEEE
16 years 15 days ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
123
click to vote
ROMAN
2007
IEEE
16 years 15 days ago
2007
IEEE
— This paper presents an overview of the systematic creation of a human-robot instruction system from a multi-modal corpus. The corpus has been collected from human-to-human card...
175
click to vote
AUSDM
2007
Springer
16 years 13 days ago
2007
Springer
Argumentation allows agents to exchange additional information to argue about their beliefs and other mental attitudes during the negotiation process. Utterances and subsequent obs...
147
click to vote
CALCO
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...