AI*IA 2018 – Advances in Artificial Intelligence: XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20–23, 2018, Proceedings

Front Matter ....Pages I-XIV
Front Matter ....Pages 1-1
 An Introduction to the Major Features of a Scripting Language for JADE Agents  (Giuseppe Petrosino, Federico Bergenti)....Pages 3-14
 Timed Memory in Resource-Bounded Agents  (Stefania Costantini, Andrea Formisano, Valentina Pitoni)....Pages 15-29
 An Information Model for Computing Accountabilities  (Matteo Baldoni, Cristina Baroglio, Katherine M. May, Roberto Micalizio, Stefano Tedeschi)....Pages 30-44
Front Matter ....Pages 45-45
 From Semantically Abstracted Traces to Process Mining and Process Model Comparison  (Giorgio Leonardi, Manuel Striani, Silvana Quaglini, Anna Cavallini, Stefania Montani)....Pages 47-59
 Using CNNs for Designing and Implementing an Automatic Vascular Segmentation Method of Biomedical Images  (Pierangela Bruno, Paolo Zaffino, Salvatore Scaramuzzino, Salvatore De Rosa, Ciro Indolfi, Francesco Calimeri et al.)....Pages 60-70
 Identification and Characterization of Lanes in Pedestrian Flows Through a Clustering Approach  (Luca Crociani, Giuseppe Vizzari, Andrea Gorrini, Stefania Bandini)....Pages 71-82
 Arianna\\(^{+}\\): Scalable Human Activity Recognition by Reasoning with a Network of Ontologies  (Syed Yusha Kareem, Luca Buoncompagni, Fulvio Mastrogiovanni)....Pages 83-95
 A Scalable Architecture to Design Multi-modal Interactions for Qualitative Robot Navigation  (Luca Buoncompagni, Suman Ghosh, Mateus Moura, Fulvio Mastrogiovanni)....Pages 96-109
 CH1: A Conversational System to Calculate Carbohydrates in a Meal  (Bernardo Magnini, Vevake Balaraman, Mauro Dragoni, Marco Guerini, Simone Magnolini, Valerio Piccioni)....Pages 110-122
 Analyzing Microblogging Posts for Tracking Collective Emotional Trajectories  (Corrado Loglisci, Giuseppina Andresini, Angelo Impedovo, Donato Malerba)....Pages 123-135
Front Matter ....Pages 137-137
 On the Notion of Goal in Business Process Models  (Greta Adamo, Stefano Borgo, Chiara Di Francescomarino, Chiara Ghidini, Nicola Guarino)....Pages 139-151
 Towards an Ontological Modelling of Preference Relations  (Daniele Porello, Giancarlo Guizzardi)....Pages 152-165
 A Generalized Framework for Ontology-Based Data Access  (Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Julien Corman, Guohui Xiao)....Pages 166-180
Front Matter ....Pages 181-181
 Creative Concept Generation by Combining Description Logic of Typicality, Probabilities and Cognitive Heuristics  (Antonio Lieto, Gian Luca Pozzato)....Pages 183-196
 A Comparative Study of Defeasible Argumentation and Non-monotonic Fuzzy Reasoning for Elderly Survival Prediction Using Biomarkers  (Lucas Rizzo, Ljiljana Majnaric, Luca Longo)....Pages 197-209
 Compact Preference Representation via Fuzzy Constraints in Stable Matching Problems: Theoretical and Experimental Studies  (Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable)....Pages 210-224
 Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach  (Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Armando Pezzimenti, Andrea Tucci)....Pages 225-237
 A Tableau Calculus for a Multi-modal Logic of Dishonesty  (Sanja Pavlović, Hans Tompits)....Pages 238-251
 Goal Distribution in Business Process Models  (Matteo Baldoni, Cristina Baroglio, Roberto Micalizio)....Pages 252-265
 A Tool for the Verification of Data-Aware Business Processes  (Luca Sabiucciu, Marco Montali, Sergio Tessaris)....Pages 266-276
Front Matter ....Pages 277-277
 Exploring Abstract Argumentation-Based Approaches to Tackle Inconsistent Observations in Inductive Logic Programming  (Andrea Pazienza, Stefano Ferilli)....Pages 279-292
 Expectation Maximization in Deep Probabilistic Logic Programming  (Arnaud Nguembang Fadja, Fabrizio Riguzzi, Evelina Lamma)....Pages 293-306
 Neural Random Access Machines Optimized by Differential Evolution  (Marco Baioletti, Valerio Belli, Gabriele Di Bari, Valentina Poggioni)....Pages 307-319
 The Role of Coherence in Facial Expression Recognition  (Lisa Graziani, Stefano Melacci, Marco Gori)....Pages 320-333
 Extremely Randomized CNets for Multi-label Classification  (Teresa M. A. Basile, Nicola Di Mauro, Floriana Esposito)....Pages 334-347
 Bayesian Markov Logic Networks  (Radim Nedbal, Luciano Serafini)....Pages 348-361
 An Integration-Based Approach to Pattern Clustering and Classification  (Laura Sani, Gianluca D’Addese, Riccardo Pecori, Monica Mordonini, Marco Villani, Stefano Cagnoni)....Pages 362-374
 Top-Down Attention Recurrent VLAD Encoding for Action Recognition in Videos  (Swathikiran Sudhakaran, Oswald Lanz)....Pages 375-386
Front Matter ....Pages 387-387
 Neural Learning for Question Answering in Italian  (Danilo Croce, Alexandra Zelenanska, Roberto Basili)....Pages 389-402
 Detecting Inappropriate Comments to News  (Patrizio Bellan, Carlo Strapparava)....Pages 403-414
 Annotating Concept Abstractness by Common-Sense Knowledge  (Enrico Mensa, Aureliano Porporato, Daniele P. Radicioni)....Pages 415-428
Front Matter ....Pages 429-429
 Iterative Width Search for Multi Agent Privacy-Preserving Planning  (Gabriele Bazzotti, Alfonso Emilio Gerevini, Nir Lipovetzky, Francesco Percassi, Alessandro Saetti, Ivan Serina)....Pages 431-444
 Operating Room Scheduling via Answer Set Programming  (Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro)....Pages 445-459
 A Goal Triggering Mechanism for Continuous Human-Robot Interaction  (Alessandro Umbrico, Amedeo Cesta, Gabriella Cortellessa, Andrea Orlandini)....Pages 460-473
 Energy-Aware Multiple State Machine Scheduling for Multiobjective Optimization  (Angelo Oddi, Riccardo Rasconi, Miguel A. González)....Pages 474-486
Front Matter ....Pages 487-487
 Modeling the Changing of the Individual Satisfaction in a Group Context: A Study on Two Sized Groups  (Francesco Barile, Judith Masthoff, Silvia Rossi)....Pages 489-501
 Learning Fuzzy User Models for News Recommender Systems  (Mauro Dragoni)....Pages 502-515
 Novelty-Aware Matrix Factorization Based on Items’ Popularity  (Ludovik Coba, Panagiotis Symeonidis, Markus Zanker)....Pages 516-527
 Improving the User Experience with a Conversational Recommender System  (Fedelucio Narducci, Marco de Gemmis, Pasquale Lops, Giovanni Semeraro)....Pages 528-538
 Twitter User Recommendation for Gaining Followers  (Francesco Corcoglioniti, Yaroslav Nechaev, Claudio Giuliano, Roberto Zanoli)....Pages 539-552
 Analytical Network Process Method Under the Belief Function Framework  (Amel Ennaceur, Zied Elouedi, Eric Lefevre)....Pages 553-563
 Correction to: Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach  (Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Armando Pezzimenti, Andrea Tucci)....Pages C1-C1
Back Matter ....Pages 565-566