Knowledge Representation for AI
Tight Integration of Rule-Based Tools in Game Development
A Comparison of MCMC Sampling for Probabilistic Logic Programming
Augmenting Datalog+- with Customizable Metalogic Features for Powerful Ontological Reasoning
Memory Management in Resource-Bounded Agents
A Rule-based System for Hardware Configuration and Programming of IoT Devices
First Approach to Semantics of Silence in Testimonies
Hybrid Semantics-aware Recommendations Exploiting Knowledge Graph Embeddings
Strongly Equivalent Epistemic Answer Set Programs
From simplified Kripke-style semantics to simplified analytic tableaux for some normal modal logics
AI and Computation
Automated Planning Encodings for the Manipulation of Articulated Objects in 3D with Gravity
Frequency Assignment in High Performance Computing Systems
PRONOM: proof-search and countermodel generation for Non-Normal Modal Logics
Partitioned Least Squares
Number of Minimal Hypergraph Transversals and Complexity of of IFM with Infrequency: high in theory, but often not so much in practice!
Handling Modifiers in Question Answering over Knowledge Graphs
A graphical analysis of integer infeasibility in UTVPI constraints
Multi-Agent Path Finding with Capacity Constraints
Evaluating Robustness of an Acting Framework Over Temporally Uncertain Domains
On the Configuration of SAT Formulae
Towards Effective Device-Aware Federated Learning
Machine Learning for AI
Performance-driven Handwriting Task Selection for Parkinsons Disease Classication
A non-negative factorization approach to node pooling in graph convolutional neural networks
Winograd Convolution for DNNs: Beyond linear polynomials
A Deep Hybrid Model for Recommendation Systems
Kernel-based Generative Adversarial Networks for Weakly Supervised Learning
Activity Prediction of Business Process Instances with Inception CNN Models
Question Classification with Untrained Recurrent Embeddings
Prediction of Decline in Activities of Daily Living Through Deep Artificial Neural Networks and Domain Adaptation
Capturing Frame-like Object Descriptors in Human Augmented Mapping
Verification and Repair of Neural Networks: a Progress Report on Convolutional Models
Learning Activation Functions by means of Kernel Based Neural Networks
Leveraging Multi-task Learning for Biomedical Named Entity Recognition
Applying Self-Interaction Attention for Extracting Drug-Drug Interactions
Learning abstract planning domains and mappings to real world perceptions
Measuring the Polarization of Hate Speech Annotation
AI and Humans
Manipulating an Election in Social Networks through Edge Addition
Shared-Autonomy Navigation for mobile robots driven by a door detection module
Toward Automated Courseware Production for the ExPLoRAA Tutoring Environment
Artificial Intelligence for dramatic performance
Periodicity Detection of Emotional Communities in Microblogging
Mapping Lexical Knowledge to Distributed Representations for Ontology Concept Invention.