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.
The Cognitive Foundations of Group Attitudes and Social Interaction / / edited by Andreas Herzig, Emiliano Lorini
| The Cognitive Foundations of Group Attitudes and Social Interaction / / edited by Andreas Herzig, Emiliano Lorini |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (208 p.) |
| Disciplina | 100 |
| Collana | Studies in the Philosophy of Sociality |
| Soggetto topico |
Philosophy and social sciences
Artificial intelligence Philosophy of the Social Sciences Artificial Intelligence |
| ISBN | 3-319-21732-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1 "On the philosophy and logic of help" Emanuele Bottazzi and Nicolas Troquard (Lab of Applied Ontology, ISTC-CNR, Trento, Italy) -- Chapter 2 "Healing social sciences’ psycho-phobia – Founding social action and structure on mental representations" Cristiano Castelfranchi (ISTC-CNR, Rome) -- Chapter 3 "Analytical decomposition of trust in terms of mental and social attitudes" Robert Demolombe (IRIT, Toulouse) -- Chapter 4 "On modal logics of group belief" Benoit Gaudou, Andreas Herzig, Dominique Longin and Emiliano Lorini (IRIT, Toulouse) -- Chapter 5 "Logic of promotion and demotion" Patrick Girard (The University of Auckland, NZ) -- Chapter 6 "On the attitude of trust – a formal characterization of trust, distrust, and associated notions" Andrew I.J. Jones (Dept. of Informatics, King’s College, London) -- Chapter 7 "The topology of common belief" David Pearce and Levan Uridia (Universidad Politécnica de Madrid; TSU Razmadze Mathematical Institute, Georgia) -- Chapter 8 "Social emotions from the perspective of the computational belief-desire theory of emotion" Rainer Reisenzein (Dept. of Psychology, University of Greifswald) -- Chapter 9 "Reasoning with Normative Systems" Giovanni Sartor (Dept. of Law, Eur. University Institute, Florence and Faculty of Law, Bologna) -- Chapter 10 "An agent based model of Camorra: comparing punishment and norm-based policies in contrasting illegal activities" -- Chapter 11 Barbara Sonzogni, Federico Cecconi, Giulia Andrighetti, Rosaria Conte (Dept. of Communication and Social Research at Sapienza University, Rome; Lab. of Agent-Based Simulation, ISTC-CNR, Rome; Eur. University Institute, Florence). . |
| Record Nr. | UNINA-9910483347803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Foundations of Information and Knowledge Systems [[electronic resource] ] : 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings / / edited by Andreas Herzig, Juha Kontinen
| Foundations of Information and Knowledge Systems [[electronic resource] ] : 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings / / edited by Andreas Herzig, Juha Kontinen |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XVIII, 335 p. 656 illus., 13 illus. in color.) |
| Disciplina | 004 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Mathematical logic
Software engineering Database management Artificial intelligence Computer logic Knowledge representation (Information theory) Application software Mathematical Logic and Formal Languages Software Engineering/Programming and Operating Systems Database Management Logic in AI Knowledge based Systems Computer Appl. in Administrative Data Processing |
| ISBN | 3-030-39951-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Functional Dependencies in Incomplete Databases With Limited Domains -- Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings -- On matrices and K-relations -- Social Consolidations: Rational Belief in a Many-Valued Logic of Evidence and Peerhood -- ASPARTIX-V19 - An Answer-set Programming based System for Abstract Argumentation -- Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems -- Diversity, Dependence and Independence -- Towards Probabilistic Reasoning in Type Theory - the Intersection Type Case -- Measuring Inconsistency in a General Information Space -- Parameterised Complexity of Model Checking and Satisability in Propositional Dependence Logic -- Utilizing Deep Learning and RDF to Predict Heart Transplantation Survival -- Game Description Logic with Integers: A GDL Numerical Extension -- Craig Interpolation of Epistemic Logics with Distributed Knowledge -- On the dynamics of structured argumentation: Modeling changes in default justication logic -- Logic-based Approach to Incremental Monitoring and Optimization on Strongly Distributed Data Streams -- Realisability of Choreographies -- Schema Optimisation Instead Of (Local) Normalisation -- Strongly Minimal MapReduce Algorithms: A TeraSort Case Study -- Event Sequence Interpretation of Structural Geomodels: A Knowledge-Based Approach for Extracting Tectonic Sequences. |
| Record Nr. | UNISA-996418206003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations of Information and Knowledge Systems : 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings / / edited by Andreas Herzig, Juha Kontinen
| Foundations of Information and Knowledge Systems : 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings / / edited by Andreas Herzig, Juha Kontinen |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XVIII, 335 p. 656 illus., 13 illus. in color.) |
| Disciplina |
004
005.131 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Mathematical logic
Software engineering Database management Artificial intelligence Computer logic Knowledge representation (Information theory) Application software Mathematical Logic and Formal Languages Software Engineering/Programming and Operating Systems Database Management Logic in AI Knowledge based Systems Computer Appl. in Administrative Data Processing |
| ISBN | 3-030-39951-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Functional Dependencies in Incomplete Databases With Limited Domains -- Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings -- On matrices and K-relations -- Social Consolidations: Rational Belief in a Many-Valued Logic of Evidence and Peerhood -- ASPARTIX-V19 - An Answer-set Programming based System for Abstract Argumentation -- Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems -- Diversity, Dependence and Independence -- Towards Probabilistic Reasoning in Type Theory - the Intersection Type Case -- Measuring Inconsistency in a General Information Space -- Parameterised Complexity of Model Checking and Satisability in Propositional Dependence Logic -- Utilizing Deep Learning and RDF to Predict Heart Transplantation Survival -- Game Description Logic with Integers: A GDL Numerical Extension -- Craig Interpolation of Epistemic Logics with Distributed Knowledge -- On the dynamics of structured argumentation: Modeling changes in default justication logic -- Logic-based Approach to Incremental Monitoring and Optimization on Strongly Distributed Data Streams -- Realisability of Choreographies -- Schema Optimisation Instead Of (Local) Normalisation -- Strongly Minimal MapReduce Algorithms: A TeraSort Case Study -- Event Sequence Interpretation of Structural Geomodels: A Knowledge-Based Approach for Extracting Tectonic Sequences. |
| Record Nr. | UNINA-9910373927103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Frontiers of Combining Systems [[electronic resource] ] : 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings / / edited by Andreas Herzig, Andrei Popescu
| Frontiers of Combining Systems [[electronic resource] ] : 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings / / edited by Andreas Herzig, Andrei Popescu |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XX, 365 p. 564 illus., 6 illus. in color.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer logic Algorithms Software engineering Computer simulation Artificial Intelligence Mathematical Logic and Formal Languages Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Software Engineering/Programming and Operating Systems Simulation and Modeling |
| ISBN | 3-030-29007-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466425703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Frontiers of Combining Systems : 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings / / edited by Andreas Herzig, Andrei Popescu
| Frontiers of Combining Systems : 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings / / edited by Andreas Herzig, Andrei Popescu |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XX, 365 p. 564 illus., 6 illus. in color.) |
| Disciplina |
511.3
005.131 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer logic Algorithms Software engineering Computer simulation Artificial Intelligence Mathematical Logic and Formal Languages Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Software Engineering/Programming and Operating Systems Simulation and Modeling |
| ISBN | 3-030-29007-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910349303403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Kripke's worlds : an introduction to modal logics via Tableaux / / Olivier Gasquet [and three others]
| Kripke's worlds : an introduction to modal logics via Tableaux / / Olivier Gasquet [and three others] |
| Autore | Gasquet Olivier |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Basel [Switzerland] : , : Birkhauser, , 2014 |
| Descrizione fisica | 1 online resource (xv, 198 pages) : illustrations (some color) |
| Disciplina | 511.31 |
| Collana | Studies in Universal Logic |
| Soggetto topico | Modality (Logic) |
| ISBN | 3-7643-8504-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- 1 Modelling things with graphs -- 2 Talking about graphs -- 3 The basics of the model construction method -- 4 Logics with simple constraints on models -- 5 Logics with transitive accessibility relations -- 6 Model Checking -- 7 Modal logics with transitive closure -- Bibliography -- Index. |
| Record Nr. | UNINA-9910299961703321 |
Gasquet Olivier
|
||
| Basel [Switzerland] : , : Birkhauser, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic, Rationality, and Interaction [[electronic resource] ] : 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings / / edited by Natasha Alechina, Andreas Herzig, Fei Liang
| Logic, Rationality, and Interaction [[electronic resource] ] : 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings / / edited by Natasha Alechina, Andreas Herzig, Fei Liang |
| Autore | Alechina Natasha |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (344 pages) |
| Disciplina | 160 |
| Altri autori (Persone) |
HerzigAndreas
LiangFei |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Logic
Game theory Natural language processing (Computer science) Game Theory Natural Language Processing (NLP) |
| ISBN | 3-031-45558-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Rationality -- Epistemology -- Agency; argumentation -- Knowledge representation -- Probability and uncertainty -- Belief revision.-Norms -- Actions -- Intentions and goals. - Game theory -- Social interaction -- Social choice -- Speech acts -- Natural language. |
| Record Nr. | UNINA-9910754094503321 |
|
Alechina Natasha
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic, Rationality, and Interaction [[electronic resource] ] : 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings / / edited by Natasha Alechina, Andreas Herzig, Fei Liang
| Logic, Rationality, and Interaction [[electronic resource] ] : 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings / / edited by Natasha Alechina, Andreas Herzig, Fei Liang |
| Autore | Alechina Natasha |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (344 pages) |
| Disciplina | 160 |
| Altri autori (Persone) |
HerzigAndreas
LiangFei |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Logic
Game theory Natural language processing (Computer science) Game Theory Natural Language Processing (NLP) |
| ISBN | 3-031-45558-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Rationality -- Epistemology -- Agency; argumentation -- Knowledge representation -- Probability and uncertainty -- Belief revision.-Norms -- Actions -- Intentions and goals. - Game theory -- Social interaction -- Social choice -- Speech acts -- Natural language. |
| Record Nr. | UNISA-996558466303316 |
|
Alechina Natasha
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logics in Artificial Intelligence [[electronic resource] ] : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012, Proceedings / / edited by Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin
| Logics in Artificial Intelligence [[electronic resource] ] : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012, Proceedings / / edited by Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XIV, 498 p. 49 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer logic Computer programming Information storage and retrieval Optical data processing Artificial Intelligence Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Techniques Information Storage and Retrieval Computer Imaging, Vision, Pattern Recognition and Graphics |
| ISBN | 3-642-33353-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models -- Nested Sequent Calculi for Conditional Logics -- Conflict-Tolerant Semantics for Argumentation Frameworks -- Knowledge Means ’All ’, Belief Means ’Most’ -- Generalized DEL-Sequents -- Deciding the Bisimilarity Relation between Datalog Goals -- Inconsistency Management for Traffic Regulations: Formalization and Complexity Results -- Conditional Epistemic Planning -- PTL: A Propositional Typicality Logic -- The Complexity of One-Agent Refinement Modal Logic -- The View-Update Problem for Indefinite Databases -- Three-Valued Logics for Incomplete Information and Epistemic Logic -- Exploiting Unfounded Sets for HEX-Program Evaluation -- Using Satisfiability for Non-optimal Temporal Planning -- How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic Logic -- Exact Query Reformulation with First-Order Ontologies and Databases -- A Selective Semantics for Logic Programs with Preferences -- A Minimal Model Semantics for Nonmonotonic Reasoning -- Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights -- On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility -- Fault Tolerance in Belief Formation Networks -- Large-Scale Cost-Based Abduction in Full-Fledged First-Order Predicate Logic with Cutting Plane Inference -- Belief Base Change Operations for Answer Set Programming -- A Framework for Semantic-Based Similarity Measures for ELH-Concepts -- Sequent Systems for Lewis’ Conditional Logics -- Relevant Minimal Change in Belief Update -- Minimal Proof Search for Modal Logic K Model Checking -- Building an Epistemic Logic for Argumentation -- A Unifying Perspective on Knowledge Updates -- Verifying Brahms Human-Robot Teamwork Models -- On Satisfiability in ATL with Strategy Contexts -- Jumping to Conclusions: A Logico-Probabilistic Foundation for Defeasible Rule-Based Arguments -- Beyond Maxi-Consistent Argumentation Operators -- Reasoning about Agent Programs Using ATL-Like Logics -- Qualitative Approximate Behavior Composition -- A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information -- DebateWEL: An Interface for Debating with Enthymemes and Logical Formulas -- OMiGA: An Open Minded Grounding On-The-Fly Answer Set Solver -- The Multi-Engine ASP Solver ME-ASP -- A System for the Use of Answer Set Programming in Reinforcement Learning -- The Tableau Prover Generator MetTeL2. |
| Record Nr. | UNISA-996465589503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||