On Metric Temporal Łukasiewicz Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Axiomatic semantics of projection temporal logic programs†
Mathematical Structures in Computer Science
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 | 5.23 |