


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














