top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Chronicles: Formalization of a Temporal Model [[electronic resource] /] / by Thomas Guyet, Philippe Besnard
Chronicles: Formalization of a Temporal Model [[electronic resource] /] / by Thomas Guyet, Philippe Besnard
Autore Guyet Thomas
Edizione [1st ed. 2023.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023
Descrizione fisica 1 online resource (132 pages)
Disciplina 006.312
Altri autori (Persone) BesnardPhilippe
Collana SpringerBriefs in Computer Science
Soggetto topico Data mining
Pattern recognition systems
Space in economics
Data Mining and Knowledge Discovery
Automated Pattern Recognition
Spatial Economics
ISBN 3-031-33693-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- Preface -- Contents -- List of Symbols -- List of Figures -- 1 Introduction -- 1.1 Why Study Chronicles? -- 1.1.1 Situation Recognition -- 1.1.2 Abstracting Sequences -- 1.2 The Role of a Chronicle and Its Components -- 1.2.1 Injective Mapping from Events in Chronicles to Events in Sequences -- 1.2.2 Consistency and Redundancy of Temporal Constraints -- 1.3 Notions of Temporal Constraints -- 1.3.1 Edge Directions and Negativity of the Temporal Constraints -- 1.3.2 Unlimited Edges vs. Absence of Edges -- 1.3.3 What Is the Meaning of Multiple Temporal Constraints Between Two Events? -- 2 A Formal Account of Chronicles -- 2.1 Preliminary Definitions -- 2.1.1 Event Types and Events -- 2.1.2 Chronicles -- 2.2 Multiset Embeddings -- 2.3 A Preorder Between Chronicles -- 2.4 Chronicles and Subgraph Isomorphisms -- 3 Structuring the Space of Chronicles -- 3.1 Introduction -- 3.2 A Partial Order Between Slim Chronicles -- 3.3 Simple Chronicles -- 3.4 Intersection Between Chronicles -- 3.5 Semilattice Structure for Subspaces of the Chronicles -- 3.6 Summary -- 4 Occurrences of a Chronicle -- 4.1 Introduction -- 4.2 Occurrence of a Chronicle -- 4.3 Counting Occurrences of a Chronicle -- 4.4 Conclusion -- 5 Inducing Chronicles from Event Sequences -- 5.1 Introduction -- 5.2 Generating a Chronicle from a Sequence -- 5.3 Inducing a Chronicle from Event Sequences -- 5.3.1 Dataset of Event Sequences -- 5.3.2 Abstracting a Dataset of Sequences with Chronicles -- 5.3.3 A Dataset Chronicles Reduct -- 5.3.4 Summary -- 5.4 Mining Chronicles from Event Sequences -- 5.4.1 Basic Notions -- 5.4.2 Frequent Chronicles -- 5.4.3 Formal Concept Analysis and Pattern Structures -- 5.4.4 Applying Pattern Structures to Chronicles -- 5.5 Conclusion -- 6 Conclusion -- 6.1 Summary -- 6.2 Perspectives -- A Proofs -- A.1 Proofs for Sect.2.1.2 -- A.2 Proofs for Sect.3.2.
A.3 Proofs for Sect.3.3 -- A.4 Proofs for Sect.3.5 -- A.5 Proofs for Sect.4.2 -- A.6 Proofs for Sect.5.2 -- A.7 Proofs for Sect.5.3.3 -- A.8 Proofs for Sect.5.4.1 -- A.9 Proofs for Sect.5.4.4 -- B Additional Content -- B.1 Joint Intersection on the Set of Simple Chronicles -- References -- Index.
Record Nr. UNISA-996546822503316
Guyet Thomas  
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Chronicles: Formalization of a Temporal Model / / by Thomas Guyet, Philippe Besnard
Chronicles: Formalization of a Temporal Model / / by Thomas Guyet, Philippe Besnard
Autore Guyet Thomas
Edizione [1st ed. 2023.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023
Descrizione fisica 1 online resource (132 pages)
Disciplina 006.312
Altri autori (Persone) BesnardPhilippe
Collana SpringerBriefs in Computer Science
Soggetto topico Data mining
Pattern recognition systems
Space in economics
Data Mining and Knowledge Discovery
Automated Pattern Recognition
Spatial Economics
ISBN 3-031-33693-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- Preface -- Contents -- List of Symbols -- List of Figures -- 1 Introduction -- 1.1 Why Study Chronicles? -- 1.1.1 Situation Recognition -- 1.1.2 Abstracting Sequences -- 1.2 The Role of a Chronicle and Its Components -- 1.2.1 Injective Mapping from Events in Chronicles to Events in Sequences -- 1.2.2 Consistency and Redundancy of Temporal Constraints -- 1.3 Notions of Temporal Constraints -- 1.3.1 Edge Directions and Negativity of the Temporal Constraints -- 1.3.2 Unlimited Edges vs. Absence of Edges -- 1.3.3 What Is the Meaning of Multiple Temporal Constraints Between Two Events? -- 2 A Formal Account of Chronicles -- 2.1 Preliminary Definitions -- 2.1.1 Event Types and Events -- 2.1.2 Chronicles -- 2.2 Multiset Embeddings -- 2.3 A Preorder Between Chronicles -- 2.4 Chronicles and Subgraph Isomorphisms -- 3 Structuring the Space of Chronicles -- 3.1 Introduction -- 3.2 A Partial Order Between Slim Chronicles -- 3.3 Simple Chronicles -- 3.4 Intersection Between Chronicles -- 3.5 Semilattice Structure for Subspaces of the Chronicles -- 3.6 Summary -- 4 Occurrences of a Chronicle -- 4.1 Introduction -- 4.2 Occurrence of a Chronicle -- 4.3 Counting Occurrences of a Chronicle -- 4.4 Conclusion -- 5 Inducing Chronicles from Event Sequences -- 5.1 Introduction -- 5.2 Generating a Chronicle from a Sequence -- 5.3 Inducing a Chronicle from Event Sequences -- 5.3.1 Dataset of Event Sequences -- 5.3.2 Abstracting a Dataset of Sequences with Chronicles -- 5.3.3 A Dataset Chronicles Reduct -- 5.3.4 Summary -- 5.4 Mining Chronicles from Event Sequences -- 5.4.1 Basic Notions -- 5.4.2 Frequent Chronicles -- 5.4.3 Formal Concept Analysis and Pattern Structures -- 5.4.4 Applying Pattern Structures to Chronicles -- 5.5 Conclusion -- 6 Conclusion -- 6.1 Summary -- 6.2 Perspectives -- A Proofs -- A.1 Proofs for Sect.2.1.2 -- A.2 Proofs for Sect.3.2.
A.3 Proofs for Sect.3.3 -- A.4 Proofs for Sect.3.5 -- A.5 Proofs for Sect.4.2 -- A.6 Proofs for Sect.5.2 -- A.7 Proofs for Sect.5.3.3 -- A.8 Proofs for Sect.5.4.1 -- A.9 Proofs for Sect.5.4.4 -- B Additional Content -- B.1 Joint Intersection on the Set of Simple Chronicles -- References -- Index.
Record Nr. UNINA-9910736009603321
Guyet Thomas  
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
La psychologie sociale : une discipline en mouvement / / Denise Jodelet, Jean Viet, Philippe Besnard
La psychologie sociale : une discipline en mouvement / / Denise Jodelet, Jean Viet, Philippe Besnard
Autore Jodelet Denise
Pubbl/distr/stampa Chicoutimi : , : J.-M. Tremblay, , 2008
Descrizione fisica 1 online resource (445 pages)
Disciplina 146.4
Collana Classiques des sciences sociales
Soggetto topico Positivism
ISBN 1-4123-6366-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Nota di contenuto INDEX DES AUTEURS DES TEXTES ANALYSÉS -- AVANT-PROPOS -- PRÉFACE DE SERGE MOSCOVICI -- 1 - La psychologie sociale. Science ou mouvement : sa spécificité et ses tensions -- 2 - Les courants actuels de la recherche psychosociologique -- 3 - Perspectives d'avenir -- ANALYSES DE TEXTES ILLUSTRANT -- LES TENDANCES RÉCENTES DE LA RECHERCHE -- PREMIÈRE PARTIE : INTRODUCTION AU DOMAINE -- I. Manuels et ouvrages d'introduction -- II. Revues de tendances -- III. Points de vue sur l'état de la discipline -- IV. Théories et systèmes d'approche de l'interaction sociale -- V. Modèles théoriques et mathématiques -- DEUXIÈME PARTIE : CHAMPS D'ÉTUDE SPÉCIFIQUES -- I. Attitudes, opinions et représentations sociales -- A. Perspectives théoriques et tendances de la recherche -- B. Illustrations empiriques -- II. Communications de masse, processus de diffusion et changement social -- A. Perspectives théoriques et tendances de la recherche -- B. Illustrations empiriques -- III. Structures de communication et langage -- A. Perspectives théoriques et tendances de la recherche -- B. Illustrations empiriques -- IV. Groupes restreints : généralités ; dynamique et processus intragroupe ; structure, organisation et production des groupes -- A. Perspectives théoriques et tendances de la recherche -- B. Illustrations empiriques -- 1 - Dynamique et processus intra-groupe -- 2 - Structure et organisation des groupes -- 3 - Créativité et production des groupes. Comparaison des performances individuelles et collectives -- V. Groupes restreints : hiérarchie, leadership et pouvoir -- A. Perspectives théoriques et tendances de la recherche -- B. Illustrations empiriques -- VI. Pressions sociales : processus d'influence ; normes et rôles -- A. Perspectives théoriques et tendances de la recherche -- B. Illustrations empiriques -- VII. Analyse de l'interaction sociale : échange, conflit, négociation -- A. Perspectives théoriques et tendances de la recherche -- B. Illustrations empiriques -- VIII. Processus psychologiques, variables psychologiques et facteurs sociaux -- A. Perspectives théoriques et tendances de la recherche -- B. Illustrations empiriques -- IX. Perception sociale, relations interpersonnelles et intergroupes -- A. Perspectives théoriques et tendances de la recherche -- B. Illustrations empiriques.
Altri titoli varianti La psychologie sociale
Record Nr. UNINA-9910132614803321
Jodelet Denise  
Chicoutimi : , : J.-M. Tremblay, , 2008
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
La psychologie sociale : une discipline en mouvement / / [par] Denise Jodelet, Jean Viet [et] Philippe Besnard ; Préf. de Serge Moscovici
La psychologie sociale : une discipline en mouvement / / [par] Denise Jodelet, Jean Viet [et] Philippe Besnard ; Préf. de Serge Moscovici
Autore Jodelet Denise
Edizione [Reprint 2014]
Pubbl/distr/stampa Paris : , : Mouton, , [1970]
Descrizione fisica 1 online resource (472 p.)
Collana Les Textes sociologiques
Soggetto topico Social psychology
Soggetto genere / forma Electronic books.
ISBN 3-11-087599-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Nota di contenuto Frontmatter -- AVANT-PROPOS -- PRÉFACE de SERGE MOSGOVICI -- ANALYSES DE TEXTES ILLUSTRANT LES TENDANCES RECENTES DE LA RECHERCHE -- Première Partie: INTRODUCTION AU DOMAINE -- I. MANUELS ET OUVRAGES D'INTRODUCTION -- II. REVUES DE TENDANCES -- III. POINTS DE VUE SUR L'ÉTAT DE LA DISCIPLINE -- IV. THÉORIES ET SYSTÈMES D'APPROCHE DE L'INTERACTION SOCIALE -- V. MODÈLES THÉORIQUES ET MATHÉMATIQUES -- Deuxième Partie: CHAMP D'ETUDE SPÉCIFIQUES -- I. ATTITUDES, OPINIONS ET REPRÉSENTATIONS SOCIALES -- II. COMMUNICATIONS DE MASSE PROCESSUS DE DIFFUSION ET CHANGEMENT SOCIAL -- III. STRUCTURES DE COMMUNICATION ET LANGAGE -- IV. GROUPES RESTREINTS : GÉNÉRALITIÉS; DYNAMIQUE ET PROCESSUS INTRAGROUPE; STRUCTURE, ORGANISATION; ET PRODUCTION DES GROUPES -- V. GROUPES RESTREINTS : HIERARCHIE, LEADERSHIP ET POUVOIR -- VI. PRESSIONS SOCIALES: PROCESSUS D'INFLUENCE NORMES ET RÔLES -- VII. ANALYSE DE L'INTERACTION SOCIALE: ÉCHANGE, CONFLIT, NÉGOCIATION -- VIII. PROCESSUS PSYCHOLOGIQUES VARIABLES PSYCHOLOGIQUES ET FACTEURS SOCIAUX -- IX. PERCEPTION SOCIALE RELATIONS INTERPERSONELLES ET INTERGROUPES -- AUTEURS DES TEXTES ANALYSÉS -- TABLE DES MATIÈRES
Record Nr. UNINA-9910463553903321
Jodelet Denise  
Paris : , : Mouton, , [1970]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
La psychologie sociale : une discipline en mouvement / / [par] Denise Jodelet, Jean Viet [et] Philippe Besnard ; Préf. de Serge Moscovici
La psychologie sociale : une discipline en mouvement / / [par] Denise Jodelet, Jean Viet [et] Philippe Besnard ; Préf. de Serge Moscovici
Autore Jodelet Denise
Edizione [Reprint 2014]
Pubbl/distr/stampa Paris : , : Mouton, , [1970]
Descrizione fisica 1 online resource (472 p.)
Collana Les Textes sociologiques
Soggetto topico Social psychology
ISBN 3-11-087599-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Nota di contenuto Frontmatter -- AVANT-PROPOS -- PRÉFACE de SERGE MOSGOVICI -- ANALYSES DE TEXTES ILLUSTRANT LES TENDANCES RECENTES DE LA RECHERCHE -- Première Partie: INTRODUCTION AU DOMAINE -- I. MANUELS ET OUVRAGES D'INTRODUCTION -- II. REVUES DE TENDANCES -- III. POINTS DE VUE SUR L'ÉTAT DE LA DISCIPLINE -- IV. THÉORIES ET SYSTÈMES D'APPROCHE DE L'INTERACTION SOCIALE -- V. MODÈLES THÉORIQUES ET MATHÉMATIQUES -- Deuxième Partie: CHAMP D'ETUDE SPÉCIFIQUES -- I. ATTITUDES, OPINIONS ET REPRÉSENTATIONS SOCIALES -- II. COMMUNICATIONS DE MASSE PROCESSUS DE DIFFUSION ET CHANGEMENT SOCIAL -- III. STRUCTURES DE COMMUNICATION ET LANGAGE -- IV. GROUPES RESTREINTS : GÉNÉRALITIÉS; DYNAMIQUE ET PROCESSUS INTRAGROUPE; STRUCTURE, ORGANISATION; ET PRODUCTION DES GROUPES -- V. GROUPES RESTREINTS : HIERARCHIE, LEADERSHIP ET POUVOIR -- VI. PRESSIONS SOCIALES: PROCESSUS D'INFLUENCE NORMES ET RÔLES -- VII. ANALYSE DE L'INTERACTION SOCIALE: ÉCHANGE, CONFLIT, NÉGOCIATION -- VIII. PROCESSUS PSYCHOLOGIQUES VARIABLES PSYCHOLOGIQUES ET FACTEURS SOCIAUX -- IX. PERCEPTION SOCIALE RELATIONS INTERPERSONELLES ET INTERGROUPES -- AUTEURS DES TEXTES ANALYSÉS -- TABLE DES MATIÈRES
Record Nr. UNINA-9910788951303321
Jodelet Denise  
Paris : , : Mouton, , [1970]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
La psychologie sociale : une discipline en mouvement / / [par] Denise Jodelet, Jean Viet [et] Philippe Besnard ; Préf. de Serge Moscovici
La psychologie sociale : une discipline en mouvement / / [par] Denise Jodelet, Jean Viet [et] Philippe Besnard ; Préf. de Serge Moscovici
Autore Jodelet Denise
Edizione [Reprint 2014]
Pubbl/distr/stampa Paris : , : Mouton, , [1970]
Descrizione fisica 1 online resource (472 p.)
Collana Les Textes sociologiques
Soggetto topico Social psychology
ISBN 3-11-087599-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Nota di contenuto Frontmatter -- AVANT-PROPOS -- PRÉFACE de SERGE MOSGOVICI -- ANALYSES DE TEXTES ILLUSTRANT LES TENDANCES RECENTES DE LA RECHERCHE -- Première Partie: INTRODUCTION AU DOMAINE -- I. MANUELS ET OUVRAGES D'INTRODUCTION -- II. REVUES DE TENDANCES -- III. POINTS DE VUE SUR L'ÉTAT DE LA DISCIPLINE -- IV. THÉORIES ET SYSTÈMES D'APPROCHE DE L'INTERACTION SOCIALE -- V. MODÈLES THÉORIQUES ET MATHÉMATIQUES -- Deuxième Partie: CHAMP D'ETUDE SPÉCIFIQUES -- I. ATTITUDES, OPINIONS ET REPRÉSENTATIONS SOCIALES -- II. COMMUNICATIONS DE MASSE PROCESSUS DE DIFFUSION ET CHANGEMENT SOCIAL -- III. STRUCTURES DE COMMUNICATION ET LANGAGE -- IV. GROUPES RESTREINTS : GÉNÉRALITIÉS; DYNAMIQUE ET PROCESSUS INTRAGROUPE; STRUCTURE, ORGANISATION; ET PRODUCTION DES GROUPES -- V. GROUPES RESTREINTS : HIERARCHIE, LEADERSHIP ET POUVOIR -- VI. PRESSIONS SOCIALES: PROCESSUS D'INFLUENCE NORMES ET RÔLES -- VII. ANALYSE DE L'INTERACTION SOCIALE: ÉCHANGE, CONFLIT, NÉGOCIATION -- VIII. PROCESSUS PSYCHOLOGIQUES VARIABLES PSYCHOLOGIQUES ET FACTEURS SOCIAUX -- IX. PERCEPTION SOCIALE RELATIONS INTERPERSONELLES ET INTERGROUPES -- AUTEURS DES TEXTES ANALYSÉS -- TABLE DES MATIÈRES
Record Nr. UNINA-9910820354103321
Jodelet Denise  
Paris : , : Mouton, , [1970]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [[electronic resource] ] : 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings / / edited by Salem Benferhat, Philippe Besnard
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [[electronic resource] ] : 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings / / edited by Salem Benferhat, Philippe Besnard
Edizione [1st ed. 2001.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001
Descrizione fisica 1 online resource (XIV, 818 p.)
Disciplina 006.3
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Programming languages (Electronic computers)
Mathematical logic
Information technology
Business—Data processing
Artificial Intelligence
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
IT in Business
ISBN 3-540-44652-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Papers -- Graphical Models as Languages for Computer Assisted Diagnosis and Decision Making -- Planning with Uncertainty and Incomplete Information -- What’s Your Preference? And How to Express and Implement It in Logic Programming! -- Contributed Papers -- On Preference Representation on an Ordinal Scale -- Rule-Based Decision Support in Multicriteria Choice and Ranking -- Propositional Distances and Preference Representation -- Contributed Papers -- Value Iteration over Belief Subspace -- Space-Progressive Value Iteration: An Anytime Algorithm for a Class of POMDPs -- Contributed Papers -- Reasoning about Intentions in Uncertain Domains -- Troubleshooting with Simultaneous Models -- A Rational Conditional Utility Model in a Coherent Framework -- Contributed Papers -- Probabilistic Reasoning as a General Unifying Tool -- An Operational View of Coherent Conditional Previsions -- Contributed Papers -- Decomposition of Influence Diagrams -- Mixtures of Truncated Exponentials in Hybrid Bayesian Networks -- Importance Sampling in Bayesian Networks Using Antithetic Variables -- Using Recursive Decomposition to Construct Elimination Orders, Jointrees, and Dtrees -- Caveats For Causal Reasoning With Equilibrium Models -- Contributed Papers -- Supporting Changes in Structure in Causal Model Construction -- The Search of Causal Orderings: A Short Cut for Learning Belief Networks -- Stochastic Local Algorithms for Learning Belief Networks: Searching in the Space of the Orderings -- An Empirical Investigation of the K2 Metric -- Contributed Papers -- Sequential Valuation Networks: A New Graphical Technique for Asymmetric Decision Problems -- A Two-Steps Algorithm for Min-Based Possibilistic Causal Networks -- Contributed Papers -- Computing Intervals of Probabilities with Simulated Annealing and Probability Trees -- Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning -- Contributed Papers -- Belief Functions with Partially Ordered Values -- Dempster Specialization Matrices and the Combination of Belief Functions -- On the Conceptual Status of Belief Functions with Respect to Coherent Lower Probabilities -- About Conditional Belief Function Independence -- The Evaluation of Sensors’ Reliability and Their Tuning for Multisensor Data Fusion within the Transferable Belief Model -- Coarsening Approximations of Belief Functions -- Contributed Papers -- Label Semantics: A Formal Framework for Modeling with Words -- Reasoning about Knowledge Using Rough Sets -- Contributed Papers -- The Capacity of a Possibilistic Channel -- New Semantics for Quantitative Possibility Theory -- Bridging logical, comparative and graphical possibilistic representation frameworks -- Contributed Papers -- Ellipse fitting with uncertainty and fuzzy decision stage for detection. Application in videomicroscopy. -- Probabilistic Modelling for Software Quality Control -- Spatial Information Revision: A Comparison between 3 Approaches -- Contributed Papers -- Social Choice, Merging, and Elections -- Data merging: Theory of Evidence vs knowledge-bases merging operators -- Contributed Papers -- A Priori Revision -- Some Operators for Iterated Revision -- On Computing Solutions to Belief Change Scenarios -- “Not impossible” vs. “guaranteed possible” in fusion and revision -- General Preferential Entaulments as Circumscriptions -- Contributed Papers -- A Semantic Tableau Version of First-Order Quasi-Classical Logic -- On Anytime Coherence-Based Reasoning -- Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires -- Contributed Papers -- Comparing a Pair-wise Compatibility Heuristic and Relaxed Stratification: Some Preliminary Results -- How to Reason Credulously and Skeptically within a Single Extension -- Contributed Papers -- Handling Conditionals Adequately in Uncertain Reasoning -- Rankings We Prefer -- Contributed Papers -- Formalizing Human Uncertain Reasoning with Default Rules: A Psychological Conundrum and a Pragmatic Suggestion -- Statistical Information, Uncertainty, and Bayes’ Theorem: Some Applications in Experimental Psychology -- Polymorphism of Human Judgment under Uncertainty -- How to Doubt about a Conditional -- Contributed Papers -- Dialectical Proof Theories for the Credulous Preferred Semantics of Argumentation Frameworks -- Argumentation and Qualitative Probabilistic Reasoning Using the Kappa Calculus -- Contributed Papers -- Importance Measures from Reliability Theory for Probabilistic Assumption-Based Reasoning -- Ramification in the Normative Method of Causality -- Simultaneous Events: Conflicts and Preferences -- Orthogonal Relations for Reasoning about Abstract Events -- Contributed Papers -- Explanatory Relations Based on Mathematical Morphology -- Monotonic and Residuated Logic Programs -- Contributed Papers -- A Proof Procedure for Possibilistic Logic Programming with Fuzzy Constants -- First-Order Characterization and Modal Analysis of Indiscernibility and Complementarity in Information Systems -- Contributed Papers -- Complete and Incomplete Knowledge in Logical Information Systems -- Extending Polynomiality to a Class of Non-clausal Many-Valued Horn-Like Formulas -- A Genetic Algorithm for Satisfiability Problem in a Probabilistic Logic: A First Report.
Record Nr. UNISA-996465788603316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings / / edited by Salem Benferhat, Philippe Besnard
Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings / / edited by Salem Benferhat, Philippe Besnard
Edizione [1st ed. 2001.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001
Descrizione fisica 1 online resource (XIV, 818 p.)
Disciplina 006.3
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Programming languages (Electronic computers)
Mathematical logic
Information technology
Business—Data processing
Artificial Intelligence
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
IT in Business
ISBN 3-540-44652-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Papers -- Graphical Models as Languages for Computer Assisted Diagnosis and Decision Making -- Planning with Uncertainty and Incomplete Information -- What’s Your Preference? And How to Express and Implement It in Logic Programming! -- Contributed Papers -- On Preference Representation on an Ordinal Scale -- Rule-Based Decision Support in Multicriteria Choice and Ranking -- Propositional Distances and Preference Representation -- Contributed Papers -- Value Iteration over Belief Subspace -- Space-Progressive Value Iteration: An Anytime Algorithm for a Class of POMDPs -- Contributed Papers -- Reasoning about Intentions in Uncertain Domains -- Troubleshooting with Simultaneous Models -- A Rational Conditional Utility Model in a Coherent Framework -- Contributed Papers -- Probabilistic Reasoning as a General Unifying Tool -- An Operational View of Coherent Conditional Previsions -- Contributed Papers -- Decomposition of Influence Diagrams -- Mixtures of Truncated Exponentials in Hybrid Bayesian Networks -- Importance Sampling in Bayesian Networks Using Antithetic Variables -- Using Recursive Decomposition to Construct Elimination Orders, Jointrees, and Dtrees -- Caveats For Causal Reasoning With Equilibrium Models -- Contributed Papers -- Supporting Changes in Structure in Causal Model Construction -- The Search of Causal Orderings: A Short Cut for Learning Belief Networks -- Stochastic Local Algorithms for Learning Belief Networks: Searching in the Space of the Orderings -- An Empirical Investigation of the K2 Metric -- Contributed Papers -- Sequential Valuation Networks: A New Graphical Technique for Asymmetric Decision Problems -- A Two-Steps Algorithm for Min-Based Possibilistic Causal Networks -- Contributed Papers -- Computing Intervals of Probabilities with Simulated Annealing and Probability Trees -- Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning -- Contributed Papers -- Belief Functions with Partially Ordered Values -- Dempster Specialization Matrices and the Combination of Belief Functions -- On the Conceptual Status of Belief Functions with Respect to Coherent Lower Probabilities -- About Conditional Belief Function Independence -- The Evaluation of Sensors’ Reliability and Their Tuning for Multisensor Data Fusion within the Transferable Belief Model -- Coarsening Approximations of Belief Functions -- Contributed Papers -- Label Semantics: A Formal Framework for Modeling with Words -- Reasoning about Knowledge Using Rough Sets -- Contributed Papers -- The Capacity of a Possibilistic Channel -- New Semantics for Quantitative Possibility Theory -- Bridging logical, comparative and graphical possibilistic representation frameworks -- Contributed Papers -- Ellipse fitting with uncertainty and fuzzy decision stage for detection. Application in videomicroscopy. -- Probabilistic Modelling for Software Quality Control -- Spatial Information Revision: A Comparison between 3 Approaches -- Contributed Papers -- Social Choice, Merging, and Elections -- Data merging: Theory of Evidence vs knowledge-bases merging operators -- Contributed Papers -- A Priori Revision -- Some Operators for Iterated Revision -- On Computing Solutions to Belief Change Scenarios -- “Not impossible” vs. “guaranteed possible” in fusion and revision -- General Preferential Entaulments as Circumscriptions -- Contributed Papers -- A Semantic Tableau Version of First-Order Quasi-Classical Logic -- On Anytime Coherence-Based Reasoning -- Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires -- Contributed Papers -- Comparing a Pair-wise Compatibility Heuristic and Relaxed Stratification: Some Preliminary Results -- How to Reason Credulously and Skeptically within a Single Extension -- Contributed Papers -- Handling Conditionals Adequately in Uncertain Reasoning -- Rankings We Prefer -- Contributed Papers -- Formalizing Human Uncertain Reasoning with Default Rules: A Psychological Conundrum and a Pragmatic Suggestion -- Statistical Information, Uncertainty, and Bayes’ Theorem: Some Applications in Experimental Psychology -- Polymorphism of Human Judgment under Uncertainty -- How to Doubt about a Conditional -- Contributed Papers -- Dialectical Proof Theories for the Credulous Preferred Semantics of Argumentation Frameworks -- Argumentation and Qualitative Probabilistic Reasoning Using the Kappa Calculus -- Contributed Papers -- Importance Measures from Reliability Theory for Probabilistic Assumption-Based Reasoning -- Ramification in the Normative Method of Causality -- Simultaneous Events: Conflicts and Preferences -- Orthogonal Relations for Reasoning about Abstract Events -- Contributed Papers -- Explanatory Relations Based on Mathematical Morphology -- Monotonic and Residuated Logic Programs -- Contributed Papers -- A Proof Procedure for Possibilistic Logic Programming with Fuzzy Constants -- First-Order Characterization and Modal Analysis of Indiscernibility and Complementarity in Information Systems -- Contributed Papers -- Complete and Incomplete Knowledge in Logical Information Systems -- Extending Polynomiality to a Class of Non-clausal Many-Valued Horn-Like Formulas -- A Genetic Algorithm for Satisfiability Problem in a Probabilistic Logic: A First Report.
Record Nr. UNINA-9910143627403321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui