Publisher
Springer Berlin Heidelberg
Cited by
1727 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A declarative reasoning approach to conflict management in Intent-Based Networking;2024 27th Conference on Innovation in Clouds, Internet and Networks (ICIN);2024-03-11
2. Sequential composition of propositional logic programs;Annals of Mathematics and Artificial Intelligence;2024-02-15
3. Epistemic Logic Programs: A Study of Some Properties;Theory and Practice of Logic Programming;2024-02-05
4. Non-termination in Term Rewriting and Logic Programming;Journal of Automated Reasoning;2024-02-02
5. A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution);Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11