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] ] : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings / / edited by Patrick Blackburn, Emiliano Lorini, Meiyun Guo
| Logic, Rationality, and Interaction [[electronic resource] ] : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings / / edited by Patrick Blackburn, Emiliano Lorini, Meiyun Guo |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXI, 441 p. 794 illus., 5 illus. in color.) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Mathematical logic
Machine theory Logic programming Compilers (Computer programs) Social sciences—Data processing Mathematical Logic and Foundations Formal Languages and Automata Theory Logic in AI Compilers and Interpreters Computer Application in Social and Behavioral Sciences |
| ISBN | 3-662-60292-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On the Right Path: A Modal Logic for Supervised Learning -- Elementary Iterated Revision and the Levi Identity -- Undefinability in inquisitive logic with tensor -- Minimal-change counterfactuals in intuitionistic logic -- Consolidation of Belief in Two Logics of Evidence -- From Classical to Non-Monotonic Deontic Logic using ASPIC+ -- A discrete representation of lattice frames -- Group Announcement Logic with Distributed Knowledge -- Towards a Logic for Conditional Local Strategic Reasoning -- Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach -- The sequent systems and algebraic semantics of intuitionistic tense logics -- Weakly Aggregative Modal Logic: Characterization and Interpolation -- Dynamic Term-Modal Logic for Epistemic Social Network Dynamics -- Analyzing Echo Chambers: A Logic of Strong and Weak Ties -- Public Group Announcements and Trust in Doxastic Logic -- Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes -- Improving Judgment Reliability in Social Networks via Jury Theorems -- Term-Sequence-Modal Logics -- A Logical and Empirical Study of Counterfactuals with Nested Consequence -- First Degree Entailment with group attitudes and information updates -- Knowledge in Topological Argumentation Models -- Towards a logical formalisation of Theory of Mind: a study on False Belief Tasks -- A Two-layer Partition Awareness Structure -- First-Order Intuitionistic Epistemic Logic -- A Neutral Temporal Deontic STIT Logic -- Evaluating Networks of Arguments: A Case Study in Mimamsa Dialectics -- Who Should Be My Friends? Social Balance from the Perspective of Game Theory -- Epistemic Logic with Partial Dependency Operator -- Knowledge-now and Knowledge-all -- A Logic of Knowing How with Skippable Plans -- A Dynamic Hybrid Logic for Followership. |
| Record Nr. | UNISA-996466434303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings / / edited by Patrick Blackburn, Emiliano Lorini, Meiyun Guo
| Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings / / edited by Patrick Blackburn, Emiliano Lorini, Meiyun Guo |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXI, 441 p. 794 illus., 5 illus. in color.) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Mathematical logic
Machine theory Logic programming Compilers (Computer programs) Social sciences—Data processing Mathematical Logic and Foundations Formal Languages and Automata Theory Logic in AI Compilers and Interpreters Computer Application in Social and Behavioral Sciences |
| ISBN | 3-662-60292-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On the Right Path: A Modal Logic for Supervised Learning -- Elementary Iterated Revision and the Levi Identity -- Undefinability in inquisitive logic with tensor -- Minimal-change counterfactuals in intuitionistic logic -- Consolidation of Belief in Two Logics of Evidence -- From Classical to Non-Monotonic Deontic Logic using ASPIC+ -- A discrete representation of lattice frames -- Group Announcement Logic with Distributed Knowledge -- Towards a Logic for Conditional Local Strategic Reasoning -- Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach -- The sequent systems and algebraic semantics of intuitionistic tense logics -- Weakly Aggregative Modal Logic: Characterization and Interpolation -- Dynamic Term-Modal Logic for Epistemic Social Network Dynamics -- Analyzing Echo Chambers: A Logic of Strong and Weak Ties -- Public Group Announcements and Trust in Doxastic Logic -- Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes -- Improving Judgment Reliability in Social Networks via Jury Theorems -- Term-Sequence-Modal Logics -- A Logical and Empirical Study of Counterfactuals with Nested Consequence -- First Degree Entailment with group attitudes and information updates -- Knowledge in Topological Argumentation Models -- Towards a logical formalisation of Theory of Mind: a study on False Belief Tasks -- A Two-layer Partition Awareness Structure -- First-Order Intuitionistic Epistemic Logic -- A Neutral Temporal Deontic STIT Logic -- Evaluating Networks of Arguments: A Case Study in Mimamsa Dialectics -- Who Should Be My Friends? Social Balance from the Perspective of Game Theory -- Epistemic Logic with Partial Dependency Operator -- Knowledge-now and Knowledge-all -- A Logic of Knowing How with Skippable Plans -- A Dynamic Hybrid Logic for Followership. |
| Record Nr. | UNINA-9910349276303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modeling and Using Context [[electronic resource] ] : 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 - 31, 2013, Proceedings / / edited by Patrick Brézillon, Patrick Blackburn, Richard Dapoigny
| Modeling and Using Context [[electronic resource] ] : 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 - 31, 2013, Proceedings / / edited by Patrick Brézillon, Patrick Blackburn, Richard Dapoigny |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XI, 381 p. 110 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Application software Computers and civilization Artificial Intelligence Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) Computer Appl. in Social and Behavioral Sciences Computer Appl. in Arts and Humanities Computers and Society |
| ISBN | 3-642-40972-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Context and meaning -- A Typed Approach for Contextualizing the Part-whole Relation -- Interpreting Vague and Ambiguous Referring Expressions by Dynamically Binding to Properties of the Context Set -- Evaluation of a refinement algorithm for the generation of referring expressions -- Context in context -- Looking for a Synergy Between Human and Artificial Cognition -- The Role of Context in Practice based Organizational Learning and Performance Improvement -- DCCLA: Automatic Indoor Localization using Unsupervised WiFi Fingerprinting -- Contextual methodologies -- Context based development of experience bases -- A Context Aware Approach to Selecting Adaptations for Case Based Reasoning -- A context sensitive intervention approach for collaboration in dynamic environments -- Conceptual approaches to context -- Rationality in Context: An Analogical Perspective -- Context Meets Culture -- Notes on Synthesis of Context between Engineering and Social Science -- Formal approach to context -- A Constraint Based Approach to Context -- Contextual Validity in Hybrid Logic -- EXPTIME Tableaux Algorithm for Contextualized ALC -- Contextual technologies -- An Extended Turing Test: A Context Based Approach Designed to Educate Youth in Computing -- Toward Distributed Context Mediated Behavior for Multiagent Systems -- Applying context -- Context based Modeling of an Anatomo-Cyto Pathology Department Workflow for Quality Control -- Production Contextual Clinical Information -- Contextual graphs platform as a basis for designing a context based intelligent assistant system -- Situational Awareness in Context -- Context Assisted Test Cases Reduction for Cloud Validation -- QoCIM: A Metamodel for Quality of Context -- Short papers -- Petri Nets context modeling for the pervasive Human Computer Interfaces -- Modeling Context Effects in Science Learning: The CLASH Model -- Context Model for Business Context Sensitive Business Documents -- Modelling behaviour semantically -- Contextual Ontologies for an Automatic E-Learning Process -- Context Aware Business Documents Modeling -- Interaction Patterns in a MAS Organisation to Support Shared Tasks -- Trace analysis based approach for modeling context components. |
| Record Nr. | UNISA-996465503903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Modeling and Using Context : 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 - 31, 2013, Proceedings / / edited by Patrick Brézillon, Patrick Blackburn, Richard Dapoigny
| Modeling and Using Context : 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 - 31, 2013, Proceedings / / edited by Patrick Brézillon, Patrick Blackburn, Richard Dapoigny |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XI, 381 p. 110 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Application software Computers and civilization Artificial Intelligence Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) Computer Appl. in Social and Behavioral Sciences Computer Appl. in Arts and Humanities Computers and Society |
| ISBN | 3-642-40972-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Context and meaning -- A Typed Approach for Contextualizing the Part-whole Relation -- Interpreting Vague and Ambiguous Referring Expressions by Dynamically Binding to Properties of the Context Set -- Evaluation of a refinement algorithm for the generation of referring expressions -- Context in context -- Looking for a Synergy Between Human and Artificial Cognition -- The Role of Context in Practice based Organizational Learning and Performance Improvement -- DCCLA: Automatic Indoor Localization using Unsupervised WiFi Fingerprinting -- Contextual methodologies -- Context based development of experience bases -- A Context Aware Approach to Selecting Adaptations for Case Based Reasoning -- A context sensitive intervention approach for collaboration in dynamic environments -- Conceptual approaches to context -- Rationality in Context: An Analogical Perspective -- Context Meets Culture -- Notes on Synthesis of Context between Engineering and Social Science -- Formal approach to context -- A Constraint Based Approach to Context -- Contextual Validity in Hybrid Logic -- EXPTIME Tableaux Algorithm for Contextualized ALC -- Contextual technologies -- An Extended Turing Test: A Context Based Approach Designed to Educate Youth in Computing -- Toward Distributed Context Mediated Behavior for Multiagent Systems -- Applying context -- Context based Modeling of an Anatomo-Cyto Pathology Department Workflow for Quality Control -- Production Contextual Clinical Information -- Contextual graphs platform as a basis for designing a context based intelligent assistant system -- Situational Awareness in Context -- Context Assisted Test Cases Reduction for Cloud Validation -- QoCIM: A Metamodel for Quality of Context -- Short papers -- Petri Nets context modeling for the pervasive Human Computer Interfaces -- Modeling Context Effects in Science Learning: The CLASH Model -- Context Model for Business Context Sensitive Business Documents -- Modelling behaviour semantically -- Contextual Ontologies for an Automatic E-Learning Process -- Context Aware Business Documents Modeling -- Interaction Patterns in a MAS Organisation to Support Shared Tasks -- Trace analysis based approach for modeling context components. |
| Record Nr. | UNINA-9910483430303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tools for Teaching Logic [[electronic resource] ] : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings / / edited by Patrick Blackburn, Hans van Ditmarsch, Maria Manzano, Fernando Soler-Toscano
| Tools for Teaching Logic [[electronic resource] ] : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings / / edited by Patrick Blackburn, Hans van Ditmarsch, Maria Manzano, Fernando Soler-Toscano |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XI, 257 p. 43 illus., 31 illus. in color.) |
| Disciplina | 160.71 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Education—Data processing Science education Artificial Intelligence Mathematical Logic and Formal Languages Computers and Education Mathematical Logic and Foundations Science Education |
| ISBN | 3-642-21350-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465574703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||