02587nam0 2200577 i 450 VAN0011403720240806100750.496N978940179855620180125d2015 |0itac50 baengNL|||| |||||Freedom and enforcement in actiona study in formal action theoryJanusz CzelakowskiDordrechtSpringer2015XV, 261 p.ill.24 cm001VAN001031502001 Trends in logicstudia logica library210 Berlin [etc.]Springer42VAN00235019Freedom and enforcement in action : a study in formal action theory244060768-XXComputer science [MSC 2020]VANC019670MF68T27Logic in artificial intelligence [MSC 2020]VANC033812MF68T30Knowledge representation [MSC 2020]VANC023273MF68TxxArtificial intelligence [MSC 2020]VANC021266MFAction and models for non-monotonic reasoningsKW:KActions and their agentsKW:KAtomic normsKW:KCompound actionsKW:KCompound actions and deontologyKW:KDeontic logicKW:KFixed-point theorems for relationsKW:KGames as action systemsKW:KIterative algorithmsKW:KKnowledge modelsKW:KModels of action theoryKW:KNorms and their semanticsKW:KPartially ordered setsKW:KPerformability and probabilityKW:KPerformability of actionsKW:KPrograms and actionsKW:KPushdown algorithmsKW:KThe frame problemKW:KTheory of algorithms and programmingKW:KNLDordrechtVANL000068CzelakowskiJanuszVANV087784755628Springer <editore>VANV108073650ITSOL20240906RICAhttp://dx.doi.org/10.1007/978-94-017-9855-6E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00114037BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 0207 08eMF207 20180125 Freedom and enforcement in action : a study in formal action theory2440607UNICAMPANIA