Thumbnail
Access Restriction
Open

Author Saptawijaya, Ari ♦ Pereira, Luı́s Moniz
Source CiteSeerX
Content type Text
Publisher Springer
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Trigger System-implemented Incremental Bottom-up Tabling ♦ Logic Program Update ♦ Bottom-up Iteration ♦ Query-driven Propagation ♦ Top-down Recursion ♦ Overall Up-per Time Limit ♦ Dual Program Transfor-mation ♦ Actual Query Time ♦ Incremental Tabling ♦ Query Time ♦ Actual Query ♦ Negated Complement ♦ Underlying World ♦ Logic Programming ♦ Frame Problem ♦ Xsb Pro-log ♦ Time Point ♦ Fluent Update ♦ Autonomous Low-level Bottom-up World Reactivity ♦ Update Side-effects ♦ Runaway Iteration ♦ Novel Implementation Technique ♦ Per-forming Incremental Assertion ♦ Logic Program Up-dates ♦ System Level Truth-maintenance ♦ Frame Axiom
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Institution In LPAR-19. LNCS ARCoSS