Deontic Logic in Computer Science
Editat de Alessio Lomuscio, Donald Nuteen Limba Engleză Paperback – 12 mai 2004
Preț: 321.74 lei
Preț vechi: 402.18 lei
-20%
Puncte Express: 483
Carte tipărită la comandă
Livrare economică 08-22 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540221111
ISBN-10: 3540221115
Pagini: 292
Ilustrații: X, 282 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.45 kg
Ediția:2004
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540221115
Pagini: 292
Ilustrații: X, 282 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.45 kg
Ediția:2004
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Abstracts of Invited Papers.- Obligation, Contracts, and Negotiation.- Social Laws in Alternating Time.- Contributed Papers.- Combinations of Tense and Deontic Modality.- ?: The Social Delegation Cycle.- Designing a Deontic Logic of Deadlines.- Obligation Change in Dependence Logic and Situation Calculus.- A Proposal for Dealing with Deontic Dilemmas.- Defeasible Logic: Agency, Intention and Obligation.- Collective Obligations and Agents: Who Gets the Blame?.- Conflicting Imperatives and Dyadic Deontic Logic.- On Obligations and Abilities.- On Normative-Informational Positions.- Quasi-matrix Deontic Logic.- Delegation in a Role-Based Organization.- Automatic Verification of Deontic Properties of Multi-agent Systems.- Specifying Multiagent Organizations.- Maintaining Obligations on Stative Expressions in a Deontic Action Logic.