7 search results - page 1 / 2 » A Denotational Semantics for Deliberation Dialogues |
ATAL
2004
Springer
14 years 4 months ago
2004
Springer
ESOP
2005
Springer
14 years 4 months ago
2005
Springer
Abadi-Leino Logic is a Hoare-calculus style logic for a simple imperative and object-based language where every object comes with its own method suite. Consequently, methods need t...
ATAL
2007
Springer
14 years 5 months ago
2007
Springer
The majority of existing work on agent dialogues considers negotiation, persuasion or deliberation dialogues. We focus on inquiry dialogues that allow two agents to share knowledg...
ATAL
2003
Springer
14 years 4 months ago
2003
Springer
This paper presents the specification of a programming language for implementing the deliberation cycle of cognitive agents. The mental attitudes of cognitive agents are assumed ...
APLAS
2006
ACM
14 years 4 months ago
2006
ACM
straction for Imperative Languages William L. Harrison Dept. of Computer Science, University of Missouri, Columbia, Missouri, USA. ty in programming language semantics derives fro...