Query Answering with Transitive and Linear-Ordered Data

Antone Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom

Efficient Computation of Semivalues for Game-Theoretic Network Centrality

Mateusz K. Tarkowski, Piotr L. Szczepański, Tomasz P. Michalak, Paul Harrenstein, Michael Wooldridge

A Core Method for the Weak Completion Semantics with Skeptical Abduction

Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli, Luis Palacios Medinacelli

Human-Machine Collaborative Optimization via Apprenticeship Scheduling

Matthew Gombolay, Reed Jensen, Jessica Stigile, Toni Golen, Neel Shah, Sung-Hyun Son, Julie Shah
View All Volumes