|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
12 results found
| no | title | author | magazine | year | volume | issue | page(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. |
article |
|
| 2 | A unifying action calculus |
Thielscher, Michael |
2011 |
175 | 1 |
p. 120-141 22 p. |
article |
|
| 3 | Formalising the Fisherman's Folly puzzle |
Cabalar, Pedro |
2011 |
175 | 1 |
p. 346-377 32 p. |
article |
|
| 4 | From answer set logic programming to circumscription via logic of GK |
Lin, Fangzhen |
2011 |
175 | 1 |
p. 264-277 14 p. |
article |
|
| 5 | From systems to logic in the early development of nonmonotonic reasoning |
Sandewall, Erik |
2011 |
175 | 1 |
p. 416-427 12 p. |
article |
|
| 6 | Iterated belief change in the situation calculus |
Shapiro, Steven |
2011 |
175 | 1 |
p. 165-192 28 p. |
article |
|
| 7 | John McCarthy's legacy |
Morgenstern, Leora |
2011 |
175 | 1 |
p. 1-24 24 p. |
article |
|
| 8 | List of reviewers 2009 |
2011 |
175 | 1 |
p. I-III nvt p. |
article |
||
| 9 | McCarthy variations in a modal key |
van Benthem, Johan |
2011 |
175 | 1 |
p. 428-439 12 p. |
article |
|
| 10 | Non-Markovian control in the Situation Calculus |
Gabaldon, Alfredo |
2011 |
175 | 1 |
p. 25-48 24 p. |
article |
|
| 11 | Semantics and complexity of recursive aggregates in answer set programming |
Faber, Wolfgang |
2011 |
175 | 1 |
p. 278-298 21 p. |
article |
|
| 12 | Stable models and circumscription |
Ferraris, Paolo |
2011 |
175 | 1 |
p. 236-263 28 p. |
article |
12 results found