


default search action
AI*IA 2013: Turin, Italy
- Matteo Baldoni, Cristina Baroglio, Guido Boella, Roberto Micalizio:
AI*IA 2013: Advances in Artificial Intelligence - XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings. Lecture Notes in Computer Science 8249, Springer 2013, ISBN 978-3-319-03523-9
Knowledge Representation and Reasoning
- Mario Alviano, Carmine Dodaro
, Francesco Ricca:
Comparing Alternative Solutions for Unfounded Set Propagation in ASP. 1-12 - Cristiano Castelfranchi:
Mind in Degrees - The Quantitative Dimension of Mental Attitudes. 13-24 - Giuseppe Cicala
, Marco Oreggia, Armando Tacchella
:
Towards an Ontology-Based Framework to Generate Diagnostic Decision Support Systems. 25-36 - Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid:
Automated Reasoning in Metabolic Networks with Inhibition. 37-47 - Amel Ennaceur, Zied Elouedi, Eric Lefevre
:
Multicriteria Decision Making Based on Qualitative Assessments and Relational Belief. 48-59 - Laura Giordano
, Valentina Gliozzi, Adam Jalal, Nicola Olivetti, Gian Luca Pozzato:
PreDeLo 1.0: A Theorem Prover for Preferential Description Logics. 60-72 - Marco Maratea, Luca Pulina
, Francesco Ricca:
Automated Selection of Grounding Algorithm in Answer Set Programming. 73-84 - Claudio Masolo, Alessandro Artale:
Entity-from-Relationship Modelling. 85-96
Machine Learning
- Pierpaolo Basile
, Annalina Caputo, Giovanni Semeraro
:
Supervised Learning and Distributional Semantic Models for Super-Sense Tagging. 97-108 - Stefano Ferilli
, Floriana Esposito
:
A Heuristic Approach to Handling Sequential Information in Incremental ILP. 109-120 - Marcello Pelillo, Teresa Scantamburlo
:
How Mature Is the Field of Machine Learning? 121-132 - Federico Alberto Pozzi, Daniele Maccagnola, Elisabetta Fersini
, Enza Messina
:
Enhance User-Level Sentiment Analysis on Microblogs with Approval Relations. 133-144 - Lorenza Saitta:
Abstraction in Markov Networks. 145-156 - Slobodan Vukanovic, Robert Haschke, Helge J. Ritter:
Improving the Structuring Capabilities of Statistics-Based Local Learners. 157-168 - Roberto Basili
, Emanuele Bastianelli, Giuseppe Castellucci, Daniele Nardi
, Vittorio Perera:
Kernel-Based Discriminative Re-ranking for Spoken Command Understanding in HRI. 169-180
Natural Language Processing
- Elena Cabrio, Sara Tonelli
, Serena Villata:
A Natural Language Account for Argumentation Schemes. 181-192 - Alessandro Mazzei, Leonardo Lesmo, Cristina Battaglino, Mara Vendrame, Monica Bucciarelli:
Deep Natural Language Processing for Italian Sign Language Translation. 193-204 - Piero Molino, Pierpaolo Basile
, Ciro Santoro, Pasquale Lops
, Marco de Gemmis
, Giovanni Semeraro
:
A Virtual Player for "Who Wants to Be a Millionaire?" based on Question Answering. 205-216 - Jedrzej Osinski:
The Construction of the Relative Distance Fuzzy Values Based on the Questionnaire Experiment. 217-226 - Camilo Thorne
, Elena Cardillo
, Claudio Eccher
, Marco Montali
, Diego Calvanese
:
Process Fragment Recognition in Clinical Documents. 227-238
Planning
- Alfonso Gerevini
, Anna Roubícková, Alessandro Saetti, Ivan Serina
:
Offline and Online Plan Library Maintenance in Case-Based Planning. 239-250 - Andrea Orlandini
, Giulio Bernardi
, Amedeo Cesta
, Alberto Finzi
:
Integrating Knowledge Engineering for Planning with Validation and Verification Tools. 251-262 - Enrico Scala
:
Numeric Kernel for Reasoning about Plans Involving Numeric Fluents. 263-275 - Mauro Vallati
, Lukás Chrpa, Andrew Crampton
:
Underestimation vs. Overestimation in SAT-Based Planning. 276-287
Distributed AI: Robotics and MAS
- Stefania Bandini
, Luca Crociani
, Giuseppe Vizzari
:
Social Interactions in Crowds of Pedestrians: An Adaptive Model for Group Cohesion. 288-299 - Viviana Mascardi, Daniela Briola
, Davide Ancona:
On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol. 300-311 - Fabrizio Messina
, Giuseppe Pappalardo, Domenico Rosaci
, Corrado Santoro, Giuseppe M. L. Sarnè:
A Distributed Agent-Based Approach for Supporting Group Formation in P2P e-Learning. 312-323 - Andrea Roli
, Marco Villani
, Roberto Serra
, Lorenzo Garattoni, Carlo Pinciroli, Mauro Birattari
:
Identification of Dynamical Structures in Artificial Brains: An Analysis of Boolean Network Controlled Robots. 324-335
Recommender Systems and Semantic Web
- Paolo Ciancarini
, Angelo Di Iorio, Andrea Giovanni Nuzzolese
, Silvio Peroni
, Fabio Vitali
:
Semantic Annotation of Scholarly Documents and Citations. 336-347 - Simona Colucci
, Francesco M. Donini
, Eugenio Di Sciascio
:
Common Subsumbers in RDF. 348-359 - Mehdi Elahi
, Matthias Braunhofer, Francesco Ricci
, Marko Tkalcic
:
Personality-Based Active Learning for Collaborative Filtering Recommender Systems. 360-371 - Ilaria Lombardi, Silvia Likavec
, Claudia Picardi, Elisa Chiabrando:
Selection and Ranking of Activities in the Social Web. 372-384 - Francesco Osborne
, Silvia Likavec
, Federica Cena
:
Granular Semantic User Similarity in the Presence of Sparse Data. 385-396 - Fabrizio Riguzzi
, Elena Bellodi, Evelina Lamma, Riccardo Zese
:
Computing Instantiated Explanations in OWL DL. 397-408 - Domenico Rosaci
, Giuseppe M. L. Sarnè:
Using Agents for Generating Personalized Recommendations of Multimedia Contents. 409-420
Temporal Reasoning and Reasoning under Uncertainty
- Fabrizio Angiulli
, Fabio Fassetti
:
Outlier Detection with Arbitrary Probability Functions. 421-432 - Annalisa Appice
, Sonja Pravilovic, Donato Malerba
, Antonietta Lanza
:
Enhancing Regression Models with Spatio-temporal Indicator Additions. 433-444 - Jean-Rémi Bourguet, Marco Maratea, Luca Pulina
:
A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences. 445-456 - Sonja Pravilovic, Annalisa Appice
, Donato Malerba
:
An Intelligent Technique for Forecasting Spatially Correlated Time Series. 457-468
AI Applications
- Piergiorgio Bertoli, Chiara Di Francescomarino, Mauro Dragoni
, Chiara Ghidini
:
Reasoning-Based Techniques for Dealing with Incomplete Business Process Execution Traces. 469-480 - Roberto Esposito
, Daniele Paolo Radicioni
, Alessia Visconti
:
CDoT: Optimizing MAP Queries on Trees. 481-492 - Salvatore Gaglio, Giuseppe Lo Re
, Marco Morana, Marco Ortolani:
Gesture Recognition for Improved User Experience in a Smart Environment. 493-504 - Liviu P. Dinu, Radu Tudor Ionescu:
An Efficient Algorithm for Rank Distance Consensus. 505-516 - Filippo Stanco, Matteo Buffa, Giovanni Maria Farinella
:
Automatic Braille to Black Conversion. 517-526 - Christian Napoli
, Giuseppe Pappalardo, Emiliano Tramontana:
A Hybrid Neuro-Wavelet Predictor for QoS Control and Stability. 527-538

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.