Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Deontic Logic in Computer Science [[electronic resource] ] : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings / / edited by Ron van der Meyden, Leendert van der Torre
| Deontic Logic in Computer Science [[electronic resource] ] : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings / / edited by Ron van der Meyden, Leendert van der Torre |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (X, 279 p.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-540-70525-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Norms in Branching Space-Times -- Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories -- Acting, Events and Actions -- A Tableaux System for Deontic Action Logic -- Information Security Economics - and Beyond -- Trust and Norms in the Context of Computer Security: A Logical Formalization -- Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic -- Delegation of Control in Administrative Procedures -- Variations in Access Control Logic -- Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking -- Need to Know: Questions and the Paradox of Epistemic Obligation -- A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’ -- Reactive Kripke Models and Contrary to Duty Obligations -- Normative Consequence: The Problem of Keeping It Whilst Giving It up -- On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G -- Strata of Intervenient Concepts in Normative Systems -- A Deontic Logic for Socially Optimal Norms -- Praise, Blame, Obligation, and Beyond: Toward a Framework for Classical Supererogation and Kin -- Introducing Grades in Deontic Logics -- Pushing Anderson’s Envelope: The Modal Logic of Ascription. |
| Record Nr. | UNISA-996466101203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model Checking and Artificial Intelligence [[electronic resource] ] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers / / edited by Ron van der Meyden, Jan-Georg Smaus
| Model Checking and Artificial Intelligence [[electronic resource] ] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers / / edited by Ron van der Meyden, Jan-Georg Smaus |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XI, 131 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Software engineering Computer logic Mathematical logic Artificial Intelligence Programming Techniques Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-642-20674-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465539903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||