Qualitative and quantitative practical reasoning : first International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9 12, 1997 : proceedings
This book constitutes the refereed proceedings of the First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, held in Bad Honnef, Germany, in June 1997. The volume presents 33 revised full papers carefully selected for inclusion in the book by...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Collectivité auteur: | |
| Autres auteurs: | , , |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science. Lecture notes in artificial intelligence
1244 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Autre directeur de publication : Hans Jürgen Ohlbach Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Qualitative and quantitative practical reasoning, first International Joint Conference on Qualitative and Quantitative Practical Reasoning,ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, Proceedings, Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart... [et al.] (Eds.), 1997, Berlin, Springer, 1 vol. (X-620 p.), Lecture notes in computer science, 3-540-63095-3 • Qualitative and Quantitative Practical Reasoning, Texte imprimé, 9783662206539 |
| LEADER | 06656nam a22004697a 4500 | ||
|---|---|---|---|
| 001 | 970292 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155187805 | ||
| 020 | |a 9783540691297 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 006.333 | ||
| 082 | |a 004 | ||
| 100 | 1 | |a Gabbay, Dov M., |d 1945- | |
| 245 | 1 | 0 | |a Qualitative and quantitative practical reasoning : |b first International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9 12, 1997 : proceedings |c [edited by] Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart... [et al.]. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science. Lecture notes in artificial intelligence |v 1244 |x 1611-3349 |x 2945-9141 | |
| 500 | |a Autre directeur de publication : Hans Jürgen Ohlbach | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Multisensor data fusion in situation assessment processes -- Dependency mining in relational databases -- Syntactic combination of uncertain information: A possibilistic approach -- A coherence-based approach to default reasoning -- A syntactical approach to data fusion -- Some experimental results on learning probabilistic and possibilistic networks with different evaluation measures -- Information fusion in logic: A brief overview -- Focusing vs. belief revision: A fundamental distinction when dealing with generic knowledge -- Background and perspectives of possibilistic graphical models -- Checking several forms of consistency in nonmonotonic knowledge-bases -- The ?-junctions: Combination operators applicable to belief functions -- Just how stupid is postmodernism? -- Integrating preference orderings into argument-based reasoning -- Assumption-based modeling using ABEL -- Propositional quantification for conditional logic -- Fast-division architecture for Dempster-Shafer belief functions -- Graduality by means of analogical reasoning -- Reasoning about unpredicted change and explicit time -- Non-elementary speed-ups in default reasoning -- A compositional reasoning system for executing nonmonotonic theories of reasoning -- Structured belief bases: A practical approach to prioritised base revision -- Entrenchment relations: A uniform approach to nonmonotonicity -- A modal logic for reasoning about knowledge and time on binary subset trees -- How to change factual beliefs using laws and dependence information -- Using default logic for lexical knowledge -- A layered, any time approach to sensor validation -- TreeNets: A framework for anytime evaluation of belief networks -- A logically sound method for uncertain reasoning with quantified conditionals -- Belief functions with nonstandardvalues -- Error tolerance method in multiple-valued logic -- Representing and reasoning with events from natural language -- Reasoning about security: A logic and a decision method for role-based access control -- Process modeling with different qualities of knowledge -- A Fuzzy analysis of linguistic negation of nuanced property in Knowledge-Based systems -- Normative argumentation and qualitative probability -- Towards a formalization of narratives: Actions with duration, concurrent actions and qualifications -- Multiple subarguments in logic, argumentation, rhetoric and text generation -- Cactus: A branching-time logic programming language -- Creating prototypes for fast classification in Dempster-Shafer clustering -- Probabilistic default logic based on irrelevance and relevance assumptions -- Logic for two: The semantics of distributive substructural logics -- Multivalued extension of conditional belief functions -- Combining evidence under partial ignorance -- Rational Default Quantifier Logic -- Disjunctive update, minimal change, and default reasoning -- Toward a uniform logical representation of different kinds of integrity constraints. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This book constitutes the refereed proceedings of the First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, held in Bad Honnef, Germany, in June 1997. The volume presents 33 revised full papers carefully selected for inclusion in the book by the program committee as well as 12 invited contributions. Among the various aspects of human practical reasoning addressed in the papers are nonmonotonic logics, default reasoning, modal logics, belief function theory, Bayesian networks, fuzzy logic, possibility theory, inference algorithms, dynamic reasoning with partial models, and user modeling approaches. | ||
| 650 | |a Informatique | ||
| 650 | |a Incertitude (théorie de l'information) | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Raisonnement | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Kruse, Rudolf, |d 1952- |4 pbd | |
| 700 | 1 | |a Nonnengart, Andreas. |4 pbd | |
| 700 | 1 | |a Ohlbach, Hans Jürgen. |4 pbd | |
| 711 | 2 | |a International joint conference on qualitative and quantitative practical reasoning |n (01 |d :1997 |c :Bad Honnef, Allemagne). |4 aut | |
| 776 | 0 | |0 031073565 |t Qualitative and quantitative practical reasoning |o first International Joint Conference on Qualitative and Quantitative Practical Reasoning,ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 |o Proceedings |f Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart... [et al.] (Eds.) |d 1997 |c Berlin |n Springer |p 1 vol. (X-620 p.) |s Lecture notes in computer science |z 3-540-63095-3 | |
| 776 | 0 | |t Qualitative and Quantitative Practical Reasoning |b Texte imprimé |z 9783662206539 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0035607 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-F23WT9RL-B |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750664746 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0035607 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754014061 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0035607 |z Accès INSA CVL | |
| 997 | |0 970292 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||