10568 search results - page 209 / 2114 » Computer Intelligence and Formalization |
123
click to vote
AUSAI
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we generalize our formal approach to modelling PRS agents away from PRS-specific assumptions to more general theories of rationality, while not losing the concretene...
135
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
The paper applies modal logic to formalize fragments of argumentation theory. Such formalization allows to import, for free, a wealth of new notions (e.g., argument equivalence), ...
132
click to vote
FLAIRS
2008
15 years 4 months ago
2008
This paper describes a shallow parsing formalism aiming at machine translation between closely related languages. The formalism allows to write grammar rules helping to (partially...
117
click to vote
APLAS
2006
ACM
15 years 9 months ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
104
click to vote
CACM
2010
15 years 3 months ago
2010
Therearemanymethodsfordetectingandmitigatingsoftware errors but few generic methods for automatically repairing errors once they are discovered. This paper highlights recent work ...