Semantic Scholar uses AI to extract papers important to this topic.
Building and debugging distributed software remains extremely difficult. We conjecture that by adopting a data-centric approach… Expand The networking and distributed systems communities have recently explored a variety of new network architectures, both for… Expand We present the Tiny AGgregation (TAG) service for aggregation in low-power, distributed, wireless environments. TAG allows users… Expand A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The… Expand generalize create, solve unseen problems, extrapolate to unknown domains 22831.indb 124 6/15/11 2:11 PM Designing intended… Expand Abstract To support the sharing and reuse of formally represented knowledge among AI systems, it is useful to define the common… Expand Abstract We identify a useful class of logic programs with negation, called stratified programs, that disallow certain… Expand LUSTRE is a synchronous data-flow language for programming systems which interact with their environments in real-time. After an… Expand This paper presents the language LUSTRE, whose main application field is the programming of automatic control and signal… Expand We address the problem of designing programming systems to reason with and about constraints. Taking a logic programming approach… Expand