𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Logical Model for Agent Communication Languages

✍ Scribed by Mario Verdicchio; Marco Colombetti

Publisher
Elsevier Science
Year
2004
Tongue
English
Weight
166 KB
Volume
85
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

LUPSβ€”A language for updating logic progr
LUPSβ€”A language for updating logic programs
✍ JosΓ© JΓΊlio Alferes; Luı́s Moniz Pereira; Halina Przymusinska; Teodor C. Przymusi πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 229 KB

Most of the work conducted so far in the field of logic programming has focused on representing static knowledge, i.e., knowledge that does not evolve with time. To overcome this limitation, in a recent paper, the authors introduced dynamic logic programming. There, they studied and defined the decl