
Journals in DBLP
 Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, JiaHuai You
Unfolding partiality and disjunctions in stable model semantics. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2006, v:7, n:1, pp:137 [Journal]
 Deborah East, Miroslaw Truszczynski
Predicatecalculusbased logics for modeling and solving search problems. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2006, v:7, n:1, pp:3883 [Journal]
 Paolo Liberatore
Complexity results on DPLL and resolution. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2006, v:7, n:1, pp:84107 [Journal]
 Anatoli Degtyarev, Michael Fisher, Boris Konev
Monodic temporal resolution. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2006, v:7, n:1, pp:108150 [Journal]
 Jürgen Dix, Sarit Kraus, V. S. Subrahmanian
Heterogeneous temporal probabilistic agents. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2006, v:7, n:1, pp:151198 [Journal]
