00911nam a2200265 i 450099100115733970753620020507112031.0970308s1965 it ||| | eng b10181702-39ule_instLE00643102ExLDip.to Fisicaitaengita4(038)440Orlandi, G.463340Il piccolo Orlandi dizionario italiano-inglese inglese-italiano /a cura di G. OrlandiSignorelli,19651 v.Lingua inglese-Dizionari.b1018170221-09-0627-06-02991001157339707536LE006 4(038) ORL1LE006-2521le006-E0.00-l- 00000.i1022278927-06-02Piccolo Orlandi dizionario italiano-inglese inglese-italiano190778UNISALENTOle00601-01-97ma -engit 3102583nam0 2200577 i 450 VAN011403720230705114649.278N978940179855620180125d2015 |0itac50 baengNL|||| |||||Freedom and enforcement in actiona study in formal action theoryJanusz CzelakowskiDordrechtSpringer2015XV, 261 p.ill.24 cm001VAN01031502001 Trends in logicstudia logica library210 Berlin [etc.]Springer42VAN0235019Freedom and enforcement in action : a study in formal action theory244060768-XXComputer science [MSC 2020]VANC019670MF68TxxArtificial intelligence [MSC 2020]VANC021266MF68T30Knowledge representation [MSC 2020]VANC023273MF68T27Logic in artificial intelligence [MSC 2020]VANC033812MFAction 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>VANV108073650ITSOL20240614RICAhttp://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-CE0120VAN08NVAN0114037BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 0207 08eMF207 20180125 Freedom and enforcement in action : a study in formal action theory2440607UNICAMPANIA