1948 search results - page 227 / 390 » Formalizing Mirror Theory |
185
Voted
POPL
2003
ACM
16 years 9 days ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
224
Voted
SIGECOM
2003
ACM
16 years 9 days ago
2003
ACM
We examine correlated equilibria in the recently introduced formalism of graphical games, a succinct representation for multiplayer games. We establish a natural and powerful rela...
153
Voted
ATAL
2003
Springer
16 years 8 days 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 ...
211
click to vote
CCS
2003
ACM
16 years 8 days ago
2003
ACM
Although the ability to model and infer Attacker Intent, Objectives and Strategies (AIOS) may dramatically advance the literature of risk assessment, harm prediction, and predicti...
186
click to vote
TPHOL
2002
IEEE
15 years 12 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...