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.) |
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 | ||
|
Argumentation in Multi-Agent Systems [[electronic resource] ] : 8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 2011, Revised Selected Papers / / edited by Peter McBurney, Simon Parsons, Iyad Rahwan |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (X, 231 p. 70 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Mathematical logic Computer communication systems Application software Information storage and retrieval Optical data processing Artificial Intelligence Mathematical Logic and Formal Languages Computer Communication Networks Information Systems Applications (incl. Internet) Information Storage and Retrieval Computer Imaging, Vision, Pattern Recognition and Graphics |
Soggetto genere / forma | Conference proceedings. |
ISBN | 3-642-33152-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465863203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Argumentation in multi-agent systems : 4th international workshop, argmas 2007, honolulu, hi, usa, may 15, 2007 : revised selected and invited papers / / edited by Iyad Rahwan, Simon Parsons, Chris Reed |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Germany ; ; New York, United States : , : Springer, , [2008] |
Descrizione fisica | 1 online resource (X, 235 p.) |
Disciplina | 006.3 |
Collana | Lecture notes in computer science,Lecture notes in artificial intelligence |
Soggetto topico |
Intelligent agents (Computer software)
Logic |
ISBN | 3-540-78915-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Argumentation and Dialogue -- A General Framework for Argumentation-Based Negotiation -- On the Benefits of Exploiting Hierarchical Goals in Bilateral Automated Negotiation -- Co-argumentation Artifact for Agent Societies -- On the Relevance of Utterances in Formal Inter-agent Dialogues -- A Persuasion Dialog for Gaining Access to Information -- Towards Characterising Argumentation Based Dialogue in the Argument Interchange Format -- Argument-Based Reasoning -- Preferences and Assumption-Based Argumentation for Conflict-Free Normative Agents -- The Hedgehog and the Fox -- An Extended Value-Based Argumentation Framework for Ontology Mapping with Confidence Degrees -- Defeasible Argumentation Support for an Extended BDI Architecture -- Argumentation and Learning -- Arguing and Explaining Classifications -- An Argumentation-Based Framework for Deliberation in Multi-agent Systems -- A Hybrid Argumentation of Symbolic and Neural Net Argumentation (Part I) -- A Hybrid Argumentation of Symbolic and Neural Net Argumentation (Part II). |
Altri titoli varianti | ArgMAS 2007 |
Record Nr. | UNINA-9910484969103321 |
Berlin, Germany ; ; New York, United States : , : Springer, , [2008] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Argumentation in multi-agent systems : 4th international workshop, argmas 2007, honolulu, hi, usa, may 15, 2007 : revised selected and invited papers / / edited by Iyad Rahwan, Simon Parsons, Chris Reed |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Germany ; ; New York, United States : , : Springer, , [2008] |
Descrizione fisica | 1 online resource (X, 235 p.) |
Disciplina | 006.3 |
Collana | Lecture notes in computer science,Lecture notes in artificial intelligence |
Soggetto topico |
Intelligent agents (Computer software)
Logic |
ISBN | 3-540-78915-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Argumentation and Dialogue -- A General Framework for Argumentation-Based Negotiation -- On the Benefits of Exploiting Hierarchical Goals in Bilateral Automated Negotiation -- Co-argumentation Artifact for Agent Societies -- On the Relevance of Utterances in Formal Inter-agent Dialogues -- A Persuasion Dialog for Gaining Access to Information -- Towards Characterising Argumentation Based Dialogue in the Argument Interchange Format -- Argument-Based Reasoning -- Preferences and Assumption-Based Argumentation for Conflict-Free Normative Agents -- The Hedgehog and the Fox -- An Extended Value-Based Argumentation Framework for Ontology Mapping with Confidence Degrees -- Defeasible Argumentation Support for an Extended BDI Architecture -- Argumentation and Learning -- Arguing and Explaining Classifications -- An Argumentation-Based Framework for Deliberation in Multi-agent Systems -- A Hybrid Argumentation of Symbolic and Neural Net Argumentation (Part I) -- A Hybrid Argumentation of Symbolic and Neural Net Argumentation (Part II). |
Altri titoli varianti | ArgMAS 2007 |
Record Nr. | UNISA-996466076903316 |
Berlin, Germany ; ; New York, United States : , : Springer, , [2008] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Argumentation in multi-agent systems : third international workshop, ArgMAS 2006, Hakodate, Japan, May 8, 2006 : revised selected and invited papers / / Nicolas Maudet, Simon Parsons, Iyad Rahwan (eds.) |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2007 |
Descrizione fisica | 1 online resource (XII, 216 p.) |
Disciplina | 004.01/5113 |
Altri autori (Persone) |
MaudetNicolas
ParsonsSimon RahwanIyad |
Collana |
Lecture notes in computer science. Lecture notes in artificial intelligence
LNCS sublibrary. SL 7, Artificial intelligence |
Soggetto topico |
Intelligent agents (Computer software)
Computer logic |
ISBN | 3-540-75526-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Argumentation in Multi-Agent Systems: Context and Recent Developments -- Argumentation in Multi-Agent Systems: Context and Recent Developments -- I: Foundations and Explorations -- Argumentation-Based Learning -- Arguments and Counterexamples in Case-Based Joint Deliberation -- A Generalization of Dung’s Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments -- An Argumentation-Based Approach for Practical Reasoning -- Support-Based Distributed Search: A New Approach for Multiagent Constraint Processing -- Managing Social Influences Through Argumentation-Based Negotiation -- II: Strategic Issues -- An Argumentation-Based Approach for Dialog Move Selection -- Specification and Complexity of Strategic-Based Reasoning Using Argumentation -- Information Based Argumentation Heuristics -- Negotiating Using Rewards -- Argumentation and Persuasion in the Cognitive Coherence Theory: Preliminary Report. |
Altri titoli varianti | ArgMAS 2006 |
Record Nr. | UNINA-9910483402703321 |
Berlin ; ; New York, : Springer, c2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Argumentation in multi-agent systems : second international workshop, ArgMAS 2005, Utrecht, The Netherlands, July 26, 2005 : revised selected and invited papers / / Simon Parsons ... [et al.] (eds.) |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, : Springer, 2006 |
Descrizione fisica | 1 online resource (XIV, 313 p.) |
Disciplina | 006.3 |
Altri autori (Persone) | ParsonsSimon |
Collana |
Lecture notes in computer science. Lecture notes in artificial intelligence
LNCS sublibrary. SL 7, Artificial intelligence |
Soggetto topico |
Intelligent agents (Computer software)
Logic |
ISBN | 3-540-36356-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | pt. 1. Invited lecture -- pt. 2. Foundations -- pt. 3. Negotiation -- pt. 4. Protocols -- pt. 5. Deliberation and coalition formation -- pt. 6. Consensus formation. |
Altri titoli varianti | ArgMAS 2005 |
Record Nr. | UNINA-9910483442103321 |
Berlin, : Springer, 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Computational models of argument : proceedings of COMMA 2014 / / edited by Simon Parsons [and three others] |
Pubbl/distr/stampa | Amsterdam, Netherlands : , : IOS Press, , 2014 |
Descrizione fisica | 1 online resource (500 p.) |
Disciplina | 006.3 |
Collana | Frontiers in Artificial Intelligence and Applications |
Soggetto topico |
Artificial intelligence - Computer simulation
Reasoning - Computer simulation |
Soggetto genere / forma | Electronic books. |
ISBN | 1-61499-436-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
""Title Page""; ""Preface""; ""Programme Committee""; ""Contents""; ""Invited Papers""; ""On the Properties of the Relation Between Argumentation Semantics and Argumentation Inference Operators""; ""Innovative Applications""; ""Understanding Narratives with Argumentation""; ""Financial Dialogue Games: A Protocol for Earnings Conference Calls""; ""Story Comprehension Through Argumentation""; ""A Discourse Grammar for Processing Arguments in Context""; ""Spoken Interaction with Broadcast Debates""; ""Lakatos Games for Mathematical Argument""
""Towards Argumentation for Statistical Model Selection""""Regular Papers""; ""Preferential Reasoning Based on Abstract Argumentation Semantics""; ""Dynamic Derivations for Sequent-Based Logical Argumentation""; ""Query Failure Explanation in Inconsistent Knowledge Bases Using Argumentation""; ""Taking the Long View: Looking Ahead in Practical Reasoning""; ""On Rationality Conditions for Epistemic Probabilities in Abstract Argumentation""; ""Towards an Integrated Theory of Causal Scenarios and Evidential Arguments""; ""Generalising Argument Dialogue with the Dialogue Game Execution Platform"" ""Benchmarking Hard Problems in Random Abstract AFs: The Stable Semantics""""Coalitional Games for Abstract Argumentation""; ""Complexity Properties of Critical Sets of Arguments""; ""Towards Argument Mining from Dialogue""; ""Strong Admissibility Revisited""; ""Preferences and Unrestricted Rebut""; ""Algorithm Selection for Preferred Extensions Enumeration""; ""The DIAMOND System for Computing with Abstract Dialectical Frameworks""; ""Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas""; ""Multi-Valued and Probabilistic Argumentation Frameworks"" ""Properties of Random VAFs and Implications for Efficient Algorithms""""Resolution-Based Grounded Semantics Revisited""; ""Decomposing Abstract Dialectical Frameworks""; ""A Principled Approach to the Implementation of Argumentation Models""; ""Combining Paraconsistent Logic with Argumentation""; ""Probabilistic Argument Graphs for Argumentation Lotteries""; ""Enthymeme Construction in Dialogues Using Shared Knowledge""; ""Strategies in Dialogues: A Game-Theoretic Approach""; ""Argumentation Logic""; ""Splitting Abstract Dialectical Frameworks"" ""Revisiting Support in Abstract Argumentation Systems""""A Self-Correcting Iteration Schema for Argumentation Networks""; ""Counterfactual Reasoning in Argumentation Frameworks""; ""Balanced Semantics for Argumentation Based on Heider's Socio-Psychological Balance Theory""; ""Complete Assumption Labellings""; ""On Controversiality of Arguments and Stratified Labelings""; ""An ASPIC-Based Legal Argumentation Framework for Deontic Reasoning""; ""Arguments and Their Strength: Revisiting Pollock's Anti-Probabilistic Starting Points""; ""Demonstrations"" ""Support for Factor-Based Argumentation"" |
Record Nr. | UNINA-9910463851403321 |
Amsterdam, Netherlands : , : IOS Press, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Computational models of argument : proceedings of COMMA 2014 / / edited by Simon Parsons [and three others] |
Pubbl/distr/stampa | Amsterdam, Netherlands : , : IOS Press, , 2014 |
Descrizione fisica | 1 online resource (500 p.) |
Disciplina | 006.3 |
Collana | Frontiers in Artificial Intelligence and Applications |
Soggetto topico |
Artificial intelligence - Computer simulation
Reasoning - Computer simulation |
ISBN | 1-61499-436-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
""Title Page""; ""Preface""; ""Programme Committee""; ""Contents""; ""Invited Papers""; ""On the Properties of the Relation Between Argumentation Semantics and Argumentation Inference Operators""; ""Innovative Applications""; ""Understanding Narratives with Argumentation""; ""Financial Dialogue Games: A Protocol for Earnings Conference Calls""; ""Story Comprehension Through Argumentation""; ""A Discourse Grammar for Processing Arguments in Context""; ""Spoken Interaction with Broadcast Debates""; ""Lakatos Games for Mathematical Argument""
""Towards Argumentation for Statistical Model Selection""""Regular Papers""; ""Preferential Reasoning Based on Abstract Argumentation Semantics""; ""Dynamic Derivations for Sequent-Based Logical Argumentation""; ""Query Failure Explanation in Inconsistent Knowledge Bases Using Argumentation""; ""Taking the Long View: Looking Ahead in Practical Reasoning""; ""On Rationality Conditions for Epistemic Probabilities in Abstract Argumentation""; ""Towards an Integrated Theory of Causal Scenarios and Evidential Arguments""; ""Generalising Argument Dialogue with the Dialogue Game Execution Platform"" ""Benchmarking Hard Problems in Random Abstract AFs: The Stable Semantics""""Coalitional Games for Abstract Argumentation""; ""Complexity Properties of Critical Sets of Arguments""; ""Towards Argument Mining from Dialogue""; ""Strong Admissibility Revisited""; ""Preferences and Unrestricted Rebut""; ""Algorithm Selection for Preferred Extensions Enumeration""; ""The DIAMOND System for Computing with Abstract Dialectical Frameworks""; ""Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas""; ""Multi-Valued and Probabilistic Argumentation Frameworks"" ""Properties of Random VAFs and Implications for Efficient Algorithms""""Resolution-Based Grounded Semantics Revisited""; ""Decomposing Abstract Dialectical Frameworks""; ""A Principled Approach to the Implementation of Argumentation Models""; ""Combining Paraconsistent Logic with Argumentation""; ""Probabilistic Argument Graphs for Argumentation Lotteries""; ""Enthymeme Construction in Dialogues Using Shared Knowledge""; ""Strategies in Dialogues: A Game-Theoretic Approach""; ""Argumentation Logic""; ""Splitting Abstract Dialectical Frameworks"" ""Revisiting Support in Abstract Argumentation Systems""""A Self-Correcting Iteration Schema for Argumentation Networks""; ""Counterfactual Reasoning in Argumentation Frameworks""; ""Balanced Semantics for Argumentation Based on Heider's Socio-Psychological Balance Theory""; ""Complete Assumption Labellings""; ""On Controversiality of Arguments and Stratified Labelings""; ""An ASPIC-Based Legal Argumentation Framework for Deontic Reasoning""; ""Arguments and Their Strength: Revisiting Pollock's Anti-Probabilistic Starting Points""; ""Demonstrations"" ""Support for Factor-Based Argumentation"" |
Record Nr. | UNINA-9910788089903321 |
Amsterdam, Netherlands : , : IOS Press, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Computational models of argument : proceedings of COMMA 2014 / / edited by Simon Parsons [and three others] |
Pubbl/distr/stampa | Amsterdam, Netherlands : , : IOS Press, , 2014 |
Descrizione fisica | 1 online resource (500 p.) |
Disciplina | 006.3 |
Collana | Frontiers in Artificial Intelligence and Applications |
Soggetto topico |
Artificial intelligence - Computer simulation
Reasoning - Computer simulation |
ISBN | 1-61499-436-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
""Title Page""; ""Preface""; ""Programme Committee""; ""Contents""; ""Invited Papers""; ""On the Properties of the Relation Between Argumentation Semantics and Argumentation Inference Operators""; ""Innovative Applications""; ""Understanding Narratives with Argumentation""; ""Financial Dialogue Games: A Protocol for Earnings Conference Calls""; ""Story Comprehension Through Argumentation""; ""A Discourse Grammar for Processing Arguments in Context""; ""Spoken Interaction with Broadcast Debates""; ""Lakatos Games for Mathematical Argument""
""Towards Argumentation for Statistical Model Selection""""Regular Papers""; ""Preferential Reasoning Based on Abstract Argumentation Semantics""; ""Dynamic Derivations for Sequent-Based Logical Argumentation""; ""Query Failure Explanation in Inconsistent Knowledge Bases Using Argumentation""; ""Taking the Long View: Looking Ahead in Practical Reasoning""; ""On Rationality Conditions for Epistemic Probabilities in Abstract Argumentation""; ""Towards an Integrated Theory of Causal Scenarios and Evidential Arguments""; ""Generalising Argument Dialogue with the Dialogue Game Execution Platform"" ""Benchmarking Hard Problems in Random Abstract AFs: The Stable Semantics""""Coalitional Games for Abstract Argumentation""; ""Complexity Properties of Critical Sets of Arguments""; ""Towards Argument Mining from Dialogue""; ""Strong Admissibility Revisited""; ""Preferences and Unrestricted Rebut""; ""Algorithm Selection for Preferred Extensions Enumeration""; ""The DIAMOND System for Computing with Abstract Dialectical Frameworks""; ""Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas""; ""Multi-Valued and Probabilistic Argumentation Frameworks"" ""Properties of Random VAFs and Implications for Efficient Algorithms""""Resolution-Based Grounded Semantics Revisited""; ""Decomposing Abstract Dialectical Frameworks""; ""A Principled Approach to the Implementation of Argumentation Models""; ""Combining Paraconsistent Logic with Argumentation""; ""Probabilistic Argument Graphs for Argumentation Lotteries""; ""Enthymeme Construction in Dialogues Using Shared Knowledge""; ""Strategies in Dialogues: A Game-Theoretic Approach""; ""Argumentation Logic""; ""Splitting Abstract Dialectical Frameworks"" ""Revisiting Support in Abstract Argumentation Systems""""A Self-Correcting Iteration Schema for Argumentation Networks""; ""Counterfactual Reasoning in Argumentation Frameworks""; ""Balanced Semantics for Argumentation Based on Heider's Socio-Psychological Balance Theory""; ""Complete Assumption Labellings""; ""On Controversiality of Arguments and Stratified Labelings""; ""An ASPIC-Based Legal Argumentation Framework for Deontic Reasoning""; ""Arguments and Their Strength: Revisiting Pollock's Anti-Probabilistic Starting Points""; ""Demonstrations"" ""Support for Factor-Based Argumentation"" |
Record Nr. | UNINA-9910812132303321 |
Amsterdam, Netherlands : , : IOS Press, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|