| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A consistency-based framework for merging knowledge bases
|
Delgrande, James P.
|
|
2007
|
5 |
3 |
p. 459-477
19 p.
|
artikel
|
| 2 |
An algebraic approach to belief contraction and nonmonotonic entailment
|
Flax, Lee
|
|
2007
|
5 |
3 |
p. 478-491
14 p.
|
artikel
|
| 3 |
Computing the least common subsumer w.r.t. a background terminology
|
Baader, Franz
|
|
2007
|
5 |
3 |
p. 392-420
29 p.
|
artikel
|
| 4 |
Disjunctive logic programming with types and objects: The DLV+ system
|
Ricca, Francesco
|
|
2007
|
5 |
3 |
p. 545-573
29 p.
|
artikel
|
| 5 |
Editorial Board
|
|
|
2007
|
5 |
3 |
p. iii-vi
nvt p.
|
artikel
|
| 6 |
Line-based affine reasoning in Euclidean plane
|
Balbiani, Philippe
|
|
2007
|
5 |
3 |
p. 421-434
14 p.
|
artikel
|
| 7 |
Only knowing with degrees of confidence
|
Waaler, Arild
|
|
2007
|
5 |
3 |
p. 492-518
27 p.
|
artikel
|
| 8 |
Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004
|
Alferes, José Júlio
|
|
2007
|
5 |
3 |
p. 389-391
3 p.
|
artikel
|
| 9 |
Termination of logic programs with imperfect information: applications and query procedure
|
Damásio, C.V.
|
|
2007
|
5 |
3 |
p. 435-458
24 p.
|
artikel
|
| 10 |
The Hennessy–Milner equivalence for continuous time stochastic logic with mu-operator
|
Doberkat, Ernst-Erich
|
|
2007
|
5 |
3 |
p. 519-544
26 p.
|
artikel
|
Tijdschrift beschrijving