Formalizing visualization design knowledge as constraints: Actionable and extensible models in draco

D Moritz, C Wang, GL Nelson, H Lin… - IEEE transactions on …, 2018 - ieeexplore.ieee.org
There exists a gap between visualization design guidelines and their application in
visualization tools. While empirical studies can provide design guidance, we lack a formal …

An efficient approach for assessing hyperparameter importance

F Hutter, H Hoos… - … conference on machine …, 2014 - proceedings.mlr.press
The performance of many machine learning methods depends critically on hyperparameter
settings. Sophisticated Bayesian optimization methods have recently achieved considerable …

Theory solving made easy with clingo 5

M Gebser, R Kaminski, B Kaufmann… - … of the 32nd …, 2016 - drops.dagstuhl.de
Abstract Answer Set Programming (ASP) is a model, ground, and solve paradigm. The
integration of application-or theory-specific reasoning into ASP systems thus impacts on …

[Књига][B] Answer set solving in practice

M Gebser, R Kaminski, B Kaufmann, T Schaub - 2022 - books.google.com
Answer Set Programming (ASP) is a declarative problem solving approach, initially tailored
to modeling problems in the area of Knowledge Representation and Reasoning (KRR) …

[PDF][PDF] Citypulse: Large scale data analytics framework for smart cities

MI ALI, A MILEO, JX PARREIRA, M FISCHER… - 2016 - academia.edu
Our world and our lives are changing in many ways. Communication, networking, and
computing technologies are among the most influential enablers that shape our lives today …

SDRL: interpretable and data-efficient deep reinforcement learning leveraging symbolic planning

D Lyu, F Yang, B Liu, S Gustafson - … of the AAAI Conference on Artificial …, 2019 - ojs.aaai.org
Deep reinforcement learning (DRL) has gained great success by learning directly from high-
dimensional sensory inputs, yet is notorious for the lack of interpretability. Interpretability of …

Potassco: The Potsdam answer set solving collection

M Gebser, B Kaufmann, R Kaminski… - Ai …, 2011 - content.iospress.com
Potassco: The Potsdam Answer Set Solving Collection Page 1 AI Communications 24 (2011)
107–124 107 DOI 10.3233/AIC-2011-0491 IOS Press Potassco: The Potsdam Answer Set …

Inductive logic programming at 30: a new introduction

A Cropper, S Dumančić - Journal of Artificial Intelligence Research, 2022 - jair.org
Inductive logic programming (ILP) is a form of machine learning. The goal of ILP is to induce
a hypothesis (a set of logical rules) that generalises training examples. As ILP turns 30, we …

Peorl: Integrating symbolic planning and hierarchical reinforcement learning for robust decision-making

F Yang, D Lyu, B Liu, S Gustafson - arxiv preprint arxiv:1804.07779, 2018 - arxiv.org
Reinforcement learning and symbolic planning have both been used to build intelligent
autonomous agents. Reinforcement learning relies on learning from interactions with real …

Turning 30: New ideas in inductive logic programming

A Cropper, S Dumančić, SH Muggleton - arxiv preprint arxiv:2002.11002, 2020 - arxiv.org
Common criticisms of state-of-the-art machine learning include poor generalisation, a lack of
interpretability, and a need for large amounts of training data. We survey recent work in …