Return to home page
Searching: Muskingum library catalog
In response to the COVID-19 outbreak, statewide lending via OhioLINK and SearchOhio has been suspended. OPAL member libraries have closed or are operating at reduced service levels. Please contact your library with specific lending requests or if you need assistance.

LEADER 00000cam  2200865Ii 4500 
001    874033924 
003    OCoLC 
005    20181123055143.2 
006    m     o  d         
007    cr cnu|||unuuu 
008    140320s2013    sz a    o     100 0 eng d 
019    1027551680|a1065713536|a1066693140 
020    9783319035246|q(electronic bk.) 
020    331903524X|q(electronic bk.) 
020    3319035231|q(print) 
020    9783319035239|q(print) 
020    |z9783319035239 
024 7  10.1007/978-3-319-03524-6|2doi 
035    (OCoLC)874033924|z(OCoLC)1027551680|z(OCoLC)1065713536
040    GW5XE|beng|erda|epn|cGW5XE|dOHS|dC$Q|dZMC|dCOO|dOCLCO
049    MAIN 
050  4 Q334 
060  4 Q 334 
072  7 UYQ|2bicssc 
072  7 TJFM1|2bicssc 
072  7 COM004000|2bisacsh 
082 04 006.3|223 
110 2  Associazione italiana per l'intelligenza artificiale.
       |bCongress|n(13th :|d2013 :|cTurin, Italy)|0http:// 
245 10 AI*IA 2013 :|bAdvances in artificial intelligence : XIIIth
       International Conference of the Italian Association for 
       Artificial Intelligence, Turin, Italy, December 4-6, 2013.
       Proceedings /|cMatteo Baldoni, Cristina Baroglio, Guido 
       Boella, Roberto Micalizio (eds.). 
246 3  Advances in artificial intelligence 
264  1 Cham :|bSpringer,|c2013. 
300    1 online resource (xviii, 540 pages) :|billustrations. 
336    text|btxt|2rdacontent 
337    computer|bc|2rdamedia 
338    online resource|bcr|2rdacarrier 
340    |gpolychrome|2rdacc|0
347    text file|2rdaft|0
490 1  Lecture notes in computer science,|x0302-9743 ;|v8249.
       |aLecture notes in artificial intelligence 
490 1  LNCS sublibrary. SL 7, Artificial intelligence 
500    International conference proceedings. 
505 00 |tKnowledge Representation and Reasoning.|tComparing 
       Alternative Solutions for Unfounded Set Propagation in ASP
       /|rMario Alviano, Carmine Dodaro and Francesco Ricca --
       |tMind in Degrees /|rCristiano Castelfranchi --|tTowards 
       an Ontology-Based Framework to Generate Diagnostic 
       Decision Support Systems /|rGiuseppe Cicala, Marco Oreggia
       and Armando Tacchella --|tAutomated Reasoning in Metabolic
       Networks with Inhibition /|rRobert Demolombe, Luis Farinas
       del Cerro and Naji Obeid --|tMulticriteria Decision Making
       Based on Qualitative Assessments and Relational Belief /
       |rAmel Ennaceur, Zied Elouedi and Eric Lefevre --|tPreDeLo
       1.0: A Theorem Prover for Preferential Description Logics 
       /|rLaura Giordano, Valentina Gliozzi, Adam Jalal [and 
       others] --|tAutomated Selection of Grounding Algorithm in 
       Answer Set Programming /|rMarco Maratea, Luca Pulina and 
       Francesco Ricca --|tEntity-from-Relationship Modelling /
       |rClaudio Masolo and Alessandro Artale. 
505 80 |tMachine Learning.|tSupervised Learning and 
       Distributional Semantic Models for Super-Sense Tagging /
       |rPierpaolo Basile, Annalina Caputo and Giovanni Semeraro 
       --|tA Heuristic Approach to Handling Sequential 
       Information in Incremental ILP /|rStefano Ferilli and 
       Floriana Esposito --|tHow Mature Is the Field of Machine 
       Learning? /|rMarcello Pelillo and Teresa Scantamburlo --
       |tEnhance User-Level Sentiment Analysis on Microblogs with
       Approval Relations /|rFederico Alberto Pozzi, Daniele 
       Maccagnola, Elisabetta Fersini and Enza Messina --
       |tAbstraction in Markov Networks /|rLorenza Saitta --
       |tImproving the Structuring Capabilities of Statistics-
       Based Local Learners /|rSlobodan Vukanovic, Robert Haschke
       and Helge Ritter --|tKernel-Based Discriminative Re-
       ranking for Spoken Command Understanding in HRI /|rRoberto
       Basili, Emanuele Bastianelli, Giuseppe Castellucci [and 
       others] --|tNatural Language Processing.|tA Natural 
       Language Account for Argumentation Schemes /|rElena Cabrio,
       Sara Tonelli and Serena Villata. 
505 80 |tDeep Natural Language Processing for Italian Sign 
       Language Translation /|rAlessandro Mazzei, Leonardo Lesmo,
       Cristina Battaglino [and others] --|tA Virtual Player for 
       "Who Wants to Be a Millionaire?" based on Question 
       Answering /|rPiero Molino, Pierpaolo Basile, Ciro Santoro 
       [and others] --|tThe Construction of the Relative Distance
       Fuzzy Values Based on the Questionnaire Experiment /
       |rJedrzej Osinski --|tProcess Fragment Recognition in 
       Clinical Documents /|rCamilo Thorne, Elena Cardillo, 
       Claudio Eccher ... [et al.[--|tPlanning.|tOffline and 
       Online Plan Library Maintenance in Case-Based Planning /
       |rAlfonso E. Gerevini, Anna Roubickova, Alessandro Saetti 
       and Ivan Serina --|tIntegrating Knowledge Engineering for 
       Planning with Validation and Verification Tools /|rAndrea 
       Orlandini, Giulio Bernardi, Amedeo Cesta and Alberto Finzi
       --|tNumeric Kernel for Reasoning about Plans Involving 
       Numeric Fluents /|rEnrico Scala. 
505 80 |tUnderestimation vs. Overestimation in SAT-Based Planning
       /|rMauro Vallati, Lukas Chrpa and Andrew Crampton --
       |tDistributed AI: Robotics and MAS.|tSocial Interactions 
       in Crowds of Pedestrians: An Adaptive Model for Group 
       Cohesion /|rStefania Bandini, Luca Crociani and Giuseppe 
       Vizzari --|tA Distributed Agent-Based Approach for 
       Supporting Group Formation in P2P e-Learning /|rFabrizio 
       Messina, Giuseppe Pappalardo and Domenico Rosaci [and 
       others] --|tIdentification of Dynamical Structures in 
       Artificial Brains: An Analysis of Boolean Network 
       Controlled Robots /|rAndrea Roli, Marco Villani, Roberto 
       Serra [and others] /|rRecommender Systems and Semantic Web
       --|tSemantic Annotation of Scholarly Documents and 
       Citations /|rPaolo Ciancarini, Angelo Di Iorio, Andrea 
       Giovanni Nuzzolese [and others] --|tCommon Subsumbers in 
       RDF /|rSimona Colucci, Francesco M. Donini and Eugenio Di 
       Sciascio --|tPersonality-Based Active Learning for 
       Collaborative Filtering Recommender Systems /|rMehdi Elahi,
       Matthias Braunhofer, Francesco Ricci and Marko Tkalcic. 
505 80 |tSelection and Ranking of Activities in the Social Web /
       |rIlaria Lombardi, Silvia Likavec, Claudia Picardi and 
       Elisa Chiabrando --|tGranular Semantic User Similarity in 
       the Presence of Sparse Data /|rFrancesco Osborne, Silvia 
       Likavec and Federica Cena --|tComputing Instantiated 
       Explanations in OWL DL /|rFabrizio Riguzzi, Elena Bellodi,
       Evelina Lamma and Riccardo Zese --|tUsing Agents for 
       Generating Personalized Recommendations of Multimedia 
       Contents /|rDomenico Rosaci and Giuseppe M.L. Sarne --
       |tTemporal Reasoning and Reasoning under Uncertainty.
       |tOutlier Detection with Arbitrary Probability Functions /
       |rFabrizio Angiulli and Fabio Fassetti --|tEnhancing 
       Regression Models with Spatio-temporal Indicator Additions
       /|rAnnalisa Appice, Sonja Pravilovic, Donato Malerba and 
       Antonietta Lanza --|tA Reduction-Based Approach for 
       Solving Disjunctive Temporal Problems with Preferences /
       |rJean-Remi Bourguet, Marco Maratea and Luca Pulina. 
505 80 |tAn Intelligent Technique for Forecasting Spatially 
       Correlated Time Series /|rSonja Pravilovic, Annalisa 
       Appice and Donato Malerba --|tAI Applications.|tReasoning-
       Based Techniques for Dealing with Incomplete Business 
       Process Execution Traces /|rPiergiorgio Bertoli, Chiara Di
       Francescomarino, Mauro Dragoni and Chiara Ghidini --|tCDoT
       : Optimizing MAP Queries on Trees /|rRoberto Esposito, 
       Daniele P. Radicioni and Alessia Visconti --|tGesture 
       Recognition for Improved User Experience in a Smart 
       Environment /|rSalvatore Gaglio, Giuseppe Lo Re, Marco 
       Morana and Marco Ortolani --|tAn Efficient Algorithm for 
       Rank Distance Consensus /|rLiviu P. Dinu and Radu Tudor 
       Ionescu --|tAutomatic Braille to Black Conversion /
       |rFilippo Stanco, Matteo Buffa and Giovanni Maria 
       Farinella --|tA Hybrid Neuro-Wavelet Predictor for QoS 
       Control and Stability /|rChristian Napoli, Giuseppe 
       Pappalardo and Emiliano Tramontana. 
520    This book constitutes the refereed proceedings of the 13th
       International Conference of the Italian Association for 
       Artificial Intelligence, AI*IA 2013, held in Turin, Italy,
       in December 2013. The 45 revised full papers were 
       carefully reviewed and selected from 86 submissions. The 
       conference covers broadly the many aspects of theoretical 
       and applied Artificial Intelligence as follows: knowledge 
       representation and reasoning, machine learning, natural 
       language processing, planning, distributed AI: robotics 
       and MAS, recommender systems and semantic Web, and AI 
588 0  Online resource; title from PDF title page (SpringerLink, 
       viewed December 16, 2013). 
650  0 Artificial intelligence|vCongresses.|0
650  2 Artificial Intelligence.|0
650 14 Computer Science. 
650 24 Artificial Intelligence (incl. Robotics). 
650 24 Data Mining and Knowledge Discovery. 
650 24 Mathematical Logic and Formal Languages. 
650 24 Computation by Abstract Devices. 
650 24 User Interfaces and Human Computer Interaction. 
650 24 Pattern Recognition. 
655  2 Congress.|0 
655  4 Electronic books. 
655  4 Ebook. 
655  7 Conference papers and proceedings.|2fast|0http:// 
655  7 Electronic books.|2lcgft 
655  7 Conference papers and proceedings.|2lcgft|0http:// 
700 1  Baldoni, Matteo,|d1968-|0
776 08 |iPrinted edition:|z9783319035239 
830  0 Lecture notes in computer science ;|0
830  0 Lecture notes in computer science.|pLecture notes in 
       artificial intelligence.|0
830  0 LNCS sublibrary.|nSL 7,|pArtificial intelligence.|0http:// 
880 0  |6505-00|aKnowledge representation and reasoning -- 
       Machine learning -- Natural language processing -- 
       Planning -- Distributed AI: robotics and MAS -- 
       Recommender systems and semantic Web.-�AI 
990    SpringerLink|bSpringer English/International eBooks 2013 -
       Full Set|c2018-11-23|yMaster record variable field(s) 
       change: 650|5OH1 
990    SpringerLink|bSpringer English/International eBooks 2013 -
       Full Set|c2018-10-31|yNew collection 
View online

If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team