{"id":832,"date":"2015-06-16T14:32:05","date_gmt":"2015-06-16T13:32:05","guid":{"rendered":"http:\/\/aixia2015.unife.it\/?page_id=832"},"modified":"2019-07-04T12:15:52","modified_gmt":"2019-07-04T11:15:52","slug":"accepted-papers","status":"publish","type":"page","link":"https:\/\/aixia2015.unife.it\/accepted-papers\/","title":{"rendered":"ACCEPTED PAPERS"},"content":{"rendered":"
\n
\n\t

A Kinetic Study of Opinion Dynamics in Multi-Agent Systems<\/span> Stefania Monica and Federico Bergenti<\/span> Approaching Qualitative Spatial Reasoning About Distances and Directions in Robotics<\/span> Guglielmo Gemignani<\/a>, Roberto Capobianco and Daniele Nardi<\/span><\/p>\n

ASCoL: a Tool for Improving Automatic Planning Domain Model Acquisition<\/span> Rabia Jilani, Andrew Crampton<\/a>, Diane Kitchin<\/a> and Mauro Vallati<\/a><\/span><\/p>\n

Bootstrapping Large Scale Polarity Lexicons through Advanced Distributional Methods<\/span> Giuseppe Castellucci, Danilo Croce and Roberto Basili<\/a><\/span><\/p>\n

Efficient Power-aware Resource Constrained Scheduling and Execution for Planetary Rovers<\/span> Daniel Diaz, Amedeo Cesta, Angelo Oddi, Riccardo Rasconi and Maria Dolores Rodriguez-Moreno<\/span><\/p>\n

Enriching a Timeline-based Planner with Resource and Hierarchical Reasoning<\/span> Alessandro Umbrico, Marta Cialdea Mayer and Andrea Orlandini<\/span><\/p>\n

Abstract Solvers for Quantified Boolean Formulas and their Applications<\/span> Remi Brochenin and Marco Maratea<\/span><\/p>\n

Learning Accurate Cutset Networks by exploiting Decomposability<\/span> Nicola Di Mauro<\/a>, Antonio Vergari and Floriana Esposito<\/a><\/span><\/p>\n

Integrating Logic and Constraint Reasoning in a Timeline-based Planner<\/span> Riccardo De Benedictis<\/a> and Amedeo Cesta<\/a><\/span><\/p>\n

Advances in Multi-Engine ASP Solving<\/span> Marco Maratea<\/a>, Luca Pulina<\/a> and Francesco Ricca<\/a><\/span><\/p>\n

Using Semantic Models for Robust Natural Language Human Robot Interaction<\/span> Emanuele Bastianelli, Danilo Croce, Roberto Basili<\/a> and Daniele Nardi<\/span> <\/p>\n

Empowered Negative Specialization in Inductive Logic Programming<\/span> Stefano Ferilli, Andrea Pazienza and Floriana Esposito<\/a><\/span> <\/p>\n

Anticipatory Coordination in Socio-technical Knowledge-intensive Environments: Behavioural Implicit Communication in MoK<\/span> Stefano Mariani<\/a> and Andrea Omicini<\/a><\/span> <\/p>\n

A Logic-based approach to Named-Entity Disambiguation in the Web of Data<\/span> Silvia Giannini, Simona Colucci, Francesco M Donini<\/a> and Eugenio Di Sciascio<\/span> <\/p>\n

Cooperating with Trusted Parties Would Make Life Easier<\/span> Pasquale Caianiello<\/a>, Stefania Costantini<\/a>, Giovanni De Gasperis<\/a> and Subhasis Thakur<\/a><\/span> <\/p>\n

Common-Sense Knowledge for Natural Language Understanding: Experiments in Unsupervised and Supervised Settings<\/span> Luigi Di Caro<\/a>, Alice Ruggeri, Loredana Cupi and Guido Boella<\/span> <\/p>\n

Adaptive Hybrid Agents for Tactical Decisions in Pedestrian Simulation<\/span> Luca Crociani, Andrea Piazzoni, Giuseppe Vizzari and Stefania Bandini<\/a><\/span> <\/p>\n

GENOMA: a GENeric Ontolgy Matching Architecture<\/span> Maria Teresa Pazienza<\/a>, Roberto Enea and Andrea Turbati<\/a><\/span> <\/p>\n

Open Data Integration Using SPARQL and SPIN: A Case Study for the Tourism Domain<\/span> Antonino Lo Bue and Alberto Mach\u00ec<\/span> <\/p>\n

Feature-based modeling in industry<\/span> Emilio Sanfilippo and Stefano Borgo<\/span> <\/p>\n

Dynamical properties of artificially evolved Boolean network robots<\/span> Andrea Roli<\/a>, Marco Villani, Roberto Serra, Stefano Benedettini, Carlo Pinciroli<\/a> and Mauro Birattari<\/span> <\/p>\n

An AI Application to Integrated Tourism Planning<\/span> Francesca Alessandra Lisi<\/a> and Floriana Esposito<\/a><\/span> <\/p>\n

An approach to Predicate Invention based on Statistical Relational Model<\/span> Stefano Ferilli and Giuseppe Fatiguso<\/span> <\/p>\n

Verification-enhanced learning for safe human-robot interaction<\/span> Shashank Pathak, Luca Pulina and Armando Tacchella<\/span> <\/p>\n

Empowering Agent Coordination with Social Engagement<\/span> Matteo Baldoni<\/a>, Cristina Baroglio<\/a>, Federico Capuzzimati<\/a> and Roberto Micalizio<\/span> <\/p>\n

Automatic Identification and Disambiguation of Concepts and Named Entities in the Multilingual Wikipedia<\/span> Federico Scozzafava, Alessandro Raganato, Andrea Moro and Roberto Navigli<\/span> <\/p>\n

Swarm-based Controller for Traffic Lights Management<\/span> Federico Caselli, Alessio Bonfietti and Michela Milano<\/span> <\/p>\n

Agent based simulation of incentive schemes on photovoltaic adoption<\/span> Andrea Borghesi, Valerio Iachini and Michela Milano<\/span> <\/p>\n

COACHES Cooperative Autonomous Robots in Complex and Human Populated Environments<\/span> Luca Iocchi, Esra Erdem, Laurent Jeanpierre, Abdel-Illah Mouaddib and Hichem Sahli<\/span> <\/p>\n

Using stochastic optimization to improve the detection of small checkerboards<\/span> Hamid Hassannejad, Guido Matrella, Monica Mordonini and Stefano Cagnoni<\/span><\/p>\n

Path Relinking for a constrained simulation-optimization team scheduling problem arising in hydroinformatics<\/span> Maddalena Nonato and Andrea Peano<\/span> <\/p>\n

Collective Self-Awareness and Self-Expression for Efficient Network Exploration<\/span> Michele Amoretti<\/a> and Stefano Cagnoni<\/a><\/span> <\/p>\n

Defeasible Logic Programming in Satisfiability Modulo CHR<\/span> Francesco Santini<\/a><\/span> <\/p>\n

Graph-Based Task Libraries for Robots: Generalization and Autocompletion<\/span> Steven Klee, Guglielmo Gemignani, Daniele Nardi and Manuela Veloso<\/span> <\/p>\n

A Multi-Engine Theorem Prover for a Description Logic of Typicality<\/span> Laura Giordano<\/a>, Valentina Gliozzi<\/a>, Nicola Olivetti<\/a>, Gian Luca Pozzato<\/a> and Luca Violanti<\/span><\/p>\n<\/div>\n<\/div><\/div><\/div><\/div><\/div>","protected":false},"excerpt":{"rendered":"

A Kinetic Study of Opinion Dynamics in Multi-Agent Systems Stefania Monica and Federico Bergenti Approaching Qualitative Spatial Reasoning About Distances and Directions in Robotics Guglielmo Gemignani, Roberto Capobianco and Daniele Nardi ASCoL: a Tool for Improving Automatic Planning Domain Model Acquisition Rabia Jilani, Andrew Crampton, Diane Kitchin and Mauro Vallati Bootstrapping Large Scale Polarity Lexicons […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"footnotes":""},"_links":{"self":[{"href":"https:\/\/aixia2015.unife.it\/wp-json\/wp\/v2\/pages\/832"}],"collection":[{"href":"https:\/\/aixia2015.unife.it\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/aixia2015.unife.it\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/aixia2015.unife.it\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/aixia2015.unife.it\/wp-json\/wp\/v2\/comments?post=832"}],"version-history":[{"count":6,"href":"https:\/\/aixia2015.unife.it\/wp-json\/wp\/v2\/pages\/832\/revisions"}],"predecessor-version":[{"id":1556,"href":"https:\/\/aixia2015.unife.it\/wp-json\/wp\/v2\/pages\/832\/revisions\/1556"}],"wp:attachment":[{"href":"https:\/\/aixia2015.unife.it\/wp-json\/wp\/v2\/media?parent=832"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}