Deontic Logic and Normative Systems [[electronic resource] ] : 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings / / edited by Fabrizio Cariani, Davide Grossi, Joke Meheus, Xavier Parent |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XII, 273 p. 29 illus.) |
Disciplina | 005.131 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Mathematical logic
Artificial intelligence Computer logic Application software Computer programming Computer science—Mathematics Mathematical Logic and Formal Languages Artificial Intelligence Logics and Meanings of Programs Computer Appl. in Administrative Data Processing Programming Techniques Discrete Mathematics in Computer Science |
ISBN | 3-319-08615-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Challenges from natural language for deontic logic -- The relationship between deontic and other types of modality: epistemic modality, imperatives, supererogatory, etc. -- The deontic paradoxes -- The modeling of normative concepts other than obligation and permission, e.g., values -- The game-theoretical aspects of deontic reasoning -- The emergence of norms -- Norms from a conversational and pragmatic point of view.- Norms and argumentation. |
Record Nr. | UNISA-996199993203316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Deontic Logic and Normative Systems : 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings / / edited by Fabrizio Cariani, Davide Grossi, Joke Meheus, Xavier Parent |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XII, 273 p. 29 illus.) |
Disciplina | 005.131 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Mathematical logic
Artificial intelligence Computer logic Application software Computer programming Computer science—Mathematics Mathematical Logic and Formal Languages Artificial Intelligence Logics and Meanings of Programs Computer Appl. in Administrative Data Processing Programming Techniques Discrete Mathematics in Computer Science |
ISBN | 3-319-08615-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Challenges from natural language for deontic logic -- The relationship between deontic and other types of modality: epistemic modality, imperatives, supererogatory, etc. -- The deontic paradoxes -- The modeling of normative concepts other than obligation and permission, e.g., values -- The game-theoretical aspects of deontic reasoning -- The emergence of norms -- Norms from a conversational and pragmatic point of view.- Norms and argumentation. |
Record Nr. | UNINA-9910483970403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|