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.
Applications of uncertainty formalisms / / Anthony Hunter, Simon D. Parsons (Eds.)
| Applications of uncertainty formalisms / / Anthony Hunter, Simon D. Parsons (Eds.) |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1998] |
| Descrizione fisica | 1 online resource (VIII, 474 p. 64 illus.) |
| Disciplina | 003.54 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Uncertainty (Information theory) |
| ISBN | 3-540-49426-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | to uncertainty formalisms -- A Review of Uncertainty Handling Formalisms -- Application case studies -- Using Uncertainty Management Techniques in Medical Therapy Planning: a Decision-Theoretic approach -- An Ordinal Approach to the Processing of Fuzzy Queries with Flexible Quantifiers -- Using Uncertainty Techniques in Radio Communication Systems -- Handling imperfect knowledge in Milord II for the identification of marine sponges -- Qualitative risk assessment fulfils a need -- Information Retrieval and Dempster-Shafer’s Theory of Evidence -- Uncertainty Measures associated with Fuzzy Rules for Connection Admission Control in ATM Networks -- Handling uncertainty in control of autonomous robots -- Some Problems in Trying to Implement Uncertainty Techniques in Automated Inspection -- Correlation using uncertain and temporal information -- Arguing about beliefs and actions -- Analysis of Multi-Interpretable Ecological Monitoring Information -- Technology for applications -- A local handling of inconsistent knowledge and default bases -- The XRay system: An implementation platform for local query-answering in default logics -- Model-based Diagnosis: A Probabilistic Extension -- Background to and Perspectives on Possibilistic Graphical Models -- How much does an agent believe: an extension of modal epistemic logic -- Safety Logics -- Modeling Uncertainty with Propositional Assumption-Based Systems. |
| Record Nr. | UNINA-9910143500003321 |
| Berlin ; ; Heidelberg : , : Springer, , [1998] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applications of uncertainty formalisms / / Anthony Hunter, Simon D. Parsons (Eds.)
| Applications of uncertainty formalisms / / Anthony Hunter, Simon D. Parsons (Eds.) |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1998] |
| Descrizione fisica | 1 online resource (VIII, 474 p. 64 illus.) |
| Disciplina | 003.54 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Uncertainty (Information theory) |
| ISBN | 3-540-49426-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | to uncertainty formalisms -- A Review of Uncertainty Handling Formalisms -- Application case studies -- Using Uncertainty Management Techniques in Medical Therapy Planning: a Decision-Theoretic approach -- An Ordinal Approach to the Processing of Fuzzy Queries with Flexible Quantifiers -- Using Uncertainty Techniques in Radio Communication Systems -- Handling imperfect knowledge in Milord II for the identification of marine sponges -- Qualitative risk assessment fulfils a need -- Information Retrieval and Dempster-Shafer’s Theory of Evidence -- Uncertainty Measures associated with Fuzzy Rules for Connection Admission Control in ATM Networks -- Handling uncertainty in control of autonomous robots -- Some Problems in Trying to Implement Uncertainty Techniques in Automated Inspection -- Correlation using uncertain and temporal information -- Arguing about beliefs and actions -- Analysis of Multi-Interpretable Ecological Monitoring Information -- Technology for applications -- A local handling of inconsistent knowledge and default bases -- The XRay system: An implementation platform for local query-answering in default logics -- Model-based Diagnosis: A Probabilistic Extension -- Background to and Perspectives on Possibilistic Graphical Models -- How much does an agent believe: an extension of modal epistemic logic -- Safety Logics -- Modeling Uncertainty with Propositional Assumption-Based Systems. |
| Record Nr. | UNISA-996466105403316 |
| Berlin ; ; Heidelberg : , : Springer, , [1998] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Elements of argumentation [[electronic resource] /] / Philippe Besnard and Anthony Hunter
| Elements of argumentation [[electronic resource] /] / Philippe Besnard and Anthony Hunter |
| Autore | Besnard Philippe <1958-> |
| Pubbl/distr/stampa | Cambridge, MA, : MIT Press, c2008 |
| Descrizione fisica | 1 online resource (313 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) | HunterAnthony <1962-> |
| Soggetto topico |
Artificial intelligence
Reasoning Logic Information technology |
| Soggetto genere / forma | Electronic books. |
| ISBN |
0-262-26202-9
1-282-09954-X 9786612099540 0-262-26840-X 1-4356-4326-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910451576103321 |
Besnard Philippe <1958->
|
||
| Cambridge, MA, : MIT Press, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Elements of argumentation / / Philippe Besnard and Anthony Hunter
| Elements of argumentation / / Philippe Besnard and Anthony Hunter |
| Autore | Besnard Philippe <1958-> |
| Pubbl/distr/stampa | Cambridge, Mass., : MIT Press, ©2008 |
| Descrizione fisica | 1 online resource (313 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) | HunterAnthony <1962-> |
| Soggetto topico |
Artificial intelligence
Reasoning Logic Information technology |
| Soggetto non controllato | COMPUTER SCIENCE/Artificial Intelligence |
| ISBN |
0-262-26202-9
1-282-09954-X 9786612099540 0-262-26840-X 1-4356-4326-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910781926603321 |
|
Besnard Philippe <1958->
|
||
| Cambridge, Mass., : MIT Press, ©2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Elements of argumentation / / Philippe Besnard and Anthony Hunter
| Elements of argumentation / / Philippe Besnard and Anthony Hunter |
| Autore | Besnard Philippe <1958-> |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cambridge, MA, : MIT Press, c2008 |
| Descrizione fisica | 1 online resource (313 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) | HunterAnthony <1962-> |
| Soggetto topico |
Artificial intelligence
Reasoning Logic Information technology |
| ISBN |
0-262-26202-9
1-282-09954-X 9786612099540 0-262-26840-X 1-4356-4326-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Intro -- Contents -- Preface -- Acknowledgments -- 1 Nature of Argumentation -- 2 Abstract Argumentation -- 3 Logical Argumentation -- 4 Practical Argumentation -- 5 Comparing and Rationalizing Arguments -- 6 Considering the Audience -- 7 Algorithms for Argumentation -- 8 Comparison with Related Approaches -- 9 Future Directions -- A Table of Uniform Notation -- B Review of Trees -- C Review of Classical Logic -- D Proofs for Results in Book -- Bibliography -- Index. |
| Record Nr. | UNINA-9910822482203321 |
|
Besnard Philippe <1958->
|
||
| Cambridge, MA, : MIT Press, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Inconsistency tolerance / / Leopoldo Bertossi, Anthony Hunter, Torsten Schaub (eds.)
| Inconsistency tolerance / / Leopoldo Bertossi, Anthony Hunter, Torsten Schaub (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2004 |
| Descrizione fisica | 1 online resource (VIII, 300 p.) |
| Disciplina | 620/.0045 |
| Altri autori (Persone) |
BertossiLeopoldo
HunterAnthony <1962-> SchaubTorsten |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Tolerance (Engineering) - Data processing
Data integration (Computer science) |
| ISBN | 3-540-30597-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction to inconsistency tolerance / Leopoldo Bertossi, Anthony Hunter, Torsten Schaub -- Consistency of XML specifications / Marcelo Arenas, Wenfei Fan, Leonid Libkin -- Consistent query answers in virtual data integration systems / Leopoldo Bertossi, Loreto Bravo -- Representing paraconsistent reasoning via quantified propositional logic / Philippe Besnard ... [et al.] -- On the computational complexity of minimal-change integrity maintenance in relational databases / Jan Chomicki, Jerzy Marcinkowski -- On the computational complexity of paraconsistent inference relations / Sylvie Coste-Marquis, Pierre Marquis -- Approaches to measuring inconsistent information / Anthony Hunter, Sebastien Konieczny -- Inconsistency issues in spatial databases / Andrea Rodriguez -- Relevant logic and paraconsistency / John Slaney. |
| Record Nr. | UNINA-9910483362803321 |
| Berlin, : Springer, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Symbolic and quantitative approaches to reasoning and uncertainty : European conference, ECSQARU'99, London, UK, July 5-9, 1999, proceedings / / Anthony Hunter, Simon Parsons, editors
| Symbolic and quantitative approaches to reasoning and uncertainty : European conference, ECSQARU'99, London, UK, July 5-9, 1999, proceedings / / Anthony Hunter, Simon Parsons, editors |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (IX, 402 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Reasoning Uncertainty (Information theory) |
| ISBN | 3-540-48747-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On the Dynamics of Default Reasoning -- Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations -- A Comparison of Systematic and Local Search Algorithms for Regular CNF Formulas -- Query-answering in Prioritized Default Logic -- Updating Directed Belief Networks -- Inferring Causal Explanations -- A Critique of Inductive Causation -- Connecting Lexicographic with Maximum Entropy Entailment -- Avoiding Non-Ground Variables -- Anchoring Symbols to Vision Data by Fuzzy Logic -- Filtering vs Revision and Update: let us Debate! -- Irrelevance and Independence Axioms in Quasi-Bayesian Theory -- Assessing the value of a candidate -- Learning Default Theories -- Knowledge Representation for Inductive Learning -- Handling Inconsistency Efficiently in the Incremental Construction of Stratified Belief Bases -- Rough Knowledge Discovery and Applications -- Gradient Descent Training of Bayesian Networks -- Open Default Theories over Closed Domains -- Shopbot Economics -- Optimized Algorithm for Learning Bayesian Network from Data -- Merging with Integrity Constraints -- Boolean-like Interpretation of Sugeno Integral -- An Alternative to Outward Propagation for Dempster-Shafer Belief Functions -- On bottom-up pre-processing techniques for automated default reasoning -- Probabilisitc Logic Programming under Maximum Entropy -- Lazy Propagation and Independence of Causal Influence -- A Monte Carlo Algorithm for Combining Dempster-Shafer Belief Based on Approximate Pre-Computation -- An Extension of a lInguistic Negation Model allowing us to Deny Nuanced Property Combinations -- Argumentation and Qualitative Decision Making -- Handling Different Forms of Uncertainty in Regression Analysis: A Fuzzy Belief Structure Approach -- State Recognition in Discrete Dynamical Systems using Petri Nets and Evidence Theory -- Robot Navigation and Map Building with the Event Calculus -- Information Fusion in the Context of Stock Index Prediction -- Defeasible Goals -- Logical Deduction using the Local Computation Framework. |
| Record Nr. | UNINA-9910143457303321 |
| Berlin : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Symbolic and quantitative approaches to reasoning and uncertainty : European conference, ECSQARU'99, London, UK, July 5-9, 1999, proceedings / / Anthony Hunter, Simon Parsons, editors
| Symbolic and quantitative approaches to reasoning and uncertainty : European conference, ECSQARU'99, London, UK, July 5-9, 1999, proceedings / / Anthony Hunter, Simon Parsons, editors |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (IX, 402 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Reasoning Uncertainty (Information theory) |
| ISBN | 3-540-48747-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On the Dynamics of Default Reasoning -- Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations -- A Comparison of Systematic and Local Search Algorithms for Regular CNF Formulas -- Query-answering in Prioritized Default Logic -- Updating Directed Belief Networks -- Inferring Causal Explanations -- A Critique of Inductive Causation -- Connecting Lexicographic with Maximum Entropy Entailment -- Avoiding Non-Ground Variables -- Anchoring Symbols to Vision Data by Fuzzy Logic -- Filtering vs Revision and Update: let us Debate! -- Irrelevance and Independence Axioms in Quasi-Bayesian Theory -- Assessing the value of a candidate -- Learning Default Theories -- Knowledge Representation for Inductive Learning -- Handling Inconsistency Efficiently in the Incremental Construction of Stratified Belief Bases -- Rough Knowledge Discovery and Applications -- Gradient Descent Training of Bayesian Networks -- Open Default Theories over Closed Domains -- Shopbot Economics -- Optimized Algorithm for Learning Bayesian Network from Data -- Merging with Integrity Constraints -- Boolean-like Interpretation of Sugeno Integral -- An Alternative to Outward Propagation for Dempster-Shafer Belief Functions -- On bottom-up pre-processing techniques for automated default reasoning -- Probabilisitc Logic Programming under Maximum Entropy -- Lazy Propagation and Independence of Causal Influence -- A Monte Carlo Algorithm for Combining Dempster-Shafer Belief Based on Approximate Pre-Computation -- An Extension of a lInguistic Negation Model allowing us to Deny Nuanced Property Combinations -- Argumentation and Qualitative Decision Making -- Handling Different Forms of Uncertainty in Regression Analysis: A Fuzzy Belief Structure Approach -- State Recognition in Discrete Dynamical Systems using Petri Nets and Evidence Theory -- Robot Navigation and Map Building with the Event Calculus -- Information Fusion in the Context of Stock Index Prediction -- Defeasible Goals -- Logical Deduction using the Local Computation Framework. |
| Record Nr. | UNISA-996465732903316 |
| Berlin : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||