Journals in DBLP
TPLP 2003, volume: 3, number: 3
Dick de Jongh , Lex Hendriks Characterization of strongly equivalent logic programs in intermediate logics. [Citation Graph (0, 0)][DBLP ] TPLP, 2003, v:3, n:3, pp:259-270 [Journal ] Anja Remshagen , Klaus Truemper Learning in a Compiler for MINSAT Algorithms. [Citation Graph (0, 0)][DBLP ] TPLP, 2003, v:3, n:3, pp:271-286 [Journal ] Ernest Teniente , Toni Urpí On the abductive or deductive nature of database schema validation and update processing problems. [Citation Graph (0, 0)][DBLP ] TPLP, 2003, v:3, n:3, pp:287-327 [Journal ] Yan Zhang Handling defeasibilities in action domains. [Citation Graph (0, 0)][DBLP ] TPLP, 2003, v:3, n:3, pp:329-376 [Journal ] Henk Vandecasteele , Gerda Janssens An Open Ended Tree. [Citation Graph (0, 0)][DBLP ] TPLP, 2003, v:3, n:3, pp:377-385 [Journal ]