Coverart for item
The Resource AI*IA 2013 : Advances in Artificial Intelligence : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings

AI*IA 2013 : Advances in Artificial Intelligence : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings

Label
AI*IA 2013 : Advances in Artificial Intelligence : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings
Title
AI*IA 2013
Title remainder
Advances in Artificial Intelligence : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings
Creator
Contributor
Subject
Language
eng
Cataloging source
MiAaPQ
Literary form
non fiction
Nature of contents
dictionaries
AI*IA 2013 : Advances in Artificial Intelligence : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings
Label
AI*IA 2013 : Advances in Artificial Intelligence : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings
Link
http://libproxy.rpi.edu/login?url=https://ebookcentral.proquest.com/lib/rpi/detail.action?docID=3096855
Publication
Copyright
Related Contributor
Related Location
Related Agents
Related Authorities
Related Subjects
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
  • Preface -- Organization -- Table of Contents -- Knowledge Representation and Reasoning -- Comparing Alternative Solutions for Unfounded Set Propagation in ASP -- 1 Introduction -- 2 Preliminaries -- 2.1 Syntax and Semantics -- 2.2 Answer Set Computation -- 3 Unfounded Set Detection and Propagation -- 3.1 Splitting the Program in Components -- 3.2 DLV Algorithm -- 3.3 Source Pointers Algorithm -- 4 Experiments -- 4.1 Benchmark Problems -- 4.2 ComparedMethods and Hardware Settings -- 4.3 Result -- 5 Related Work -- 6 Conclusion -- References -- Mind in Degrees -- 1 Beliefs -- 1.1 The Functions of the B "Value/Strength" -- 1.2 The Bases of the Strength of a Given B -- 2 Goals -- 2.1 The Crucial Functions and Effects of Goal Value -- 2.2 The Origin and Bases of G's Value -- 2.3 Comparing the Uncomparable -- 2.4 Against the Hedonistic Version of the Motivational "Value" -- 3 Is There Any Relation between the Force of a Belief and the Force of a Goal? -- 4 Cognitive Architecture and Quantities -- References -- Towards an Ontology-Based Framework to Generate Diagnostic Decision Support Systems -- 1 Introduction -- 1.1 Ontologies -- 1.2 Actor-BasedModels -- 2 ONDA Framework -- 3 Case Study: HVAC Diagnosis -- 4 Conclusions and Future Works -- References -- Automated Reasoning in Metabolic Networks with Inhibition -- 1 Introduction -- 2 Logical Model -- 2.1 Formal Language -- 2.2 Action Axioms -- 2.3 Extension with New States and Actions -- 3 Automated Deduction Method -- 4 Queries and Results -- 5 Conclusion -- References -- Multicriteria Decision Making Based on Qualitative Assessments and Relational Belief -- 1 Introduction -- 2 Belief Function Theory -- 2.1 Basic Concepts -- 2.2 Combination -- 2.3 Discounting -- 2.4 Uncertainty Measures -- 2.5 Decision Making -- 3 Qualitative Belief Function Method
  • 4 MCDM Method Based on Qualitative Assessments and Relational Belief -- 4.1 Assigning Criteria Weight via Qualitative AHP -- 4.2 Aggregation of the Assessments with Respect to All Criteria for Each Alternative -- 5 Illustrative Example -- 6 Conclusion -- References -- PreDeLo 1.0: A Theorem Prover for Preferential Description Logics -- 1 Introduction -- 2 The Logics ALC +Tmin and ALC +TminR -- 3 The Logic DL-LitecTmin -- 4 A Tableau Calculus for ALC +TminR -- 4.1 The Tableaux Calculus TABALC+TR -- 4.2 The Tableaux Calculus TABALC+TR -- 5 DesignofPreDeLo -- 5.1 Performances of PreDeLo 1.0 -- 6 Conclusions -- References -- Automated Selection of Grounding Algorithm in Answer Set Programming -- 1 Introduction -- 2 Answer Set Programming -- 3 Answer Sets Computation -- 4 Automated Selection of Grounding Algorithm -- 5 Implementation and Experiments -- 6 Conclusions -- References -- Entity-from-Relationship Modelling -- 1 Introduction -- 2 From Relations to Entities -- 3 Re-identification through Time -- 4 (Re-)Identifying Wholes -- 5 Final Remarks and Criticisms -- References -- Machine Learning -- Supervised Learning and Distributional Semantic Models for Super-Sense Tagging -- 1 Introduction -- 2 WordSpaces -- 3 Methodology -- 4 Dataset and System Setup -- 5 Evaluation -- 6 Related Work -- 7 Conclusions -- References -- A Heuristic Approach to Handling Sequential Information in Incremental ILP -- 1 Introduction -- 2 Representation -- 3 Generalization -- 4 Coverage -- 5 Evaluation -- 5.1 Process Mining and WoMan -- 5.2 Smart Environment Dataset -- 6 Conclusions -- References -- How Mature Is the Field of Machine Learning? -- 1 Introduction -- 2 Machine Learning between Science and Engineering -- 3 Kuhn's Notion of a Paradigm -- 4 Paradigms in Machine Learning: The Broad Perspective -- 4.1 The Disciplinary Matrix -- 4.2 Essentialism and Its Discontents
  • 5 Signs of a Transition? -- 6 Conclusion -- References -- Enhance User-Level Sentiment Analysis on Microblogs with Approval Relations -- 1 Introduction -- 2 Approval Network -- 3 Approval Model -- 4 Parameter Estimation and Prediction -- 5 Message Polarity Classification -- 6 Experiments -- 6.1 Dataset -- 6.2 BMA Settings -- 6.3 SampleRank and Approval Model Settings -- 6.4 Results -- 7 Conclusion and Future Work -- References -- Abstraction in Markov Networks -- 1 Introduction -- 2 Markov Networks with Boolean Variables -- 3 Partitions of a Markov Network -- 4 Abstraction in Markov Networks -- 5 Experiments -- 6 Conclusions -- References -- Improving the Structuring Capabilities of Statistics-Based Local Learners -- 1 Introduction -- 2 Related Work -- 3 The Distance Metric Update -- 3.1 The Weighting Function and Its Parameters -- 3.2 Field Dynamics -- 4 Evaluation -- 4.1 Experiment One -- 4.2 Experiment Two -- 5 Conclusion -- References -- Kernel-Based Discriminative Re-ranking for Spoken Command Understanding in HRI -- 1 Introduction -- 2 Motivations and RelatedWorks -- 3 Re-ranking Interpretations -- 3.1 Features and GrammaticalModels for SVM-Based Ranking -- 3.2 Lexical Semantics and Tree Kernels for Re-ranking -- 4 Experimental Results -- 5 Conclusions -- References -- Natural Language Processing -- A Natural Language Account for Argumentation Schemes -- 1 Introduction -- 2 Argumentation Schemes -- 3 Bridging Argumentation Schemes and Discourse Relations -- 3.1 The Penn Discourse Treebank -- 3.2 Mapping Argumentation Schemes to PDTB -- 3.3 Argumentation Schemes in the PDTB -- 4 Related Work -- 5 Concluding Remarks -- References -- Deep Natural Language Processing for Italian Sign Language Translation -- 1 Introduction -- 2 Parsing and Interpretation -- 3 The LIS Generator -- 4 The Spatial Allocation Planner -- 5 Evaluation -- 6 Conclusions
  • References -- A Virtual Player for "Who Wants to Be a Millionaire?" based on Question Answering -- 1 Introduction -- 2 The Architecture of the Virtual Player -- 2.1 Question Answering Framework -- 2.2 Answer Selection -- 3 Experiment -- 3.1 Results of Experiment 1 -- 3.2 Results of Experiment 2 -- 4 Related Work -- 5 Conclusions and Future Work -- References -- The Construction of the Relative Distance Fuzzy Values Based on the Questionnaire Experiment -- 1 Introduction -- 2 The Problem in a Defined Environment -- 3 Experiment -- 4 Results -- 5 Example of Usage -- 6 Discussion and Conclusion -- References -- Process Fragment Recognition in Clinical Documents -- 1 Introduction -- 2 Related Work -- 3 Process Fragment Recognition -- 4 Experiments -- 5 Evaluation and Discussion -- 6 Conclusions and Further Work -- References -- Planning -- Offline and Online Plan Library Maintenance in Case-Based Planning -- 1 Introduction -- 2 Preliminaries -- 3 Related Work -- 4 Plan Library Maintenance -- 4.1 Offline Maintenance -- 4.2 Online Maintenance -- 4.3 Combined Maintenance -- 5 Experimental Results -- 6 Conclusion and Future Work -- References -- Integrating Knowledge Engineering for Planning with Validation and Verification Tools -- 1 Introduction -- 2 Timeline-Based Planning -- 2.1 GOAC: A Test Planning Domain -- 3 TheKEEN System -- 3.1 The Support for Domain Definition -- 3.2 The Integrated V&V Services -- 4 Related Works and Conclusions -- References -- Numeric Kernel for Reasoning about Plans Involving Numeric Fluents -- 1 Introduction -- 2 Formal Framework -- 2.1 Basic Definitions -- 2.2 Numeric Kernel -- 3 KernelConstruction -- 4 Continual Planning via Numeric Kernels -- 4.1 Greedy Repair -- 4.2 Kernel Heuristic Repair -- 5 Experimental Results -- 6 Conclusions -- References -- Underestimation vs. Overestimation in SAT-Based Planning -- 1 Introduction
  • 2 Background -- 3 Forward and Backward Approaches -- 3.1 RelatedWorks -- 4 Decision System -- 5 Experimental Evaluation -- 6 Conclusions and Future Work -- References -- Distributed AI: Robotics and MAS -- Social Interactions in Crowds of Pedestrians: An Adaptive Model for Group Cohesion -- 1 Introduction -- 2 Agent-Based Computational Model -- 2.1 Environment -- 2.2 Time and Update Mechanism -- 2.3 Pedestrians and Movement -- 3 Experimental Scenarios and Results -- 3.1 Analysis of Group Dispersion -- 3.2 Group Impacts on the Pedestrian Flow -- 3.3 Space Utilisation -- 4 Conclusions and Future Works -- References -- On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol -- 1 Introduction -- 2 Attribute Global Types -- 3 The FYPA Protocol -- 4 Protocol Specification Using Attribute Global Types -- 5 Conclusions and Future Work -- References -- A Distributed Agent-Based Approach for Supporting Group Formation in P2P e-Learning -- 1 Introduction -- 2 Scenario -- 3 The HADEL Overlay Network Construction and Finding Process -- 3.1 HADEL Network Construction: Dissemination -- 3.2 HADEL Overlay Network Construction -- 3.3 Finding Suitable Nodes with HADEL -- 4 Evaluation -- 5 Conclusions and Future Works -- References -- Identification of Dynamical Structures in Artificial Brains: An Analysis of Boolean Network Controlled Robots -- 1 Introduction -- 2 The Cluster Index -- 3 BN-Robot Case Study -- 4 Identifying Structures in the Boolean Network Controlling a Robot -- 4.1 Network 1 -- 4.2 Network 2 -- 5 Conclusion -- References -- Recommender Systems and Semantic Web -- Semantic Annotation of Scholarly Documents and Citations -- 1 Introduction -- 2 Related Works -- 3 Building Applications on Annotated Scholarly Documents -- 3.1 Semantic Models for Scholarly Publishing
  • 3.2 A Platform for Academic Publishing Data
http://library.link/vocab/cover_art
https://contentcafe2.btol.com/ContentCafe/Jacket.aspx?Return=1&Type=S&Value=9783319035246&userID=ebsco-test&password=ebsco-test
Dimensions
unknown
http://library.link/vocab/discovery_link
{'f': 'http://opac.lib.rpi.edu/record=b4383572'}
Extent
1 online resource (555 pages)
Form of item
online
Isbn
9783319035246
Media category
computer
Media MARC source
rdamedia
Media type code
c
Sound
unknown sound
Specific material designation
remote

Library Locations

    • Folsom LibraryBorrow it
      110 8th St, Troy, NY, 12180, US
      42.729766 -73.682577
Processing Feedback ...