Author:
Cabalar Pedro,Fandinno Jorge,Fariñas del Cerro Luis
Funder
MINECO
Xunta de Galicia
CIMI
Alexander von Humboldt Foundation
Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference60 articles.
1. Temporal equilibrium logic: a survey;Aguado;J. Appl. Non-Class. Log.,2013
2. Forgetting auxiliary atoms in forks;Aguado;Artif. Intell.,2019
3. Verifying security protocols as planning in logic programming;Aiello;ACM Trans. Comput. Log.,2001
4. Semi-equilibrium models for paracoherent answer set programs;Amendola;Artif. Intell.,2016
5. Setting the basis for here and there modal logics;Balbiani;FLAP,2019
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Deontic Equilibrium Logic with eXplicit Negation;Logics in Artificial Intelligence;2023
2. Probabilistic Autoepistemic Equilibrium Logic;Advances in Applied Logics;2023
3. Thirty years of Epistemic Specifications;Theory and Practice of Logic Programming;2021-11-08
4. Refining the Semantics of Epistemic Specifications;Electronic Proceedings in Theoretical Computer Science;2021-09-17