The UvA-LINKER will give you a range of other options to find the full text of a publication (including a direct link to the full-text if it is located on another database on the internet).
De UvA-LINKER biedt mogelijkheden om een publicatie elders te vinden (inclusief een directe link naar de publicatie online als deze beschikbaar is in een database op het internet).

Zoekresultaten

Zoekopdracht: faculteit: "FNWI" en publicatiejaar: "2011"

AuteurJ. van Benthem
TitelMcCarthy variations in a modal key
TijdschriftArtificial intelligence
Jaargang175
Jaar2011
Nummer1
Pagina's428-439
ISSN00043702
FaculteitFaculteit der Natuurwetenschappen, Wiskunde en Informatica
Instituut/afd.FNWI: Institute for Logic, Language and Computation (ILLC)
SamenvattingWe take a fresh look at some major strands in John McCarthy's work from a logician's perspective. First, we re-analyze circumscription in dynamic logics of belief change under hard and soft information. Next, we re-analyze the regression method in the Situation Calculus in terms of update axioms for dynamic–epistemic temporal logics. Finally, we draw some general methodological comparisons between ‘Logical AI’ and practices in modal logic, pointing at some creative tensions.
Soort documentArtikel
Document finderUvA-Linker