nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
An approach to automatic deductive synthesis of functional programs
|
Korukhova, Yulia |
|
2007 |
50 |
3-4 |
p. 255-271 |
artikel |
2 |
A new approach to hybrid probabilistic logic programs
|
Saad, Emad |
|
2007 |
50 |
3-4 |
p. 417-418 |
artikel |
3 |
An introduction to fuzzy answer set programming
|
Nieuwenborgh, Davy Van |
|
2007 |
50 |
3-4 |
p. 363-388 |
artikel |
4 |
Comparing action descriptions based on semantic preferences
|
Eiter, Thomas |
|
2007 |
50 |
3-4 |
p. 273-304 |
artikel |
5 |
Decision procedures for extensions of the theory of arrays
|
Ghilardi, Silvio |
|
2007 |
50 |
3-4 |
p. 231-254 |
artikel |
6 |
Distance semantics for database repair
|
Arieli, Ofer |
|
2007 |
50 |
3-4 |
p. 389-415 |
artikel |
7 |
External sources of knowledge and value invention in logic programming
|
Calimeri, Francesco |
|
2007 |
50 |
3-4 |
p. 333-361 |
artikel |
8 |
Logics in AI: post-proceedings JELIA06 (Editorial)
|
Fisher, Michael |
|
2007 |
50 |
3-4 |
p. 227-229 |
artikel |
9 |
Partial equilibrium logic
|
Cabalar, Pedro |
|
2007 |
50 |
3-4 |
p. 305-331 |
artikel |