nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A semantic characterization of a useful fragment of the situation calculus with knowledge
|
Lakemeyer, Gerhard |
|
2011 |
175 |
1 |
p. 142-164 23 p. |
artikel |
2 |
A unifying action calculus
|
Thielscher, Michael |
|
2011 |
175 |
1 |
p. 120-141 22 p. |
artikel |
3 |
Formalising the Fisherman's Folly puzzle
|
Cabalar, Pedro |
|
2011 |
175 |
1 |
p. 346-377 32 p. |
artikel |
4 |
From answer set logic programming to circumscription via logic of GK
|
Lin, Fangzhen |
|
2011 |
175 |
1 |
p. 264-277 14 p. |
artikel |
5 |
From systems to logic in the early development of nonmonotonic reasoning
|
Sandewall, Erik |
|
2011 |
175 |
1 |
p. 416-427 12 p. |
artikel |
6 |
Iterated belief change in the situation calculus
|
Shapiro, Steven |
|
2011 |
175 |
1 |
p. 165-192 28 p. |
artikel |
7 |
John McCarthy's legacy
|
Morgenstern, Leora |
|
2011 |
175 |
1 |
p. 1-24 24 p. |
artikel |
8 |
List of reviewers 2009
|
|
|
2011 |
175 |
1 |
p. I-III nvt p. |
artikel |
9 |
McCarthy variations in a modal key
|
van Benthem, Johan |
|
2011 |
175 |
1 |
p. 428-439 12 p. |
artikel |
10 |
Non-Markovian control in the Situation Calculus
|
Gabaldon, Alfredo |
|
2011 |
175 |
1 |
p. 25-48 24 p. |
artikel |
11 |
Semantics and complexity of recursive aggregates in answer set programming
|
Faber, Wolfgang |
|
2011 |
175 |
1 |
p. 278-298 21 p. |
artikel |
12 |
Stable models and circumscription
|
Ferraris, Paolo |
|
2011 |
175 |
1 |
p. 236-263 28 p. |
artikel |