Aguado, Felicidad; Cabalar, Pedro; Fandinno, Jorge; Pearce, David; Pérez, Gilberto; Vidal, Concepción Syntactic ASP forgetting with forks. (English) Zbl 07803979 Artif. Intell. 326, Article ID 104033, 17 p. (2024). MSC: 68N17 68T27 68T30 PDFBibTeX XMLCite \textit{F. Aguado} et al., Artif. Intell. 326, Article ID 104033, 17 p. (2024; Zbl 07803979) Full Text: DOI
Cabalar, Pedro; Odintsov, Sergei; Pearce, David Well-founded and partial stable semantics logical aspects. (English) Zbl 1248.68128 Frid, Anna (ed.) et al., Computer science – theory and applications. Fourth international computer science symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18–23, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03350-6/pbk). Lecture Notes in Computer Science 5675, 1-11 (2009). MSC: 68N17 03B70 68Q55 PDFBibTeX XMLCite \textit{P. Cabalar} et al., Lect. Notes Comput. Sci. 5675, 1--11 (2009; Zbl 1248.68128) Full Text: DOI
Cabalar, Pedro; Odintsov, Sergei; Pearce, David; Valverde, Agustín Partial equilibrium logic. (English) Zbl 1125.68113 Ann. Math. Artif. Intell. 50, No. 3-4, 305-331 (2007). MSC: 68T27 03B60 68N17 PDFBibTeX XMLCite \textit{P. Cabalar} et al., Ann. Math. Artif. Intell. 50, No. 3--4, 305--331 (2007; Zbl 1125.68113) Full Text: DOI