A rule based knowledge transaction model for mobile environments (Q2509213): Difference between revisions

@@ Property / describes a project that uses @@
+Klava
@@ Property / describes a project that uses: Klava / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ins.2005.11.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2071349764
@@ Property / OpenAlex ID: W2071349764 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying security protocols as planning in logic programming
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Logic programming and knowledge representation
@@ Property / cites work: Logic programming and knowledge representation / rank @@
+Normal rank
@@ Property / cites work @@
+Klava: a Java package for distributed and mobile applications
+Normal rank
@@ Property / cites work @@
+Efficient top-down computation of queries under the well-founded semantics
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4274970
@@ Property / cites work: Q4274970 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic logic and temporal projection
@@ Property / cites work: Nonmonotonic logic and temporal projection / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983044
@@ Property / cites work: Q3983044 / rank @@
+Normal rank
@@ Property / cites work @@
+Answer set programming and plan generation
@@ Property / cites work: Answer set programming and plan generation / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to the theory of nested transactions
@@ Property / cites work: Introduction to the theory of nested transactions / rank @@
+Normal rank
@@ Property / cites work @@
+Virtual partition algorithm in a nested transaction environment and its correctness
+Normal rank
@@ Property / cites work @@
+Q4244297
@@ Property / cites work: Q4244297 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-monotonic reasoning with logic programming
@@ Property / cites work: Non-monotonic reasoning with logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming with Strong Negation and Inexact Predicates
+Normal rank
@@ Property / cites work @@
+On the analytical modeling of database concurrency control
+Normal rank