|
Journals in DBLP
Artif. Intell. 2002, volume: 138, number: 1-2
- Michael Gelfond, Nicola Leone
Knowledge Representation and Logic Programming. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2002, v:138, n:1-2, pp:1- [Journal]
- Michael Gelfond, Nicola Leone
Logic programming and knowledge representation - The A-Prolog perspective. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2002, v:138, n:1-2, pp:3-38 [Journal]
- Vladimir Lifschitz
Answer set programming and plan generation. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2002, v:138, n:1-2, pp:39-54 [Journal]
- Georg Gottlob, Francesco Scarcello, Martha Sideri
Fixed-parameter complexity in AI and nonmonotonic reasoning. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2002, v:138, n:1-2, pp:55-86 [Journal]
- José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
LUPSA language for updating logic programs. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2002, v:138, n:1-2, pp:87-116 [Journal]
- Baoqiu Cui, Terrance Swift
Preference Logic Grammars: Fixed point semantics and application to data standardization. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2002, v:138, n:1-2, pp:117-147 [Journal]
- V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski
Annotated revision programs. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2002, v:138, n:1-2, pp:149-180 [Journal]
- Patrik Simons, Ilkka Niemelä, Timo Soininen
Extending and implementing the stable model semantics. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2002, v:138, n:1-2, pp:181-234 [Journal]
|