An Effective Bottom-Up Semantics for First-Order Linear Logic Programs
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Resource-conscious AI planning with conjunctions and disjunctions
Acta Cybernetica
Scenario analysis based on linear logic
Proceedings of the 2005 ACM SIGCHI International Conference on Advances in computer entertainment technology
A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures
Fundamenta Informaticae
A Linear Logic View of Object Petri Nets
Fundamenta Informaticae
| Hi-index | 0.00 |