Aehlig, Klaus; Johannsen, Jan An elementary fragment of second-order lambda calculus. (English) Zbl 1367.03027 ACM Trans. Comput. Log. 6, No. 2, 468-480 (2005). MSC: 03B40 PDFBibTeX XMLCite \textit{K. Aehlig} and \textit{J. Johannsen}, ACM Trans. Comput. Log. 6, No. 2, 468--480 (2005; Zbl 1367.03027) Full Text: DOI arXiv
Rondogiannis, Panos; Wadge, William W. Minimum model semantics for logic programs with negation-as-failure. (English) Zbl 1367.68038 ACM Trans. Comput. Log. 6, No. 2, 441-467 (2005). MSC: 68N17 03B50 68Q55 PDFBibTeX XMLCite \textit{P. Rondogiannis} and \textit{W. W. Wadge}, ACM Trans. Comput. Log. 6, No. 2, 441--467 (2005; Zbl 1367.68038) Full Text: DOI arXiv
Eiter, Thomas; Fink, Michael; Sabbatini, Giuliana; Tompits, Hans Reasoning about evolving nonmonotonic knowledge bases. (English) Zbl 1367.68279 ACM Trans. Comput. Log. 6, No. 2, 389-440 (2005). MSC: 68T27 68N17 68Q25 68T30 68T35 PDFBibTeX XMLCite \textit{T. Eiter} et al., ACM Trans. Comput. Log. 6, No. 2, 389--440 (2005; Zbl 1367.68279) Full Text: DOI
Korovin, Konstantin; Voronkov, Andrei Knuth-Bendix constraint solving is NP-complete. (English) Zbl 1367.68104 ACM Trans. Comput. Log. 6, No. 2, 361-388 (2005). MSC: 68Q17 68Q42 68T15 PDFBibTeX XMLCite \textit{K. Korovin} and \textit{A. Voronkov}, ACM Trans. Comput. Log. 6, No. 2, 361--388 (2005; Zbl 1367.68104) Full Text: DOI
Cohen, Sara; Sagiv, Yehoshua; Nutt, Werner Equivalences among aggregate queries with negation. (English) Zbl 1367.68085 ACM Trans. Comput. Log. 6, No. 2, 328-360 (2005). MSC: 68P15 68N17 PDFBibTeX XMLCite \textit{S. Cohen} et al., ACM Trans. Comput. Log. 6, No. 2, 328--360 (2005; Zbl 1367.68085) Full Text: DOI
Wang, Kewen; Zhou, Lizhu Comparisons and computation of well-founded semantics for disjunctive logic programs. (English) Zbl 1367.68042 ACM Trans. Comput. Log. 6, No. 2, 295-327 (2005). MSC: 68N17 68Q55 68T27 PDFBibTeX XMLCite \textit{K. Wang} and \textit{L. Zhou}, ACM Trans. Comput. Log. 6, No. 2, 295--327 (2005; Zbl 1367.68042) Full Text: DOI Link
Kupferman, Orna; Vardi, Moshe Y. From linear time to branching time. (English) Zbl 1367.68195 ACM Trans. Comput. Log. 6, No. 2, 273-294 (2005). MSC: 68Q60 03B44 03B45 PDFBibTeX XMLCite \textit{O. Kupferman} and \textit{M. Y. Vardi}, ACM Trans. Comput. Log. 6, No. 2, 273--294 (2005; Zbl 1367.68195) Full Text: DOI
Cadoli, Marco; Eiter, Thomas; Gottlob, Georg Complexity of propositional nested circumscription and nested abnormality theories. (English) Zbl 1367.68276 ACM Trans. Comput. Log. 6, No. 2, 232-272 (2005). MSC: 68T27 68Q25 68T30 PDFBibTeX XMLCite \textit{M. Cadoli} et al., ACM Trans. Comput. Log. 6, No. 2, 232--272 (2005; Zbl 1367.68276) Full Text: DOI
Sakama, Chiaki Induction from answer sets in nonmonotonic logic programs. (English) Zbl 1367.68039 ACM Trans. Comput. Log. 6, No. 2, 203-231 (2005). MSC: 68N17 68T27 PDFBibTeX XMLCite \textit{C. Sakama}, ACM Trans. Comput. Log. 6, No. 2, 203--231 (2005; Zbl 1367.68039) Full Text: DOI