K. De Bosschere and J.-M. Jacquet. Comparative Semantics of Żlog. In D. Etiemble and J.-C. Syre, editors, Proceedings of the PARLE'92 Conference, volume 605 of Lecture Notes in Computer Science, pages 911--926, Paris, 1992. Springer-Verlag. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
On Composing Concurrent Logic Processes - Jacquet, De Bosschere (1995) (2 citations) Self-citation (De bosschere Jacquet) (Correct)
....by means of the tell primitive, which adds the told constraint to the store provided consistency is preserved, and by the ask primitive, which tests whether a given constraint is entailed by the current contents of the store. As another instance of this general scheme, we recently proposed in [4, 5] a framework called Log, where the cc set of primitives is enriched in two ways: on the one hand, by a get primitive, which removes a given argument from the data structure (called the blackboard) and on the other hand, by treating active processes like passive data on the blackboard i.e. by ....
K. De Bosschere and J.-M. Jacquet. Comparative Semantics of Żlog. In D. Etiemble and J.-C. Syre, editors, Proceedings of the PARLE'92 Conference, volume 605 of Lecture Notes in Computer Science, pages 911--926, Paris, 1992. Springer-Verlag.
Towards Resource Handling in Logic Programming: the PPL.. - Jacquet, Monteiro (1996) (1 citation) Self-citation (Jacquet) (Correct)
....are true actually depend on the considered world of resources. Moreover, because of the pre and post conditions, this world may have a non monotonic behavior and, because of the parallel composition inside pp goals it may be influenced by concurrent evaluations. Hence, following previous work [24, 3], an interpretation should define the truth of an atom not in absolute terms nor with respect to a given world of resources but with respect to traces reporting the successive states of this world. We are thus naturally lead to the following definitions. Convention 8. For any set S, the notation ....
K. De Bosschere and J.-M. Jacquet. Comparative Semantics of Żlog. In D. Etiemble and J.-C. Syre, editors, Proceedings of the PARLE'92 Conference, volume 605 of Lecture Notes in Computer Science, pages 911--926, Paris, 1992. Springer-Verlag.
Towards Resource Handling in Logic Programming: the PPL.. - Jacquet, Monteiro (1996) (1 citation) Self-citation (Jacquet) (Correct)
....are true actually depend on the considered world of resources. Moreover, because of the pre and post conditions, this world may have a non monotonic behavior and, because of the parallel composition inside pp goals it may be influenced by concurrent evaluations. Hence, following previous work [24, 3], an interpretation should define the truth of an atom not in absolute terms nor with respect to a given world of resources but with respect to traces reporting the successive states of this world. We are thus naturally lead to the following definitions. Convention 8 For any set S, the notation ....
K. De Bosschere and J.-M. Jacquet. Comparative Semantics of Żlog. In D. Etiemble and J.-C. Syre, editors, Proceedings of the PARLE'92 Conference, volume 605 of Lecture Notes in Computer Science, pages 911--926, Paris, 1992. Springer-Verlag.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC