Abstract is missing.
- Tight Integration of Rule-Based Tools in Game DevelopmentDenise Angilica, Giovambattista Ianni, Francesco Pacenza. 3-17 [doi]
- A Comparison of MCMC Sampling for Probabilistic Logic ProgrammingDamiano Azzolini, Fabrizio Riguzzi, Franco Masotti, Evelina Lamma. 18-29 [doi]
- ± with Customizable Metalogic Features for Powerful Ontological ReasoningStefania Costantini, Andrea Formisano. 30-45 [doi]
- Memory Management in Resource-Bounded AgentsStefania Costantini, Valentina Pitoni. 46-58 [doi]
- A Rule-Based System for Hardware Configuration and Programming of IoT DevicesSalvatore Gaglio, Leonardo Giuliana, Giuseppe Lo Re, Gloria Martorella, Antonio Montalto, Daniele Peri. 59-72 [doi]
- First Approach to Semantics of Silence in TestimoniesAlfonso Garcés-Báez, Aurelio López-López. 73-86 [doi]
- Hybrid Semantics-Aware Recommendations Exploiting Knowledge Graph EmbeddingsCataldo Musto, Pierpaolo Basile, Giovanni Semeraro. 87-100 [doi]
- Strongly Equivalent Epistemic Answer Set ProgramsEzgi Iraz Su. 101-115 [doi]
- From Simplified Kripke-Style Semantics to Simplified Analytic Tableaux for Some Normal Modal LogicsYaroslav I. Petrukhin, Michal Zawidzki. 116-131 [doi]
- Automated Planning Encodings for the Manipulation of Articulated Objects in 3D with GravityRiccardo Bertolucci, Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati. 135-150 [doi]
- Frequency Assignment in High Performance Computing SystemsAndrea Borghesi, Michela Milano, Luca Benini. 151-164 [doi]
- PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal LogicsTiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato. 165-179 [doi]
- Partitioned Least SquaresRoberto Esposito, Mattia Cerrato, Marco Locatelli 0001. 180-192 [doi]
- Number of Minimal Hypergraph Transversals and Complexity of IFM with Infrequency: High in Theory, but Often Not so Much in Practice!Domenico Saccà, Edoardo Serra. 193-209 [doi]
- Handling Modifiers in Question Answering over Knowledge GraphsLucia Siciliani, Dennis Diefenbach, Pierre Maret, Pierpaolo Basile, Pasquale Lops. 210-222 [doi]
- A Graphical Analysis of Integer Infeasibility in UTVPI ConstraintsK. Subramani, Piotr J. Wojciechowski. 223-234 [doi]
- Multi-agent Path Finding with Capacity ConstraintsPavel Surynek, T. K. Satish Kumar, Sven Koenig. 235-249 [doi]
- Evaluating Robustness of an Acting Framework over Temporally Uncertain DomainsAlessandro Umbrico, Amedeo Cesta, Marta Cialdea Mayer, Andrea Orlandini. 250-263 [doi]
- On the Configuration of SAT FormulaeMauro Vallati, Marco Maratea. 264-277 [doi]
- Performance-Driven Handwriting Task Selection for Parkinson's Disease ClassificationMaria Teresa Angelillo, Donato Impedovo, Giuseppe Pirlo, Gennaro Vessio. 281-293 [doi]
- A Non-negative Factorization Approach to Node Pooling in Graph Convolutional Neural NetworksDavide Bacciu, Luigi Di Sotto. 294-306 [doi]
- Winograd Convolution for DNNs: Beyond Linear PolynomialsBarbara Barabasz, David Gregg. 307-320 [doi]
- A Deep Hybrid Model for Recommendation SystemsMuhammet Çakir, Sule Gündüz Ögüdücü, Resul Tugay. 321-335 [doi]
- Kernel-Based Generative Adversarial Networks for Weakly Supervised LearningDanilo Croce, Giuseppe Castellucci, Roberto Basili 0001. 336-347 [doi]
- Activity Prediction of Business Process Instances with Inception CNN ModelsNicola Di Mauro, Annalisa Appice, Teresa M. A. Basile. 348-361 [doi]
- Question Classification with Untrained Recurrent EmbeddingsDaniele Di Sarli, Claudio Gallicchio, Alessio Micheli. 362-375 [doi]
- Prediction of Decline in Activities of Daily Living Through Deep Artificial Neural Networks and Domain AdaptationLorenzo Donati, Daniele Fongo, Luca Cattelani, Federico Chesani. 376-391 [doi]
- Capturing Frame-Like Object Descriptors in Human Augmented MappingMohamadreza Faridghasemnia, Andrea Vanzo, Daniele Nardi. 392-404 [doi]
- Verification and Repair of Neural Networks: A Progress Report on Convolutional ModelsDario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella. 405-417 [doi]
- Learning Activation Functions by Means of Kernel Based Neural NetworksGiuseppe Marra, Dario Zanca, Alessandro Betti, Marco Gori. 418-430 [doi]
- Leveraging Multi-task Learning for Biomedical Named Entity RecognitionTahir Mehmood, Alfonso Gerevini, Alberto Lavelli, Ivan Serina. 431-444 [doi]
- Applying Self-interaction Attention for Extracting Drug-Drug InteractionsLuca Putelli, Alfonso Gerevini, Alberto Lavelli, Ivan Serina. 445-460 [doi]
- Learning Abstract Planning Domains and Mappings to Real World PerceptionsLuciano Serafini, Paolo Traverso. 461-476 [doi]
- Towards Effective Device-Aware Federated LearningVito Walter Anelli, Yashar Deldjoo, Tommaso Di Noia, Antonio Ferrara. 477-491 [doi]
- Manipulating an Election in Social Networks Through Edge AdditionVincenzo Auletta, Diodato Ferraioli, Vincenzo Savarese. 495-510 [doi]
- Shared-Autonomy Navigation for Mobile Robots Driven by a Door Detection ModuleGloria Beraldo, Enrico Termine, Emanuele Menegatti. 511-527 [doi]
- Toward Automated Courseware Production for the ExPLoRAA Learning EnvironmentAmedeo Cesta, Gabriella Cortellessa, Riccardo De Benedictis, Carlo De Medio, Francesca Fracasso, Carla Limongelli. 528-541 [doi]
- Artificial Intelligence for Dramatic PerformanceRossana Damiano, Vincenzo Lombardo, Giulia Monticone, Antonio Pizzo. 542-557 [doi]
- Periodicity Detection of Emotional Communities in MicrobloggingCorrado Loglisci, Donato Malerba. 558-571 [doi]
- Mapping Lexical Knowledge to Distributed Models for Ontology Concept InventionManuel Vimercati, Federico Bianchi, Mauricio Soto, Matteo Palmonari. 572-587 [doi]
- A New Measure of Polarization in the Annotation of Hate SpeechSohail Akhtar, Valerio Basile, Viviana Patti. 588-603 [doi]