2236 search results - page 85 / 448 » Language Independence and Language Tolerance in Logic Progra... |
197
click to vote
MATES
2005
Springer
15 years 11 months ago
2005
Springer
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
175
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
166
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
160
click to vote
VL
2009
IEEE
16 years 1 months ago
2009
IEEE
Mechanical Turk (MTurk) is an increasingly popular web service for paying people small rewards to do human computation tasks. Current uses of MTurk typically post independent para...
139
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...