LEADER 04930nam 2200661Ia 450 001 9910462288903321 005 20200520144314.0 010 $a1-299-33330-3 010 $a1-61499-111-1 035 $a(CKB)2670000000261555 035 $a(EBL)1035231 035 $a(OCoLC)812179149 035 $a(SSID)ssj0000767621 035 $a(PQKBManifestationID)11489964 035 $a(PQKBTitleCode)TC0000767621 035 $a(PQKBWorkID)10740765 035 $a(PQKB)11063330 035 $a(MiAaPQ)EBC1035231 035 $a(Au-PeEL)EBL1035231 035 $a(CaPaEBR)ebr10607571 035 $a(CaONFJC)MIL464580 035 $a(EXLCZ)992670000000261555 100 $a20111102d2012 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aComputational models of argument$b[electronic resource] $eProceedings of COMMA 2012 /$fedited by Bart Verheij, Stefan Szeider and Stefan Woltran 210 $aAmsterdam $cIOS Press$d2012 215 $a1 online resource (536 p.) 225 0 $aFrontiers in artificial intelligence and applications Computational models of argument 300 $aDescription based upon print version of record. 311 $a1-61499-110-3 320 $aIncludes bibliographical references and index. 327 $aTitle 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 327 $aAn 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 327 $aArgumentation 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 327 $aComparing 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 327 $aValued-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 327 $aPicking the Right Expert to Make a Debate Uncontroversial 606 $aArtificial intelligence$xComputer simulation$vCongresses 606 $aReasoning$xComputer simulation$vCongresses 608 $aElectronic books. 615 0$aArtificial intelligence$xComputer simulation 615 0$aReasoning$xComputer simulation 676 $a003.5 701 $aVerheij$b Bart$0875668 701 $aSzeider$b Stefan$0992953 701 $aWotlran$b Stefan$0992954 712 12$aCOMMA 2012 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910462288903321 996 $aComputational models of argument$92273705 997 $aUNINA LEADER 03339nam 2200589Ia 450 001 9911019647803321 005 20200520144314.0 010 $a1-282-37966-6 010 $a9786612379666 010 $a1-4443-1444-0 010 $a1-4443-1445-9 035 $a(CKB)2550000000001245 035 $a(EBL)474524 035 $a(OCoLC)476311806 035 $a(SSID)ssj0000336427 035 $a(PQKBManifestationID)11251860 035 $a(PQKBTitleCode)TC0000336427 035 $a(PQKBWorkID)10283194 035 $a(PQKB)11238109 035 $a(MiAaPQ)EBC474524 035 $a(PPN)158081471 035 $a(EXLCZ)992550000000001245 100 $a20090401d2009 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aCurrent best practice in interventional cardiology /$fedited by Bernhard Meier 210 $aChichester, West Sussex ;$aHoboken, NJ $cWiley-Blackwell$d2009 215 $a1 online resource (231 p.) 300 $aDescription based upon print version of record 311 $a1-4051-8255-5 320 $aIncludes bibliographical references and index. 327 $aCurrent Best Practice in Interventional Cardiology; Contents; List of Contributors; Preface; PART I Coronary Artery Disease; CHAPTER 1 Acute Coronary Syndromes; CHAPTER 2 Modern Coronary Stenting; CHAPTER 3 Chronic Total Occlusion; CHAPTER 4 Nonrevascularization Therapy; PART II Noncoronary Interventions; CHAPTER 5 Transcatheter Aortic Valve Implantation; CHAPTER 6 Patent Foramen Ovale Closure; CHAPTER 7 Closure of Atrial and Ventricular Septal Defects in Adults; CHAPTER 8 Carotid Artery Stenting; CHAPTER 9 Alcohol Ablation of Hypertrophic Cardiomyopathy 327 $aPART III Treatment of Left Ventricular FailureCHAPTER 10 Biventricular Pacing; CHAPTER 11 Percutaneous Left Ventricular Assist Devices; CHAPTER 12 Treatment of Left Ventricular Failure; PART IV Cardiovascular Imaging; CHAPTER 13 Computed Tomography for Screening and Follow-Up; CHAPTER 14 Magnetic Resonance for Functional Testing and Interventional Guidance; CHAPTER 15 Optical Coherence Tomography for Coronary Imaging; CHAPTER 16 Intravascular Ultrasound; Index 330 $aCurrent Best Practice in Interventional Cardiology addresses the questions which challenge clinicians involved with interventional procedures. Helpfully organized into four sections, the text addresses; coronary artery disease, non-coronary interventions, left ventricular failure and the latest advances in imaging technologies, and provides authoritative guidance on the current recommendations for best practice. Containing contributions from an international team of opinion leaders, this new book reviews the key advances in equipment, techniques and therapeutics and is an accessible r 606 $aHeart$xSurgery 606 $aHeart$xDiseases$xTreatment 606 $aHeart$xInterventional radiology 615 0$aHeart$xSurgery. 615 0$aHeart$xDiseases$xTreatment. 615 0$aHeart$xInterventional radiology. 676 $a617.4/12 701 $aMeier$b Bernhard$cM.D.$0153234 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9911019647803321 996 $aCurrent best practice in interventional cardiology$94419143 997 $aUNINA