|
Journals in DBLP
TPLP 2003, volume: 3, number: 4-5
- Chitta Baral, Alessandro Provetti, Tran Cao Son
Introduction to the special issue on Programming with Answer Sets. [Citation Graph (0, 0)][DBLP] TPLP, 2003, v:3, n:4-5, pp:387-391 [Journal]
- Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki
Answer sets for consistent query answering in inconsistent databases. [Citation Graph (0, 0)][DBLP] TPLP, 2003, v:3, n:4-5, pp:393-424 [Journal]
- Marcello Balduccini, Michael Gelfond
Diagnostic reasoning with A-Prolog. [Citation Graph (0, 0)][DBLP] TPLP, 2003, v:3, n:4-5, pp:425-461 [Journal]
- Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
Computing preferred answer sets by meta-interpretation in answer set programming. [Citation Graph (0, 0)][DBLP] TPLP, 2003, v:3, n:4-5, pp:463-498 [Journal]
- Esra Erdem, Vladimir Lifschitz
Tight logic programs. [Citation Graph (0, 0)][DBLP] TPLP, 2003, v:3, n:4-5, pp:499-518 [Journal]
- Keijo Heljanko, Ilkka Niemelä
Bounded LTL model checking with stable models. [Citation Graph (0, 0)][DBLP] TPLP, 2003, v:3, n:4-5, pp:519-550 [Journal]
- V. Wiktor Marek, Jeffrey B. Remmel
On the expressibility of stable logic programming. [Citation Graph (0, 0)][DBLP] TPLP, 2003, v:3, n:4-5, pp:551-567 [Journal]
- Torsten Schaub, Kewen Wang
A semantic framework for preference handling in answer set programming. [Citation Graph (0, 0)][DBLP] TPLP, 2003, v:3, n:4-5, pp:569-607 [Journal]
- Hudson Turner
Strong equivalence made easy: nested expressions and weight constraints. [Citation Graph (0, 0)][DBLP] TPLP, 2003, v:3, n:4-5, pp:609-622 [Journal]
|