|
Journals in DBLP
Artif. Intell. 2005, volume: 168, number: 1-2
- Laura Giordano, Valentina Gliozzi, Nicola Olivetti
Weak AGM postulates and strong Ramsey Test: A logical formalization. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2005, v:168, n:1-2, pp:1-37 [Journal]
- Sylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel
In defense of PDDL axioms. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2005, v:168, n:1-2, pp:38-69 [Journal]
- Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo
Reasoning on UML class diagrams. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2005, v:168, n:1-2, pp:70-118 [Journal]
- Thomas Lukasiewicz
Weak nonmonotonic probabilistic logics. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2005, v:168, n:1-2, pp:119-161 [Journal]
- Pietro Baroni, Massimiliano Giacomin, Giovanni Guida
SCC-recursiveness: a general schema for argumentation semantics. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2005, v:168, n:1-2, pp:162-210 [Journal]
|