➦ On fair price discrimination in multi-unit markets
➦ Robustness among multiwinner voting rules
➦ Pruning external minimality checking for answer set programs using semantic dependencies
➦ Swarm intelligence for self-organized clustering
➦ A reconstruction of multipreference closure
➦ Protecting elections by recounting ballots
➦ On composition of bounded-recall plans
➦ Understanding the power of Max-SAT resolution through UP-resilience
➦ Quantifying controllability in temporal networks with uncertainty
➦ Real-time reasoning in OWL2 for GDPR compliance
➦ Artificial Intelligence requires more than deep learning — but what, exactly?
➦ Intrinsic approaches to prioritizing diagnoses in multi-context systems
➦ Explanation in AI and law: Past, present and future
➦ Autoepistemic answer set programming
➦ So, what exactly is a qualitative calculus?
➦ When security games hit traffic: A deployed optimal traffic enforcement system
➦ Dashed strings for string constraint solving
➦ SAT-based explicit LTLf satisfiability checking
➦ Interestingness elements for explainable reinforcement learning: Understanding agents' capab
➦ Probability pooling for dependent agents in collective learning
➦ Knowledge-based programs as succinct policies for partially observable domains
➦ Fixed point semantics for stream reasoning
➦ Price of Pareto Optimality in hedonic games
➦ Utilitarian welfare and representation guarantees of approval-based multiwinner rules
➦ Combining experts' causal judgments
➦ Negotiating team formation using deep reinforcement learning
➦ An approach for combining ethical principles with public opinion to guide public policy
➦ A technical survey on statistical modelling and design methods for crowdsourcing quality control
➦ DEL-based epistemic planning: Decidability and complexity
➦ Probabilistic reasoning about epistemic action narratives
➦ Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
➦ Evaluation of the moral permissibility of action plans
➦ Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfi
➦ Memetic algorithms outperform evolutionary algorithms in multimodal optimisation
➦ Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and to
➦ On the limits of forgetting in Answer Set Programming
➦ The distortion of distributed voting
➦ Boolean algebras of conditionals, probability and logic
➦ Interpretable time series kernel analytics by pre-image estimation
➦ Effective footstep planning using homotopy-class guidance
➦ On the equivalence of optimal recommendation sets and myopically optimal query sets
➦ Handling and measuring inconsistency in non-monotonic logics
➦ PopMNet: Generating structured pop music melodies using neural networks
➦ Dynamic term-modal logics for first-order epistemic planning