2007 IEEE Symposium on Artificial Life, Honolulu, HI, 1-5 April 2007 |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2006 |
Disciplina | 006.3 |
Soggetto topico |
Artificial intelligence - Computer simulation
Biological systems Computer Science Engineering & Applied Sciences |
ISBN | 1-5090-8716-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996201767803316 |
[Place of publication not identified], : IEEE, 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
2007 IEEE Symposium on Artificial Life, Honolulu, HI, 1-5 April 2007 |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2006 |
Disciplina | 006.3 |
Soggetto topico |
Artificial intelligence - Computer simulation
Biological systems Computer Science Engineering & Applied Sciences |
ISBN | 1-5090-8716-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910143038803321 |
[Place of publication not identified], : IEEE, 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 | ||
|
Computational models of argument [[electronic resource] ] : Proceedings of COMMA 2012 / / edited by Bart Verheij, Stefan Szeider and Stefan Woltran |
Pubbl/distr/stampa | Amsterdam, : IOS Press, 2012 |
Descrizione fisica | 1 online resource (536 p.) |
Disciplina | 003.5 |
Altri autori (Persone) |
VerheijBart
SzeiderStefan WotlranStefan |
Collana | Frontiers in artificial intelligence and applications Computational models of argument |
Soggetto topico |
Artificial intelligence - Computer simulation
Reasoning - Computer simulation |
Soggetto genere / forma | Electronic books. |
ISBN |
1-299-33330-3
1-61499-111-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Title Page; Preface; Programme Committee; Additional Reviewers; Contents; Part I. Invited Talks; The Long and Winding Road: Forty Years of Argumentation; Formal Dialectic: From Aristotle to Pragma-Dialectics, and Beyond; Multiple Logics Within Argument: How Defeasible and Classical Reasoning Work Together; Part II. Innovative Applications; Some Facets of Argument Mining for Opinion Analysis; An Inquiry Learning Environment for Scientific Argumentation; Semi-Automated Argumentative Analysis of Online Product Reviews; Arguing with Preferences in EcoBioCap
An Analysis and Hypothesis Generation Platform for Heterogeneous Cancer DatabasesMaking Sense of Macro- and Micro-Argumentation in Policy-Deliberation: Visualisation Techniques and Representation Formats; Towards an Argument-Based Music Recommender System; Arguing About Firewall Policy; Part III. Regular Papers; A General QBF-Based Formalization of Abstract Argumentation Theory; Some Foundations for Probabilistic Abstract Argumentation; Argument Aggregation: Basic Axioms and Complexity Results; The Equational Approach to CF2 Semantics Argumentation Games for Admissibility and Cogency CriteriaUniform Argumentation Frameworks; Dishonest Arguments in Debate Games; On the Use of Presumptions in Structured Defeasible Reasoning; Automated Deployment of Argumentation Protocols; On Preferred Extension Enumeration in Abstract Argumentation; Towards Experimental Algorithms for Abstract Argumentation; A Dialogue Game for Coalition Structure Generation with Self-Interested Agents; Complexity of Logic-Based Argumentation in Schaefer's Framework; Argumentation Dialogues for Two-Agent Conflict Resolution Comparing the Expressiveness of Argumentation SemanticsComputational Aspects of cf2 and stage2 Argumentation Semantics; Tactics and Concessions for Argumentation-Based Negotiation; Default Reasoning About Actions via Abstract Argumentation; Resolutions in Structured Argumentation; Mechanism Design for Argumentation-Based Persuasion; Persuasion Strategies for Argumentation About Plans; Selecting Extensions in Weighted Argumentation Frameworks; Group Persuasion Through Uncertain Audience Modelling; On Input/Output Argumentation Frameworks; Dialogue Templates for Automatic Argument Processing Valued-Based Argumentation for Tree-Like Value GraphsInterchanging Arguments Between Carneades and AIF; Towards Argument-Based Foundation for Sceptical and Credulous Dialogue Games; The Structure of Ad Hominem Dialogues; Towards Argumentation About Subjective Probabilities; Argument Schemes for Reasoning About Trust; Clarifying Some Misconceptions on the ASPIC+ Framework; Generating Abstract Arguments: A Natural Language Approach; Towards Argumentation with Symbolic Dempster-Shafer Evidence; Conditional Acceptance Functions; Grounded Semantics as Persuasion Dialogue Picking the Right Expert to Make a Debate Uncontroversial |
Record Nr. | UNINA-9910462288903321 |
Amsterdam, : IOS Press, 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Computational models of argument [[electronic resource] ] : Proceedings of COMMA 2012 / / edited by Bart Verheij, Stefan Szeider and Stefan Woltran |
Pubbl/distr/stampa | Amsterdam, : IOS Press, 2012 |
Descrizione fisica | 1 online resource (536 p.) |
Disciplina | 003.5 |
Altri autori (Persone) |
VerheijBart
SzeiderStefan WotlranStefan |
Collana | Frontiers in artificial intelligence and applications Computational models of argument |
Soggetto topico |
Artificial intelligence - Computer simulation
Reasoning - Computer simulation |
ISBN |
1-299-33330-3
1-61499-111-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Title Page; Preface; Programme Committee; Additional Reviewers; Contents; Part I. Invited Talks; The Long and Winding Road: Forty Years of Argumentation; Formal Dialectic: From Aristotle to Pragma-Dialectics, and Beyond; Multiple Logics Within Argument: How Defeasible and Classical Reasoning Work Together; Part II. Innovative Applications; Some Facets of Argument Mining for Opinion Analysis; An Inquiry Learning Environment for Scientific Argumentation; Semi-Automated Argumentative Analysis of Online Product Reviews; Arguing with Preferences in EcoBioCap
An Analysis and Hypothesis Generation Platform for Heterogeneous Cancer DatabasesMaking Sense of Macro- and Micro-Argumentation in Policy-Deliberation: Visualisation Techniques and Representation Formats; Towards an Argument-Based Music Recommender System; Arguing About Firewall Policy; Part III. Regular Papers; A General QBF-Based Formalization of Abstract Argumentation Theory; Some Foundations for Probabilistic Abstract Argumentation; Argument Aggregation: Basic Axioms and Complexity Results; The Equational Approach to CF2 Semantics Argumentation Games for Admissibility and Cogency CriteriaUniform Argumentation Frameworks; Dishonest Arguments in Debate Games; On the Use of Presumptions in Structured Defeasible Reasoning; Automated Deployment of Argumentation Protocols; On Preferred Extension Enumeration in Abstract Argumentation; Towards Experimental Algorithms for Abstract Argumentation; A Dialogue Game for Coalition Structure Generation with Self-Interested Agents; Complexity of Logic-Based Argumentation in Schaefer's Framework; Argumentation Dialogues for Two-Agent Conflict Resolution Comparing the Expressiveness of Argumentation SemanticsComputational Aspects of cf2 and stage2 Argumentation Semantics; Tactics and Concessions for Argumentation-Based Negotiation; Default Reasoning About Actions via Abstract Argumentation; Resolutions in Structured Argumentation; Mechanism Design for Argumentation-Based Persuasion; Persuasion Strategies for Argumentation About Plans; Selecting Extensions in Weighted Argumentation Frameworks; Group Persuasion Through Uncertain Audience Modelling; On Input/Output Argumentation Frameworks; Dialogue Templates for Automatic Argument Processing Valued-Based Argumentation for Tree-Like Value GraphsInterchanging Arguments Between Carneades and AIF; Towards Argument-Based Foundation for Sceptical and Credulous Dialogue Games; The Structure of Ad Hominem Dialogues; Towards Argumentation About Subjective Probabilities; Argument Schemes for Reasoning About Trust; Clarifying Some Misconceptions on the ASPIC+ Framework; Generating Abstract Arguments: A Natural Language Approach; Towards Argumentation with Symbolic Dempster-Shafer Evidence; Conditional Acceptance Functions; Grounded Semantics as Persuasion Dialogue Picking the Right Expert to Make a Debate Uncontroversial |
Record Nr. | UNINA-9910785991603321 |
Amsterdam, : IOS Press, 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Computational models of argument : Proceedings of COMMA 2012 / / edited by Bart Verheij, Stefan Szeider and Stefan Woltran |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Amsterdam, : IOS Press, 2012 |
Descrizione fisica | 1 online resource (536 p.) |
Disciplina | 003.5 |
Altri autori (Persone) |
VerheijBart
SzeiderStefan WotlranStefan |
Collana | Frontiers in artificial intelligence and applications Computational models of argument |
Soggetto topico |
Artificial intelligence - Computer simulation
Reasoning - Computer simulation |
ISBN |
1-299-33330-3
1-61499-111-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Title Page; Preface; Programme Committee; Additional Reviewers; Contents; Part I. Invited Talks; The Long and Winding Road: Forty Years of Argumentation; Formal Dialectic: From Aristotle to Pragma-Dialectics, and Beyond; Multiple Logics Within Argument: How Defeasible and Classical Reasoning Work Together; Part II. Innovative Applications; Some Facets of Argument Mining for Opinion Analysis; An Inquiry Learning Environment for Scientific Argumentation; Semi-Automated Argumentative Analysis of Online Product Reviews; Arguing with Preferences in EcoBioCap
An Analysis and Hypothesis Generation Platform for Heterogeneous Cancer DatabasesMaking Sense of Macro- and Micro-Argumentation in Policy-Deliberation: Visualisation Techniques and Representation Formats; Towards an Argument-Based Music Recommender System; Arguing About Firewall Policy; Part III. Regular Papers; A General QBF-Based Formalization of Abstract Argumentation Theory; Some Foundations for Probabilistic Abstract Argumentation; Argument Aggregation: Basic Axioms and Complexity Results; The Equational Approach to CF2 Semantics Argumentation Games for Admissibility and Cogency CriteriaUniform Argumentation Frameworks; Dishonest Arguments in Debate Games; On the Use of Presumptions in Structured Defeasible Reasoning; Automated Deployment of Argumentation Protocols; On Preferred Extension Enumeration in Abstract Argumentation; Towards Experimental Algorithms for Abstract Argumentation; A Dialogue Game for Coalition Structure Generation with Self-Interested Agents; Complexity of Logic-Based Argumentation in Schaefer's Framework; Argumentation Dialogues for Two-Agent Conflict Resolution Comparing the Expressiveness of Argumentation SemanticsComputational Aspects of cf2 and stage2 Argumentation Semantics; Tactics and Concessions for Argumentation-Based Negotiation; Default Reasoning About Actions via Abstract Argumentation; Resolutions in Structured Argumentation; Mechanism Design for Argumentation-Based Persuasion; Persuasion Strategies for Argumentation About Plans; Selecting Extensions in Weighted Argumentation Frameworks; Group Persuasion Through Uncertain Audience Modelling; On Input/Output Argumentation Frameworks; Dialogue Templates for Automatic Argument Processing Valued-Based Argumentation for Tree-Like Value GraphsInterchanging Arguments Between Carneades and AIF; Towards Argument-Based Foundation for Sceptical and Credulous Dialogue Games; The Structure of Ad Hominem Dialogues; Towards Argumentation About Subjective Probabilities; Argument Schemes for Reasoning About Trust; Clarifying Some Misconceptions on the ASPIC+ Framework; Generating Abstract Arguments: A Natural Language Approach; Towards Argumentation with Symbolic Dempster-Shafer Evidence; Conditional Acceptance Functions; Grounded Semantics as Persuasion Dialogue Picking the Right Expert to Make a Debate Uncontroversial |
Record Nr. | UNINA-9910819666903321 |
Amsterdam, : IOS Press, 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|