Author:
Cabalar Pedro,Rey Manuel,Vidal Concepción
Publisher
Springer International Publishing
Reference15 articles.
1. Aguado, F., Cabalar, P., Diéguez, M., Pérez, G., Vidal, C.: Temporal equilibrium logic: a survey. J. Appl. Non-Class. Log. 23(1–2), 2–24 (2013)
2. Lecture Notes in Computer Science;P Cabalar,2011
3. LNCS;P Cabalar,2019
4. Lecture Notes in Computer Science;P Cabalar,2007
5. Cabalar, P., Diéguez, M.: Strong equivalence of non-monotonic temporal theories. In: Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), Vienna, Austria (2014)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Logic programming for deliberative robotic task planning;Artificial Intelligence Review;2023-01-18
2. Linear-Time Temporal Answer Set Programming;Theory and Practice of Logic Programming;2021-12-27