| Document Date: 2014-11-11 20:30:18
Open Document File Size: 256,98 KBShare Result on Facebook
Country Germany / United States / / / Facility Carnegie Mellon University / University of Pennsylvania / / IndustryTerm Internet paths / asynchronous incremental logic programming maintenance algorithm / incremental maintenance algorithm / maintenance algorithms / incremental algorithm / e.g. cloud computing / correct algorithms / multi-agent systems / declarative networking community / semi-na¨ıve algorithm / asynchronous algorithm / multi-agent robotic systems / synchronous algorithm / semi-na¨ıve evaluations algorithms / computing / fixed point operator / typical network protocols / declarative networking protocols / basic algorithm / correct asynchronous algorithm / distributed systems / instance Internet routing / be implemented using semi-na¨ıve evaluations algorithms / / Organization University of Pennsylvania / Carnegie Mellon University / / Person Andre Scedrov / Vivek Nigam / Limin Jia / / Position coordinator / head / / ProgrammingLanguage Prolog / Datalog / / ProvinceOrState Datalog / Pennsylvania / DDlog / / Technology routing protocol / Basic PSN Algorithm / incremental maintenance algorithm / two routers / PSN algorithms / synchronous algorithm / declarative networking protocols / ISP / improved algorithm / 9 Algorithm / asynchronous incremental logic programming maintenance algorithm / semi-na¨ıve algorithm / existing maintenance algorithms / synchronous SN algorithm / incremental algorithm / using semi-na¨ıve evaluations algorithms / typical network protocols / network protocols / basic algorithm / correct asynchronous algorithm / /
SocialTag |
Maintaining Distributed Logic Programs Incrementally Vivek Nigam1 , Limin Jia2 , Boon Thau Loo3 , Andre Scedrov3 Abstract Distributed logic programming languages, which allow both facts and programs to be distributed amo