Author:
Aguado Felicidad,Cabalar Pedro,Diéguez Martín,Pérez Gilberto,Vidal Concepción
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Metric dynamic equilibrium logic;Journal of Applied Non-Classical Logics;2023-08-14
2. The Stable Model Semantics of Datalog with Metric Temporal Operators;Theory and Practice of Logic Programming;2023-08-02
3. Logic programming for deliberative robotic task planning;Artificial Intelligence Review;2023-01-18
4. Reactive Answer Set Programming;Theory and Practice of Logic Programming;2022-03-25
5. Metric Temporal Answer Set Programming over Timed Traces;Logic Programming and Nonmonotonic Reasoning;2022