A rule based knowledge transaction model for mobile environments

DOI10.1016/j.ins.2005.11.006zbMath1101.68093OpenAlexW2071349764MaRDI QIDQ2509213

Yan Zhang, Jianwen Chen

Publication date: 19 October 2006

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2005.11.006

zbMATH Keywords

logic programmingmobile environmentsknowledge transaction model

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17)

Uses Software

• Klava

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nonmonotonic logic and temporal projection
• Introduction to the theory of nested transactions
• Virtual partition algorithm in a nested transaction environment and its correctness
• Answer set programming and plan generation
• Efficient top-down computation of queries under the well-founded semantics
• Logic Programming with Strong Negation and Inexact Predicates
• On the analytical modeling of database concurrency control
• Non-monotonic reasoning with logic programming
• Logic programming and knowledge representation
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Klava: a Java package for distributed and mobile applications
• Verifying security protocols as planning in logic programming

This page was built for publication: A rule based knowledge transaction model for mobile environments