Publisher
Springer International Publishing
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Metric dynamic equilibrium logic;Journal of Applied Non-Classical Logics;2023-08-14
2. Answer Set Programming Made Easy;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023
3. Metric Temporal Answer Set Programming over Timed Traces;Logic Programming and Nonmonotonic Reasoning;2022
4. How to Build Your Own ASP-based System?!;Theory and Practice of Logic Programming;2021-12-13
5. eclingo : A Solver for Epistemic Logic Programs;Theory and Practice of Logic Programming;2020-09-22