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.
Logic, Rationality, and Interaction [[electronic resource] ] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / / edited by Davide Grossi, Olivier Roy, Huaxin Huang
| Logic, Rationality, and Interaction [[electronic resource] ] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / / edited by Davide Grossi, Olivier Roy, Huaxin Huang |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 363 p. 41 illus.) |
| Disciplina | 005.131 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Mathematical logic Computer science—Mathematics Discrete mathematics Computer science Formal Languages and Automata Theory Mathematical Logic and Foundations Discrete Mathematics in Computer Science Symbolic and Algebraic Manipulation Computer Science Logic and Foundations of Programming Theory of Computation |
| ISBN | 3-642-40948-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Full Papers -- Boolean Games with Epistemic Goals -- Minimal Preference Change -- The Topology of Belief, Belief Revision and Defeasible Knowledge -- Plan Recognition, Indefinites, and the Semantics-Pragmatics Boundary -- A Semantic Model for Interrogatives Based on Generalized Quantifiers and Bilattices -- A Two-Tiered Formalization of Social Influence -- A Unified Epistemic Analysis of Iterated Elimination Algorithms from Regret Viewpoint -- Listen to Me! Public Announcements to Agents That Pay Attention — or Not -- An Offer You Cannot Refuse: Obtaining Efficiency and Fairness in Preplay Negotiation Games with Conditional Offers -- Sequent Calculi for Multi-modal Logic with Interaction -- Dynamic Epistemic Logic Displayed -- Reasoning about Actions Meets Strategic Logics -- A Dynamic Deontic Logic Based on Histories -- Sequent Systems for Nondeterministic Propositional Logics without Reflexivity -- How to Update Neighborhood Models -- The Logic of a Priori and a Posteriori Rationality in Strategic Games -- Proof Theory, Semantics and Algebra for Normative Systems -- Explicit and Implicit Knowledge in Neighbourhood Models -- Expressivity Hierarchy of Languages for Epistemic Awareness Models -- Public Announcements, Private Actions and Common Knowledge in S5 Structures -- Logic Aggregation -- The Task Model of Court Investigation in a Multi-agent System of Argumentation in Court -- Short Papers -- A Deontic Action Logic for Complex Actions -- Planning Using Dynamic Epistemic Logic: Correspondence and Complexity -- Judgment Aggregation with Abstentions: A Hierarchical Approach -- A Note on Bayesian Games -- A Logic for Extensive Games with Short Sight -- Aggregated Beliefs and Informational Cascades -- Dynamic Attitudes, Fixed Points and Minimal Change -- Logic of Evidence-based Knowledge -- Backward Induction Is PTIME-complete -- On Fuzzy Propositional Logic with Different Negations. |
| Record Nr. | UNISA-996465505503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic, Rationality, and Interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / / edited by Davide Grossi, Olivier Roy, Huaxin Huang
| Logic, Rationality, and Interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / / edited by Davide Grossi, Olivier Roy, Huaxin Huang |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 363 p. 41 illus.) |
| Disciplina | 005.131 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Mathematical logic Computer science—Mathematics Discrete mathematics Computer science Formal Languages and Automata Theory Mathematical Logic and Foundations Discrete Mathematics in Computer Science Symbolic and Algebraic Manipulation Computer Science Logic and Foundations of Programming Theory of Computation |
| ISBN | 3-642-40948-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Full Papers -- Boolean Games with Epistemic Goals -- Minimal Preference Change -- The Topology of Belief, Belief Revision and Defeasible Knowledge -- Plan Recognition, Indefinites, and the Semantics-Pragmatics Boundary -- A Semantic Model for Interrogatives Based on Generalized Quantifiers and Bilattices -- A Two-Tiered Formalization of Social Influence -- A Unified Epistemic Analysis of Iterated Elimination Algorithms from Regret Viewpoint -- Listen to Me! Public Announcements to Agents That Pay Attention — or Not -- An Offer You Cannot Refuse: Obtaining Efficiency and Fairness in Preplay Negotiation Games with Conditional Offers -- Sequent Calculi for Multi-modal Logic with Interaction -- Dynamic Epistemic Logic Displayed -- Reasoning about Actions Meets Strategic Logics -- A Dynamic Deontic Logic Based on Histories -- Sequent Systems for Nondeterministic Propositional Logics without Reflexivity -- How to Update Neighborhood Models -- The Logic of a Priori and a Posteriori Rationality in Strategic Games -- Proof Theory, Semantics and Algebra for Normative Systems -- Explicit and Implicit Knowledge in Neighbourhood Models -- Expressivity Hierarchy of Languages for Epistemic Awareness Models -- Public Announcements, Private Actions and Common Knowledge in S5 Structures -- Logic Aggregation -- The Task Model of Court Investigation in a Multi-agent System of Argumentation in Court -- Short Papers -- A Deontic Action Logic for Complex Actions -- Planning Using Dynamic Epistemic Logic: Correspondence and Complexity -- Judgment Aggregation with Abstentions: A Hierarchical Approach -- A Note on Bayesian Games -- A Logic for Extensive Games with Short Sight -- Aggregated Beliefs and Informational Cascades -- Dynamic Attitudes, Fixed Points and Minimal Change -- Logic of Evidence-based Knowledge -- Backward Induction Is PTIME-complete -- On Fuzzy Propositional Logic with Different Negations. |
| Record Nr. | UNINA-9910483759003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Missionnaires de l’Islam en Asie centrale : Les écoles turques de Fethullah Gülen / / Bayram Balcı
| Missionnaires de l’Islam en Asie centrale : Les écoles turques de Fethullah Gülen / / Bayram Balcı |
| Autore | Balcı Bayram |
| Pubbl/distr/stampa | Paris/Istanbul, : Institut français d’études anatoliennes, 2016 |
| Descrizione fisica | 1 online resource (300 p.) |
| Disciplina | 297.7/7/0958 |
| Altri autori (Persone) | RoyOlivier |
| Soggetto topico | Islamic religious education - Asia, Central |
| Soggetto non controllato | Central Asia - Islamic Education - Turkish Missions |
| ISBN | 2-36245-045-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-9910137017603321 |
Balcı Bayram
|
||
| Paris/Istanbul, : Institut français d’études anatoliennes, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Religion in the New Europe / / ed. by Krzysztof Michalski
| Religion in the New Europe / / ed. by Krzysztof Michalski |
| Pubbl/distr/stampa | Central European University Press, 2006 |
| Descrizione fisica | 1 online resource (150 p.) |
| Soggetto topico | RELIGION / Religion, Politics & State |
| Soggetto non controllato | Christianity, European Union, Identity, Integration, Islam, Multiculturalism, Muslims, Religion |
| ISBN |
9786155053900
615-5053-90-1 2-8218-1505-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Religion and European Integration -- Religion, European Secular Identities and European Integration -- Judeo-Christian Heritage and Secularisation -- The Role of Religion in Establishing Social Cohesion -- Integration and Fragmentation: Patterns of Religion in Europe -- Observations from America -- Muslims and Islam in Europe -- Muslims and European Multiculturalism -- Is Islam a Threat to Europe’s Multicultural Democracies? -- Islam, European Public Space and Civility -- Islam in Europe: Clash of Religions or Convergence of Religiosities? -- List of Contributors |
| Record Nr. | UNINA-9910131778103321 |
| Central European University Press, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Religious Diversity in European Prisons : Challenges and Implications for Rehabilitation / / edited by Irene Becci, Olivier Roy
| Religious Diversity in European Prisons : Challenges and Implications for Rehabilitation / / edited by Irene Becci, Olivier Roy |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (192 p.) |
| Disciplina |
200
300 341.48 364 |
| Soggetto topico |
Criminology
Religion Human rights Criminology and Criminal Justice, general Religious Studies, general Human Rights |
| ISBN | 3-319-16778-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction: European Research on Religious Diversity as a Factor in the Rehabilitation of Prisoners Irene Becci -- Part I: The making and working of multi-faith prison chaplaincies -- Chapter 1: Religious diversity and rehabilitation in prisons: management, models and mutation James A. Beckford -- Chapter 2: The effects of religious diversity on spiritual care: reflections from the Dutch Correction Facilities Mohammed Ajouaou and Tom Bernts -- Chapter 3: Outline of the Islamic Council for detention in Belgium Farid El Asri -- Part II: Religious diversity on the way to recognition for prisoners’ secular rehabilitation -- Chapter 4: Religion, reintegration and rehabilitation in French prisons: The impact of prison secularism Corinne Rostaing, Céline Béraud and Claire de Galembert.-Chapter 5: Institutional logic and legal practice: Modes of regulation of religious organizations in German prisons Sarah Jahn -- Chapter 6: Addressing Religious Differences in Italian Prisons. A Postsecular Perspective Valeria Fabretti -- Chapter 7: Religious care in the reinvented European “Imamat”: Muslims and their guides in Italian prisons Khalid Rhazzali -- Part III: New approaches to the junction of rehabilitation and religion in the prison realm -- Chapter 8: Doing yoga behind bars: A sociological study of the growth of holistic spirituality in penitentiary institutions Mar Griera and Anna Clot -- Chapter 9: Languages of change in prison: exploratory thoughts about the homologies between secular rehabilitation, religious conversion and spiritual quest Irene Becci -- Chapter 10: Restorative Justice: asserted benefits and existing obstacles in France Frédérich Rognon -- Conclusion and perspectives. The diversification of chaplaincy in European jails: providing spiritual support for new inmates or countering radicalism? Olivier Roy. |
| Record Nr. | UNINA-9910484436903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||