LEADER 02587nam0 2200577 i 450 001 VAN00114037 005 20240806100750.496 017 70$2N$a9789401798556 100 $a20180125d2015 |0itac50 ba 101 $aeng 102 $aNL 105 $a|||| ||||| 200 1 $aFreedom and enforcement in action$ea study in formal action theory$fJanusz Czelakowski 210 $aDordrecht$cSpringer$d2015 215 $aXV, 261 p.$cill.$d24 cm 410 1$1001VAN00103150$12001 $aTrends in logic$estudia logica library$1210 $aBerlin [etc.]$cSpringer$v42 500 1$3VAN00235019$aFreedom and enforcement in action : a study in formal action theory$92440607 606 $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF 606 $a68T27$xLogic in artificial intelligence [MSC 2020]$3VANC033812$2MF 606 $a68T30$xKnowledge representation [MSC 2020]$3VANC023273$2MF 606 $a68Txx$xArtificial intelligence [MSC 2020]$3VANC021266$2MF 610 $aAction and models for non-monotonic reasonings$9KW:K 610 $aActions and their agents$9KW:K 610 $aAtomic norms$9KW:K 610 $aCompound actions$9KW:K 610 $aCompound actions and deontology$9KW:K 610 $aDeontic logic$9KW:K 610 $aFixed-point theorems for relations$9KW:K 610 $aGames as action systems$9KW:K 610 $aIterative algorithms$9KW:K 610 $aKnowledge models$9KW:K 610 $aModels of action theory$9KW:K 610 $aNorms and their semantics$9KW:K 610 $aPartially ordered sets$9KW:K 610 $aPerformability and probability$9KW:K 610 $aPerformability of actions$9KW:K 610 $aPrograms and actions$9KW:K 610 $aPushdown algorithms$9KW:K 610 $aThe frame problem$9KW:K 610 $aTheory of algorithms and programming$9KW:K 620 $aNL$dDordrecht$3VANL000068 700 1$aCzelakowski$bJanusz$3VANV087784$0755628 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240906$gRICA 856 4 $uhttp://dx.doi.org/10.1007/978-94-017-9855-6$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN00114037 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 0207 $e08eMF207 20180125 996 $aFreedom and enforcement in action : a study in formal action theory$92440607 997 $aUNICAMPANIA