default search action
AI*IA 2016: Genova, Italy
- Giovanni Adorni, Stefano Cagnoni, Marco Gori, Marco Maratea:
AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 - December 1, 2016, Proceedings. Lecture Notes in Computer Science 10037, Springer 2016, ISBN 978-3-319-49129-5
Optimization and Evolutionary Algorithms
- Jakob Bossek
, Heike Trautmann:
Understanding Characteristics of Evolved Instances for State-of-the-Art Inexact TSP Solvers with Maximum Performance Difference. 3-12 - Carlo Manna
On-line Dynamic Station Redeployments in Bike-Sharing Systems. 13-25 - Muhammad Marwan Muhammad Fuad:
Optimized Word-Size Time Series Representation Method Using a Genetic Algorithm with a Flexible Encoding Scheme. 26-34 - Laura Sani
Efficient Search of Relevant Structures in Complex Systems. 35-48
Classification, Pattern Recognition, and Computer Vision
- Giulio Angiani, Stefano Cagnoni
Flat and Hierarchical Classifiers for Detecting Emotion in Tweets. 51-64 - Aliaksandr Barushka, Petr Hájek
Spam Filtering Using Regularized Neural Networks with Rectified Linear Units. 65-75 - Giuseppe Castellucci, Danilo Croce
User Mood Tracking for Opinion Analysis on Twitter. 76-88 - Silvia Rossi
Using Random Forests for the Estimation of Multiple Users' Visual Focus of Attention from Head Pose. 89-102
Multi-agent Systems
- Stefania Monica
An Analytic Study of Opinion Dynamics in Multi-agent Systems with Additive Random Noise. 105-117 - Luca Crociani
Combining Avoidance and Imitation to Improve Multi-agent Pedestrian Simulation. 118-132
Knowledge Representation and Reasoning
- Giovanni Adorni, Frosina Koceva:
Educational Concept Maps for Personalized Learning Path Generation. 135-148 - Mario Alviano, Carmine Dodaro
Answer Set Enumeration via Assumption Literals. 149-163 - Giovanni Amendola
On the Application of Answer Set Programming to the Conference Paper Assignment Problem. 164-178 - Federico Bergenti
A Subdivision Approach to the Solution of Polynomial Constraints over Finite Domains Using the Modified Bernstein Form. 179-191 - Francesco Calimeri
I -dlv: The New Intelligent Grounder of dlv. 192-207 - Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris:
Abducing Compliance of Incomplete Event Logs. 208-222 - Francesco Calimeri
Boosting the Development of ASP-Based Applications in Mobile and General Scenarios. 223-236 - Nicola Guarino
Relationships and Events: Towards a General Theory of Reification and Truthmaking. 237-249 - Reza Khoshkangini, Maria Silvia Pini, Francesca Rossi:
A Self-Adaptive Context-Aware Group Recommender System. 250-265 - Francesca Alessandra Lisi:
A Model+Solver Approach to Concept Learning. 266-279
Machine Learning
- Monica Bianchini
A Comparative Study of Inductive and Transductive Learning with Feedforward Neural Networks. 283-293 - Pietro Cottone, Salvatore Gaglio, Giuseppe Lo Re
Structural Knowledge Extraction from Mobility Data. 294-307 - Stefano Ferilli, Floriana Esposito, Domenico Redavid
Predicting Process Behavior in WoMan. 308-320 - Marco Maggini, Alessandro Rossi
On-line Learning on Temporal Manifolds. 321-333 - Luciano Serafini, Artur S. d'Avila Garcez:
Learning and Reasoning with Logic Tensor Networks. 334-348
Semantic Web and Description Logics
- Marco Alberti
Probabilistic Logical Inference on the Web. 351-363 - Marco Alberti
Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics. 364-376 - Alessandra De Paola, Pierluca Ferraro
Context-Awareness for Multi-sensor Data Fusion in Smart Environments. 377-391 - Valentina Gliozzi:
Reasoning about Multiple Aspects in Rational Closure for DLs. 392-405 - Laura Pandolfo, Luca Pulina
A Framework for Automatic Population of Ontology-Based Digital Libraries. 406-417 - Gian Luca Pozzato:
Reasoning About Surprising Scenarios in Description Logics of Typicality. 418-432
Natural Language Processing
- Antonio Lieto
A Resource-Driven Approach for Anchoring Linguistic Resources to Conceptual Spaces. 435-449 - Simone Magnolini, Ngoc Phuoc An Vo, Octavian Popescu:
Analysis of the Impact of Machine Translation Evaluation Metrics for Semantic Textual Similarity. 450-463 - Arianna Pipitone, Giuseppe Tirone
QuASIt: A Cognitive Inspired Approach to Question Answering for the Italian Language. 464-476 - Andrea Vanzo
Spoken Language Understanding for Service Robotics in Italian. 477-489
Planning and Scheduling
- Thomas Bridi
DARDIS: Distributed And Randomized DIspatching and Scheduling. 493-507 - Alessandro Umbrico
Steps in Assessing a Timeline-Based Planner. 508-522
Formal Verification
- Ali Khalili, Massimo Narizzano
Learning for Verification in Embedded Systems: A Case Study. 525-538 - Francesco Leofante
Learning in Physical Domains: Mating Safety Requirements and Costly Sampling. 539-552
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.
last updated on 2024-11-15 19:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: