Integrating Temporal Annotations in a Modular Logic Language
Applications of Declarative Programming and Knowledge Management
Branching-time logic programming: the language Cactus and its applications
Computer Languages
Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems
ACM Transactions on Computational Logic (TOCL)
Logical foundations for more expressive declarative temporal logic programming languages
ACM Transactions on Computational Logic (TOCL)
Linear time-dependent constraints programming with MSVL
Journal of Combinatorial Optimization
Hi-index | 0.00 |