2023 List of Eligible Prominent AIJ Papers

The eligible Prominent AIJ Papers are those in volumes 230-313 (2016 – 2022)

Volume 230, Pages 1-246 (January 2016) 

Semi-supervised combination of experts for aerosol optical depth estimation  
Pages 1-13
Nemanja Djuric, Lakesh Kansakar, Slobodan Vucetic
 
A hybrid exact algorithm for complete set partitioning  
Pages 14-50
Tomasz Michalak, Talal Rahwan, Edith Elkind, Michael Wooldridge, Nicholas R. Jennings
 
Predicting optimal solution costs with bidirectional stratified sampling in regular search spaces  
Pages 51-73
Levi H.S. Lelis, Roni Stern, Shahab Jabbari Arfaee, Sandra Zilles, Ariel Felner, Robert C. Holte
 
Computer models solving intelligence test problems: Progress and implications  
Pages 74-107
José Hernández-Orallo, Fernando Martínez-Plumed, Ute Schmid, Michael Siebers, David L. Dowe
 
A concept drift-tolerant case-base editing technique  
Pages 108-133
Ning Lu, Jie Lu, Guangquan Zhang, Ramon Lopez de Mantaras
 
Affect control processes: Intelligent affective interaction using a partially observable Markov decision process  
Pages 134-172
Jesse Hoey, Tobias Schröder, Areej Alhothali
 
Exploiting meta features for dependency parsing and part-of-speech tagging  
Pages 173-191
Wenliang Chen, Min Zhang, Yue Zhang, Xiangyu Duan
 
Real-time dynamic programming for Markov decision processes with imprecise probabilities  
Pages 192-223
Karina V. Delgado, Leliane N. de Barros, Daniel B. Dias, Scott Sanner
 
Semantic sensitive tensor factorization  
Pages 224-245
Makoto Nakatsuji, Hiroyuki Toda, Hiroshi Sawada, Jin Guang Zheng, James A. Hendler

Volume 231, Pages 1-182 (February 2016)

Voting rules as error-correcting codes
Pages 1-16
Ariel D. Procaccia, Nisarg Shah, Yair Zick

Automated conjecturing I: Fajtlowicz’s Dalmatian heuristic revisited
Pages 17-38
C.E. Larson, N. Van Cleemput

Efficient algorithms for game-theoretic betweenness centrality
Pages 39-63
Piotr L. Szczepański, Tomasz P. Michalak, Talal Rahwan

Agent planning programs
Pages 64-106
Giuseppe De Giacomo, Alfonso Emilio Gerevini, Fabio Patrizi, Alessandro Saetti, Sebastian Sardina

An axiomatic analysis of structured argumentation with priorities
Pages 107-150
Phan Minh Dung

Design and results of the Fifth Answer Set Programming Competition
Pages 151-181
Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca

Volume 232, Pages 1-114 (March 2016)

Certain answers as objects and knowledge
Pages 1-19
Leonid Libkin

SATenstein: Automatically building local search SAT solvers from components
Pages 20-42
Ashiqur R. KhudaBukhsh, Lin Xu, Holger H. Hoos, Kevin Leyton-Brown

Exploiting local and repeated structure in Dynamic Bayesian Networks
Pages 43-53
Jonas Vlasselaer, Wannes Meert, Guy Van den Broeck, Luc De Raedt

Topic-based term translation models for statistical machine translation
Pages 54-75
Deyi Xiong, Fandong Meng, Qun Liu

Characteristic function games with restricted agent interactions: Core-stability and coalition structuresPages 76-113
Georgios Chalkiadakis, Gianluigi Greco, Evangelos Markakis

Volume 233, Pages 1-142 (April 2016)

Argument graphs and assumption-based argumentation
Pages 1-59
Robert Craven, Francesca Toni

On the query complexity of selecting minimal sets for monotone predicates
Pages 73-83
Mikoláš Janota, Joao Marques-Silva

Domain expansion for ASP-programs with external sources
Pages 84-121
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl

Construction of system of spheres-based transitively relational partial meet multiple contractions: An impossibility result
Pages 122-141
Maurício D.L. Reis, Eduardo Fermé, Pavlos Peppas

Volume 234, Pages 1-272 (May 2016)

Solving QBF with counterexample guided refinement
Pages 1-25
Mikoláš Janota, William Klieber, Joao Marques-Silva, Edmund Clarke

Optimal cost almost-sure reachability in POMDPs
Pages 26-48
Krishnendu Chatterjee, Martin Chmelík, Raghav Gupta, Ayush Kanodia

Truncated incremental search
Pages 49-77
Sandip Aine, Maxim Likhachev

Games for query inseparability of description logic knowledge bases
Pages 78-119
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

On the expressivity of inconsistency measures
Pages 120-151
Matthias Thimm

Parameterised verification for multi-agent systems
Pages 152-189
Panagiotis Kouvaros, Alessio Lomuscio

The co-occurrence test for non-monotonic inference
Pages 190-195
Sven Ove Hansson

Broken triangles: From value merging to a tractable class of general-arity constraint satisfaction problems
Pages 196-218
Martin C. Cooper, Aymeric Duchein, Achref El Mouelhi, Guillaume Escamocher, Cyril Terrioux, Bruno Zanuttini

Semi-equilibrium models for paracoherent answer set programs
Pages 219-271
Giovanni Amendola, Thomas Eiter, Michael Fink, Nicola Leone, João Moura

Volume 235, Pages 1-182 (June 2016) 

A formalization of programs in first-order logic with a discrete linear order
Pages 1-25
Fangzhen Lin

MaxSAT by improved instance-specific algorithm configuration
Pages 26-39
Carlos Ansótegui, Joel Gabàs, Yuri Malitsky, Meinolf Sellmann

Strategyproof matching with regional minimum and maximum quotas
Pages 40-57
Masahiro Goto, Atsushi Iwasaki, Yujiro Kawasaki, Ryoji Kurata, Yosuke Yasuda, Makoto Yokoo

The multifaceted impact of Ada Lovelace in the digital age
Pages 58-62
Luigia Carlucci Aiello

Belief and truth in hypothesised behaviours
Pages 63-94
Stefano V. Albrecht, Jacob W. Crandall, Subramanian Ramamoorthy

Tractable approximate deduction for OWL
Pages 95-155
Jeff Z. Pan, Yuan Ren, Yuting Zhao

e-NSP: Efficient negative sequential pattern mining
Pages 156-182
Longbing Cao, Xiangjun Dong, Zhigang Zheng

Volume 236, Pages 1-118 (July 2016) 

One-pass AUC optimization
Pages 1-29
Wei Gao, Lu Wang, Rong Jin, Shenghuo Zhu, Zhi-Hua Zhou

Domain-independent planning for services in uncertain and dynamic environments
Pages 30-64
Eirini Kaldeli, Alexander Lazovik, Marco Aiello

On abstract modular inference systems and solvers
Pages 65-89
Yuliya Lierler, Miroslaw Truszczynski

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
Pages 90-118
Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau

Volume 237, Pages 1-228 (August 2016) 

Algorithms for computing strategies in two-player simultaneous move games
Pages 1-40
Branislav Bošanský, Viliam Lisý, Marc Lanctot, Jiří Čermák, Mark H.M. Winands

ASlib: A benchmark library for algorithm selection
Pages 41-58
Bernd Bischl, Pascal Kerschke, Lars Kotthoff, Marius Lindauer, Yuri Malitsky, Alexandre Fréchette, Holger Hoos, Frank Hutter, Kevin Leyton-Brown, Kevin Tierney, Joaquin Vanschoren

POPPONENT: Highly accurate, individually and socially efficient opponent preference model in bilateral multi issue negotiations
Pages 59-91
Farhad Zafari, Faria Nassiri-Mofakham

The QBF Gallery: Behind the scenes
Pages 92-114
Florian Lonsing, Martina Seidl, Allen Van Gelder

Evaluating epistemic negation in answer set programming
Pages 115-135
Yi-Dong Shen, Thomas Eiter

Querying incomplete information in RDF with SPARQL
Pages 138-171
Charalampos Nikolaou, Manolis Koubarakis

Bounded situation calculus action theories
Pages 172-203
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi

Hierarchical conceptual spaces for concept combination
Pages 204-227
Martha Lewis, Jonathan Lawry

Volume 238, Pages 1-190 (September 2016)

A qualitative spatial representation of string loops as holes
Pages 1-10
Pedro Cabalar, Paulo E. Santos

Knowledge base exchange: The case of OWL 2 QL
Pages 11-62
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov

Robust multilingual Named Entity Recognition with shallow semi-supervised features
Pages 63-82
Rodrigo Agerri, German Rigau

Smooth sparse coding via marginal regression for learning sparse representations
Pages 83-95
Krishnakumar Balasubramanian, Kai Yu, Guy Lebanon

Making the right exceptions
Pages 96-118
Harald Bastiaanse, Frank Veltman

Generating SAT instances with community structure
Pages 119-134
Jesús Giráldez-Cru, Jordi Levy

Learning general constraints in CSP
Pages 135-153
Michael Veksler, Ofer Strichman

Volume 239, Pages 1-168 (October 2016) 

Algorithms and everyday life
Pages 1-6
Ernest Davis

Data repair of inconsistent nonmonotonic description logic programs
Pages 7-53
Thomas Eiter, Michael Fink, Daria Stepanova

Extracting qualitative relations from categorical data
Pages 54-69
Jure Žabkar, Ivan Bratko, Janez Demšar

Diffusion centrality: A paradigm to maximize spread in social networks
Pages 70-96
Chanhyun Kang, Sarit Kraus, Cristian Molinaro, Francesca Spezzano, V.S. Subrahmanian

Norm-based mechanism design
Pages 97-142
Nils Bulling, Mehdi Dastani

Building knowledge maps of Web graphs
Pages 143-167
Valeria Fionda, Claudio Gutierrez, Giuseppe Pirrò

Volume 240, Pages 1-104 (November 2016)

New local search methods for partial MaxSAT
Pages 1-18
Shaowei Cai, Chuan Luo, Jinkun Lin, Kaile Su

H-index manipulation by merging articles: Models, theory, and experiments
Pages 19-35
René van Bevern, Christian Komusiewicz, Rolf Niedermeier, Manuel Sorge, Toby Walsh

Nasari: Integrating explicit knowledge and corpus statistics for a multilingual representation of concepts and entities
Pages 36-64
José Camacho-Collados, Mohammad Taher Pilehvar, Roberto Navigli

Comparing human behavior models in repeated Stackelberg security games: An extended studyO
Pages 65-103
Debarun Kar, Fei Fang, Francesco M. Delle Fave, Nicole Sintov, Milind Tambe, Arnaud Lyet

Volume 241, Pages 1-284 (December 2016) 

Integrating social power into the decision-making of cognitive agents
Pages 1-44
Gonçalo Pereira, Rui Prada, Pedro A. Santos

SAT Race 2015
Pages 45-65
Tomáš Balyo, Armin Biere, Markus Iser, Carsten Sinz

MultiWiBi: The multilingual Wikipedia bitaxonomy project
Pages 66-102
Tiziano Flati, Daniele Vannella, Tommaso Pasini, Roberto Navigli

A synthesis of automated planning and reinforcement learning for efficient, robust decision-making
Pages 103-130
Matteo Leonetti, Luca Iocchi, Peter Stone

Online belief tracking using regression for contingent planning
Pages 131-152
Ronen I. Brafman, Guy Shani

Computing and restoring global inverse consistency in interactive constraint satisfaction
Pages 153-169
Christian Bessiere, Hélène Fargier, Christophe Lecoutre

A parametric propagator for pairs of Sum constraints with a discrete convexity property
Pages 170-190
Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener, Justin Pearson

Finding a collective set of items: From proportional multirepresentation to group recommendation
Pages 191-216
Piotr Skowron, Piotr Faliszewski, Jérôme Lang

Generalized mirror descents in congestion games
Pages 217-243
Po-An Chen, Chi-Jen Lu

On rejected arguments and implicit conflicts: The hidden power of argumentation semantics
Pages 244-284
Ringo Baumann, Wolfgang Dvořák, Thomas Linsbichler, Christof Spanring, Hannes Strass, Stefan Woltran

Volume 242, Pages 1-172 (January 2017)

Distributed fair allocation of indivisible goods
Pages 1-22
Yann Chevaleyre, Ulle Endriss, Nicolas Maudet

A model of language learning with semantics and meaning-preserving corrections
Pages 23-51
Dana Angluin, Leonor Becerra-Bonache

Efficient symbolic search for cost-optimal planning
Pages 52-79
Álvaro Torralba, Vidal Alcázar, Peter Kissmann, Stefan Edelkamp

Arbitrary arrow update logic
Pages 80-106
Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer

An approach to decision making based on dynamic argumentation systems
Pages 107-131
Edgardo Ferretti, Luciano H. Tamargo, Alejandro J. García, Marcelo L. Errecalde, Guillermo R. Simari

Making friends on the fly: Cooperating with new teammates
Pages 132-171
Samuel Barrett, Avi Rosenfeld, Sarit Kraus, Peter Stone

Volume 243, Pages 1-56 (February 2017)

The Configurable SAT Solver Challenge (CSSC)
Pages 1-25
Frank Hutter, Marius Lindauer, Adrian Balint, Sam Bayless, Holger Hoos, Kevin Leyton-Brown

CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability
Pages 26-44
Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang

Query efficient posterior estimation in scientific experiments via Bayesian active learning
Pages 45-56
Kirthevasan Kandasamy, Jeff Schneider, Barnabás Póczos

Volume 244, Pages 1-396 (March 2017)

Introduction to the special issue on Combining Constraint Solving with Mining and Learning
Pages 1-5
Andrea Passerini, Guido Tack, Tias Guns

MiningZinc: A declarative framework for constraint-based mining
Pages 6-29
Tias Guns, Anton Dries, Siegfried Nijssen, Guido Tack, Luc De Raedt

Skypattern mining: From pattern condensed representations to dynamic constraint satisfaction problems
Pages 48-69
Willy Ugarte, Patrice Boizumault, Bruno Crémilleux, Alban Lepailleur, Samir Loudni, Marc Plantevit, Chedy Raïssi, Arnaud Soulet

Constrained clustering by constraint programming
Pages 70-94
Thi-Bich-Hanh Dao, Khanh-Chuong Duong, Christel Vrain

A flexible ILP formulation for hierarchical clustering
Pages 95-109
Sean Gilpin, Ian Davidson

Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability
Pages 110-142
Jeremias Berg, Matti Järvisalo

Semantic-based regularization for learning and inference
Pages 143-165
Michelangelo Diligenti, Marco Gori, Claudio Saccà

Structured learning modulo theories
Pages 166-187
Stefano Teso, Roberto Sebastiani, Andrea Passerini

Relational linear programming
Pages 188-216
Kristian Kersting, Martin Mladenov, Pavel Tokmakov

Learning an efficient constructive sampler for graphs
Pages 217-238
Fabrizio Costa

Learning Bayesian network parameters under equivalence constraints
Pages 239-257
Tiansheng Yao, Arthur Choi, Adnan Darwiche

Integer Linear Programming for the Bayesian network structure learning problem
Pages 258-271
Mark Bartlett, James Cussens

Automatic construction of parallel portfolios via algorithm configuration
Pages 272-290
Marius Lindauer, Holger Hoos, Kevin Leyton-Brown, Torsten Schaub

Alors: An algorithm recommender system
Pages 291-314
Mustafa Mısır, Michèle Sebag

Constraint acquisition
Pages 315-342
Christian Bessiere, Frédéric Koriche, Nadjib Lazaar, Barry O’Sullivan

Empirical decision model learning
Pages 343-367
Michele Lombardi, Michela Milano, Andrea Bartolini
Abstract Purchase PDF – $35.95
Not entitled to full text

Auction optimization using regression trees and linear models as integer programs
Pages 368-395
Sicco Verwer, Yingqian Zhang, Qing Chuan Ye

Volume 245, April 2017

State space search nogood learning: Online refinement of critical-path dead-end detectors in planning
Pages 1-37
Marcel Steinmetz, Jörg Hoffmann

A unified framework of active transfer learning for cross-system recommendation
Pages 38-55
Lili Zhao, Sinno Jialin Pan, Qiang Yang

The virtues of idleness: A decidable fragment of resource agent logic
Pages 56-85
Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen

Graph aggregation
Pages 86-114
Ulle Endriss, Umberto Grandi

An initial study of time complexity in infinite-domain constraint satisfaction
Pages 115-133
Peter Jonsson, Victor Lagerkvist

Robust planning with incomplete domain models
Pages 134-161
Tuan Nguyen, Sarath Sreedharan, Subbarao Kambhampati

Volume 246, May 2017

Model-lite planning: Case-based vs. model-based approaches
Pages 1-21
Hankz Hankui Zhuo, Subbarao Kambhampati

Infinitary equilibrium logic and strongly equivalent logic programs
Pages 22-33
Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde

Human–computer negotiation in a three player market setting
Pages 34-52
Galit Haim, Ya’akov (Kobi) Gal, Bo An, Sarit Kraus

Hierarchical semi-Markov conditional random fields for deep recursive sequential data
Pages 53-85
Truyen Tran, Dinh Phung, Hung Bui, Svetha Venkatesh

A cooperative game-theoretic approach to the social ridesharing problem
Pages 86-117
Filippo Bistaffa, Alessandro Farinelli, Georgios Chalkiadakis, Sarvapali D. Ramchurn

Localising iceberg inconsistencies
Pages 118-151
Glauber De Bona, Anthony Hunter

Incremental elicitation of Choquet capacities for multicriteria choice, ranking and sorting problems
Pages 152-180
Nawal Benabbou, Patrice Perny, Paolo Viappiani

Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
Pages 181-219
Alison Pease, John Lawrence, Katarzyna Budzynska, Joseph Corneli, Chris Reed

Adversarial patrolling with spatially uncertain alarm signals
Pages 220-257
Nicola Basilico, Giuseppe De Nittis, Nicola Gatti

Special Issue on AI and Robotics
Edited by Kanna Rajan, Alessandro Saffiotti

Volume 247, June 2017

Towards a science of integrated AI and Robotics
Pages 1-9
Kanna Rajan, Alessandro Saffiotti, Félix Ingrand, Malik Ghallab

Artificial cognition for social human–robot interaction: An implementation
Pages 45-69
Séverin Lemaignan, Mathieu Warnier, E. Akin Sisbot, Aurélie Clodic, Rachid Alami

Scalable transfer learning in heterogeneous, dynamic environments
Pages 70-94
Trung Thanh Nguyen, Tomi Silander, Zhuoru Li, Tze-Yun Leong

Transferring skills to humanoid robots by extracting semantic representations from observations of human activities
Pages 95-118
Karinne Ramirez-Amaro, Michael Beetz, Gordon Cheng

Robot task planning and explanation in open and uncertain worlds
Pages 119-150
Marc Hanheide, Moritz Göbelbecker, Graham S. Horn, Andrzej Pronobis, … Jeremy L. Wyatt

Representations for robot knowledge in the KnowRob framework
Pages 151-169
Moritz Tenorth, Michael Beetz

Intrinsically motivated model learning for developing curious robots
Pages 170-186
Todd Hester, Peter Stone

Efficient interactive decision-making framework for robotic applications
Pages 187-212
Alejandro Agostini, Carme Torras, Florentin Wörgötter

Robotic manipulation of multiple objects as a POMDP
Pages 213-228
Joni Pajarinen, Ville Kyrki

Geometric backtracking for combined task and motion planning in robotic systems
Pages 229-265
Julien Bidot, Lars Karlsson, Fabien Lagriffoul, Alessandro Saffiotti

Temporally and spatially flexible plan execution for dynamic hybrid systems
Pages 266-294
Andreas G. Hofmann, Brian C. Williams

Relational reinforcement learning with guided demonstrations
Pages 295-312
David Martínez, Guillem Alenyà, Carme Torras

Continual curiosity-driven skill acquisition from high-dimensional video inputs for humanoid robots
Pages 313-335
Varun Raj Kompella, Marijn Stollenga, Matthew Luciw, Juergen Schmidhuber

Model-based furniture recognition for building semantic object maps
Pages 336-351
Martin Günther, Thomas Wiemann, Sven Albrecht, Joachim Hertzberg

Envisioning the qualitative effects of robot manipulation actions using simulation-based projections
Pages 352-380
Lars Kunze, Michael Beetz

Automated aerial suspended cargo delivery through reinforcement learning
Pages 381-398
Aleksandra Faust, Ivana Palunko, Patricio Cruz, Rafael Fierro, Lydia Tapia

Anticipatory action selection for human–robot table tennis
Pages 399-414
Zhikun Wang, Abdeslam Boularias, Katharina Mülling, Bernhard Schölkopf, Jan Peters

Model-based contextual policy search for data-efficient generalization of robot skills
Pages 415-439
Andras Kupcsik, Marc Peter Deisenroth, Jan Peters, Ai Poh Loh, … Gerhard Neumann

Volume 248, July 2017

Characterizing causal action theories and their implementations in answer set programming
Pages 1-8
Haodi Zhang, Fangzhen Lin

Efficiency and complexity of price competition among single-product vendors
Pages 9-25
Ioannis Caragiannis, Xenophon Chatzigeorgiou, Panagiotis Kanellopoulos, George A. Krimpas, … Alexandros A. Voudouris

How many diagnoses do we need?
Pages 26-45
Roni Stern, Meir Kalech, Shelly Rogov, Alexander Feldman

Commonsense reasoning about containers using radically incomplete information
Pages 46-84
Ernest Davis, Gary Marcus, Noah Frazier-Logue

On the logical properties of the nonmonotonic description logic
Pages 85-111
P.A. Bonatti, L. Sauro

On the complexity of the partner units decision problem
Pages 112-122
Erich Christian Teppan

From model checking to equilibrium checking: Reactive modules for rational verification
Pages 123-157
Julian Gutierrez, Paul Harrenstein, Michael Wooldridge

Volume 249, August 2017

Pages 1-18
B. Desrochers, L. Jaulin

Constrained coalition formation on valuation structures: Formal framework, applications, and islands of tractability
Pages 19-46
Gianluigi Greco, Antonella Guzzo

Strategy-proof school choice mechanisms with minimum quotas and initial endowments
Pages 47-71
Naoto Hamada, Chia-Ling Hsu, Ryoji Kurata, Takamasa Suzuki, … Makoto Yokoo

Volume 250, September 2017

Low-rank decomposition meets kernel learning: A generalized Nyström method
Pages 1-15
Liang Lan, Kai Zhang, Hancheng Ge, Wei Cheng, … Hongyuan Zha

Discovering visual concept structure with sparse and incomplete tags
Pages 16-36
Jingya Wang, Xiatian Zhu, Shaogang Gong

WPM3: An (in)complete algorithm for weighted partial MaxSAT
Pages 37-57
Carlos Ansótegui, Joel Gabàs

A progression semantics for first-order logic programs
Pages 58-79
Yi Zhou, Yan Zhang

Understanding the complexity of axiom pinpointing in lightweight description logics
Pages 80-104
Rafael Peñaloza, Barış Sertkaya

Latent tree models for hierarchical topic detection
Pages 105-124
Peixian Chen, Nevin L. Zhang, Tengfei Liu, Leonard K.M. Poon, … Farhan Khawar

Volume 251, October 2017

Impossibility in belief merging
Pages 1-34
Amílcar Mata Díaz, Ramón Pino Pérez

Automatically improving constraint models in Savile Row
Pages 35-61
Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, … Patrick Spracklen

Belief revision and projection in the epistemic situation calculus
Pages 62-97
Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco

Volume 252, November 2017

Resolving distributed knowledge
Pages 1-21
Thomas Ågotnes, Yì N. Wáng

Minimal sets on propositional formulae. Problems and reductions
Pages 22-50
Joao Marques-Silva, Mikoláš Janota, Carlos Mencía

Towards breaking more composition symmetries in partial symmetry breaking
Pages 51-82
Jimmy H.M. Lee, Zichen Zhu

Forward bounding on pseudo-trees for DCOPs and ADCOPs
Pages 83-99
Omer Litov, Amnon Meisels

Iterative voting and acyclic games
Pages 100-122
Reshef Meir, Maria Polukarov, Jeffrey S. Rosenschein, Nicholas R. Jennings

Three-valued semantics for hybrid MKNF knowledge bases revisited
Pages 123-138
Fangfang Liu, Jia-Huai You

Generalized possibilistic logic: Foundations and applications to qualitative reasoning about uncertainty
Pages 139-174
Didier Dubois, Henri Prade, Steven Schockaert

The MADLA planner: Multi-agent planning by combination of distributed and local heuristic search
Pages 175-210
Michal Štolba, Antonín Komenda

Intelligent agent supporting human–multi-robot team collaboration
Pages 211-231
Ariel Rosenfeld, Noa Agmon, Oleg Maksimov, Sarit Kraus

MM: A bidirectional search algorithm that is guaranteed to meet in the middle
Pages 232-266
Robert C. Holte, Ariel Felner, Guni Sharon, Nathan R. Sturtevant, Jingwei Che

The first international competition on computational models of argumentation: Results and analysis
Pages 267-294
Matthias Thimm, Serena Villata

Volume 253, December 2017

Distributed First Order Logic
Pages 1-39
Chiara Ghidini, Luciano Serafini

Volume 254, January 2018

Taking account of the actions of others in value-based reasoning
Pages 1-20
Katie Atkinson, Trevor Bench-Capon

Overlapping layered learning
Pages 21-43
Patrick MacAlpine, Peter Stone

A quality assuring, cost optimal multi-armed bandit mechanism for expertsourcing
Pages 44-63
Shweta Jain, Sujit Gujar, Satyanath Bhat, Onno Zoeter, Y. Narahari

Volume 255, February 2018

Fundamental properties of attack relations in structured argumentation with priorities
Pages 1-42
Phan Minh Dung, Phan Minh Thang

Fixpoint semantics for active integrity constraints
Pages 43-70
Bart Bogaerts, Luís Cruz-Filipe

Volume 256, March 2018

Strong temporal planning with uncontrollable durations
Pages 1-34
Alessandro Cimatti, Minh Do, Andrea Micheli, Marco Roveri, David E. Smith

Implicit, explicit and speculative knowledge
Pages 35-67
Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yì N. Wáng

Reactive multi-context systems: Heterogeneous reasoning in dynamic environments
Pages 68-104
Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, Jörg Pührer

A computational framework for conceptual blending
Pages 105-129
Manfred Eppe, Ewen Maclean, Roberto Confalonieri, Oliver Kutz, … Kai-Uwe Kühnberger

Decentralized Reinforcement Learning of Robot Behaviors
Pages 130-159
David L. Leottau, Javier Ruiz-del-Solar, Robert Babuška

Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
Pages 160-180
Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot

Rational deployment of multiple heuristics in optimal state-space search
Pages 181-210
Erez Karpas, Oded Betzalel, Solomon Eyal Shimony, David Tolpin, Ariel Felner

Volume 257, Pages 1-208 (April 2018)

Constants and finite unary relations in qualitative constraint reasoning
Peter Jonsson P
ages 1-23

Star-topology decoupled state space search
Daniel Gnad, Jörg Hoffmann
Pages 24-60

The complexity landscape of decompositional parameters for ILP
Robert Ganian, Sebastian Ordyniak
Pages 61-71

Enhancing context knowledge repositories with justifiable exceptions
Loris Bozzato, Thomas Eiter, Luciano Serafini
Pages 72-126

Parallelizing SMT solving: Lazy decomposition and conciliation
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
Pages 127-157

A general semi-structured formalism for computational argumentation: Definition, properties, and examples of application
Pietro Baroni, Massimiliano Giacomin, Beishui Liao
Pages 158-207

Volume 258, Pages 1-96 (May 2018)

Extracting mutual exclusion invariants from lifted temporal planning domains
Sara Bernardini, Fabio Fagnani, David E. Smith
Pages 1-65

Autonomous agents modelling other agents: A comprehensive survey and open problems
Stefano V. Albrecht, Peter Stone
Pages 66-95

Volume 259, Pages 1-246 (June 2018)

Symbolic perimeter abstraction heuristics for cost-optimal planning
Álvaro Torralba, Carlos Linares López, Daniel Borrajo
Pages 1-31

Optimal defense against election control by deleting voter groups
Yue Yin, Yevgeniy Vorobeychik, Bo An, Noam Hazon
Pages 32-51

Measuring inconsistency with constraints for propositional knowledge bases
Kedian Mu
Pages 52-90

Arguing about informant credibility in open multi-agent systems
Sebastian Gottifredi, Luciano H. Tamargo, Alejandro J. García, Guillermo R. Simari
Pages 91-109

The complexity and generality of learning answer set programs
Mark Law, Alessandra Russo, Krysia Broda
Pages 110-146

Predicting citywide crowd flows using deep spatio-temporal residual networks
Junbo Zhang, Yu Zheng, Dekang Qi, Ruiyuan Li, Tianrui Li
Pages 147-166

Safe inductions and their applications in knowledge representation
Bart Bogaerts, Joost Vennekens, Marc Denecker
Pages 167-185

Shielded base contraction
Marco Garapa, Eduardo Fermé, Maurício D.L. Reis
Pages 186-216

Forming k coalitions and facilitating relationships in social networks
Liat Sless, Noam Hazon, Sarit Kraus, Michael Wooldridge
Pages 217-245

Volume 260, Pages 1-74 (July 2018)

Learning in the machine: Random backpropagation and the deep learning channel
Pierre Baldi, Peter Sadowski, Zhiqin Lu
Pages 1-35

Entropy-based pruning for learning Bayesian networks using BIC
Cassio P. de Campos, Mauro Scanagatta, Giorgio Corani, Marco Zaffalon
Pages 42-50

Sequential plan recognition: An iterative approach to disambiguating between hypotheses
Reuth Mirsky, Roni Stern, Kobi Gal, Meir Kalech
Pages 51-73

Volume 261 Pages 1-112 (August 2018)

The complexity of decision problems about equilibria in two-player Boolean games
Egor Ianovski, Luke Ong
Pages 1-15

LARS: A Logic-based framework for Analytic Reasoning over Streams
Harald Beck, Minh Dao-Tran, Thomas Eiter
Pages 16-70

Online spatio-temporal matching in stochastic and dynamic domains
Meghna Lowalekar, Pradeep Varakantham, Patrick Jaillet
Pages 71-112

Volume 262 Pages 1-368 (September 2018)

Fixing balanced knockout and double elimination tournaments
Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, … Toby Walsh
Pages 1-14

Classical logic, argument and dialectic
M. D’Agostino, S. Modgil
Pages 15-51

Logical foundations of information disclosure in ontology-based data integration
Michael Benedikt, Bernardo Cuenca Grau, Egor V. Kostylev
Pages 52-95

The complexity of Bayesian networks specified by propositional and relational languages
Fabio G. Cozman, Denis D. Mauá
Pages 96-141

Incentive-based search for efficient equilibria of the public goods game
Vadim Levit, Zohar Komarovsky, Tal Grinshpoun, Amnon Meisels
Pages 142-162

On the adoption of abductive reasoning for time series interpretation
T. Teijeiro, P. Félix
Pages 163-188

Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
Vaishak Belle, Hector J. Levesque
Pages 189-221

Dynamics in matching and coalition formation games with structural constraints
Martin Hoefer, Daniel Vaz, Lisa Wagner
Pages 222-247

Algorithms for electric vehicle scheduling in large-scale mobility-on-demand schemes
Emmanouil S. Rigas, Sarvapali D. Ramchurn, Nick Bassiliades
Pages 248-278

On the responsibility for undecisiveness in preferred and stable labellings in abstract argumentation
Claudia Schulz, Francesca Toni
Pages 301-335

Characterizing acceptability semantics of argumentation frameworks with recursive attack and support relations
Sebastian Gottifredi, Andrea Cohen, Alejandro J. García, Guillermo R. Simari
Pages 336-368

Volume 263 Pages 1-110 (October 2018)

Second-order propositional modal logic: Expressiveness and completeness results
Francesco Belardinelli, Wiebe van der Hoek, Louwe B. Kuijer
Pages 3-45

Multi-robot inverse reinforcement learning under occlusion with estimation of state transitions
Kenneth Bogert, Prashant Doshi
Pages 46-73

Multi-attribute proportional representation
Jérôme Lang, Piotr Skowron
Pages 74-106

Volume 264 Pages 1-52 (November 2018)

Verification in incomplete argumentation frameworks
Dorothea Baumeister, Daniel Neugebauer, Jörg Rothe, Hilmar Schadrack
Pages 1-26

Approximating optimal social choice under metric preferences
Elliot Anshelevich, Onkar Bhardwaj, Edith Elkind, John Postl, Piotr Skowron
Pages 27-51

Volume 265 Pages 1-66 (December 2018)

Memory networks for fine-grained opinion mining
Wenya Wang, Sinno Jialin Pan, Daniel Dahlmeier
Pages 1-17

Voting on multi-issue domains with conditionally lexicographic preferences
Jérôme Lang, Jérôme Mengin, Lirong Xia
Pages 18-44

Encoding implicit relation requirements for relation extraction: A joint inference approach
Liwei Chen, Yansong Feng, Songfang Huang, Bingfeng Luo, Dongyan Zhao
Pages 45-66

Volume 266 Pages 1-80 (January 2019)

On coarser interval temporal logics
Emilio Muñoz-Velasco, Mercedes Pelegrín, Pietro Sala, Guido Sciavicco, Ionel Eduard Stan
Pages 1-26

Privacy preserving region optimal algorithms for symmetric and asymmetric DCOPs
Tal Grinshpoun, Tamir Tassa, Vadim Levit, Roie Zivan
Pages 27-50

Forgetting in multi-agent modal logics
Liangda Fang, Yongmei Liu, Hans van Ditmarsch
Pages 51-80

Volume 267 Pages 1-118 (February 2019)

Probably bounded suboptimal heuristic search
Roni Stern, Gal Dreiman, Richard Valenzano
Pages 39-57

Optimizing positional scoring rules for rank aggregation
Ioannis Caragiannis, Xenophon Chatzigeorgiou, George A. Krimpas, Alexandros A. Voudouris
Pages 58-77

Strong inconsistency
Gerhard Brewka, Matthias Thimm, Markus Ulbricht
Pages 78-117

Volume 268 Pages 1-114 (March 2019)

Complexity of fundamental problems in probabilistic abstract argumentation: Beyond independence
Bettina Fazzinga, Sergio Flesca, Filippo Furfaro
Pages 1-29

Supervised heterogeneous feature transfer via random forests
Sanatan Sukhija, Narayanan C. Krishnan
Pages 30-53

A dynamic epistemic framework for reasoning about conformant probabilistic plans
Yanjun Li, Barteld Kooi, Yanjing Wang
Pages 54-84

Language independent sequence labelling for Opinion Target Extraction
Rodrigo Agerri, German Rigau
Pages 85-95

Computing a small agreeable set of indivisible items
Pasin Manurangsi, Warut Suksompong
Pages 96-114

Volume 269, Pages 1-136 (April 2019)

On social envy-freeness in multi-unit markets
Michele Flammini, Manuel Mauro, Matteo Tonelli
Pages 1-26

Preservation of semantic properties in collective argumentation: The case of aggregating abstract argumentation frameworks
Weiwei Chen, Ulle Endriss
Pages 27-48

Backdoors to planning
Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler
Pages 49-75

Maintenance of datalog materialisations revisited
Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks
Pages 76-136

Volume 270, Pages 1-92 (May 2019)

Separators and adjustment sets in causal graphs: Complete criteria and an algorithmic framework
Benito van der Zander, Maciej Liśkiewicz, Johannes Textor
Pages 1-40

Spatiotemporal recursive hyperspheric classification with an application to dynamic gesture recognition
Salyer B. Reed, Tyson R.C. Reed, Sergiu M. Dascalu
Pages 41-66

Unsupervised human activity analysis for intelligent mobile robots
Paul Duckworth, David C. Hogg, Anthony G. Cohn
Pages 67-92

Volume 271, Pages 1-98 (June 2019)

Complexity bounds for the controllability of temporal networks with conditions, disjunctions, and uncertainty
Nikhil Bhargava, Brian C. Williams
Pages 1-17

Item response theory in AI: Analysing machine learning classifiers at the instance level
Fernando Martínez-Plumed, Ricardo B.C. Prudêncio, Adolfo Martínez-Usó, José Hernández-Orallo
Pages 18-42

Cooperative hierarchical Dirichlet processes: Superposition vs. maximization
Junyu Xuan, Jie Lu, Guangquan Zhang
Pages 43-73

Cooperative games with overlapping coalitions: Charting the tractability frontier
Yair Zick, Georgios Chalkiadakis, Edith Elkind, Evangelos Markakis
Pages 74-97

Volume 272, Pages 1-142 (July 2019)

Query inseparability for ALC ontologies
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Pages 1-51

Computing programs for generalized planning using a classical planner
Javier Segovia-Aguas, Sergio Jiménez, Anders Jonsson
Pages 52-85

The algorithm selection competitions 2015 and 2017
Marius Lindauer, Jan N. van Rijn, Lars Kotthoff
Pages 86-100

Complexity results for preference aggregation over (m)CP-nets: Pareto and majority voting
Thomas Lukasiewicz, Enrico Malizia
Pages 101-142

Volume 273, Pages 1-94 (August 2019)

Ridesharing car detection by transfer learning
Leye Wang, Xu Geng, Xiaojuan Ma, Daqing Zhang, Qiang Yang
Pages 1-18

Rendezvous in planar environments with obstacles and unknown initial distance
Deniz Ozsoyeller, Andrew Beveridge, Volkan Isler
Pages 19-36

Clustering ensemble based on sample’s stability
Feijiang Li, Yuhua Qian, Jieting Wang, Chuangyin Dang, Liping Jing
Pages 37-55

First-order stable model semantics with intensional functions
Michael Bartholomew, Joohyung Lee
Pages 56-93

Volume 274, Pages 1-248 (September 2019)

Multi-robot adversarial patrolling: Handling sequential attacks
Efrat Sless Lin, Noa Agmon, Sarit Kraus
Pages 1-25

Gelfond–Zhang aggregates as propositional formulas
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn
Pages 26-43

Distributional semantics of objects in visual scenes in comparison to text
Timo Lüddecke, Alejandro Agostini, Michael Fauth, Minija Tamosiunaite, Florentin Wörgötter
Pages 44-65

Learning tractable Bayesian networks in the space of elimination orders
Marco Benjumeda, Concha Bielza, Pedro Larrañaga
Pages 66-90

Foundations of ontology-based data access under bag semantics
Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, … Ian Horrocks
Pages 91-132

Toward any-language zero-shot topic classification of textual documents
Yangqiu Song, Shyam Upadhyay, Haoruo Peng, Stephen Mayhew, Dan Roth
Pages 133-150

Attachment centrality: Measure for connectivity in networks
Oskar Skibski, Talal Rahwan, Tomasz P. Michalak, Makoto Yokoo
Pages 151-179

Artificial immune systems can find arbitrarily good approximations for the NP-hard number partitioning problem
Dogan Corus, Pietro S. Oliveto, Donya Yazdani
Pages 180-196

Rational closure for all description logics
P.A. Bonatti
Pages 197-223

The 2016 and 2017 QBF solvers evaluations (QBFEVAL’16 and QBFEVAL’17)
Luca Pulina, Martina Seidl
Pages 224-248

Volume 275, Pages 1-638 (October 2019)

Advanced SMT techniques for weighted model integration
Paolo Morettin, Andrea Passerini, Roberto Sebastiani
Pages 1-27

Vicious circle principle, aggregates, and formation of sets in ASP based languages
Michael Gelfond, Yuanlin Zhang
Pages 28-77

Belief base contraction by belief accrual
Cristhian A.D. Deagustini, M. Vanina Martinez, Marcelo A. Falappa, Guillermo R. Simari
Pages 78-103

Learning action models with minimal observability
Diego Aineto, Sergio Jiménez Celorrio, Eva Onaindia
Pages 104-137

On the graded acceptability of arguments in abstract and instantiated argumentation
Davide Grossi, Sanjay Modgil
Pages 138-173

Empathetic decision making in social networks
Amirali Salehi-Abari, Craig Boutilier, Kate Larson
Pages 174-203

Personalized change awareness: Reducing information overload in loosely-coupled teamwork
Ofra Amir, Barbara J. Grosz, Krzysztof Z. Gajos, Limor Gultchin
Pages 204-233

Corrigendum to “Sequential plan recognition: An iterative approach to disambiguating between hypotheses” [Artif. Intell. 260 (2018) 51–73]
Reuth Mirsky, Roni Stern, Kobi Gal, Meir Kalech
Page 234

Optimizing group learning: An evolutionary computing approach
Igor Douven
Pages 235-251

Lukasiewicz logics for cooperative games
Enrico Marchioni, Michael Wooldridge
Pages 252-278

Maximizing submodular or monotone approximately submodular functions by multi-objective evolutionary algorithms
Chao Qian, Yang Yu, Ke Tang, Xin Yao, Zhi-Hua Zhou
Pages 279-294

Strategyproof peer selection using randomization, partitioning, and apportionment
Haris Aziz, Omer Lev, Nicholas Mattei, Jeffrey S. Rosenschein, Toby Walsh
Pages 295-309

A deep learning framework for Hybrid Heterogeneous Transfer Learning
Joey Tianyi Zhou, Sinno Jialin Pan, Ivor W. Tsang
Pages 310-328

Estimating the probability of meeting a deadline in schedules and plans
Liat Cohen, Solomon Eyal Shimony, Gera Weiss
Pages 329-355

On the efficiency of data collection for multiple Naïve Bayes classifiers
Edoardo Manino, Long Tran-Thanh, Nicholas R. Jennings
Pages 356-378

A general notion of equivalence for abstract argumentation
Ringo Baumann, Wolfgang Dvořák, Thomas Linsbichler, Stefan Woltran
Pages 379-410

On the complexity of inconsistency measurement
Matthias Thimm, Johannes P. Wallner
Pages 411-456

The logic of qualitative probability
James P. Delgrande, Bryan Renne, Joshua Sack
Pages 457-486

Analogy between concepts
N. Barbot, L. Miclet, H. Prade
Pages 487-539

Automatic generation of sentimental texts via mixture adversarial networks
K. Wang, X. Wan
Pages 540-558

Faster shift-reduce constituent parsing with a non-binary, bottom-up strategy
Daniel Fernández-González, Carlos Gómez-Rodríguez
Pages 559-574

Forgetting auxiliary atoms in forks
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, … Concepción Vidal
Pages 575-601

Syntax-aware entity representations for neural relation extraction
Zhengqiu He, Wenliang Chen, Zhenghua Li, Wei Zhang, … Min Zhang
Pages 602-617

Incentivizing evaluation with peer prediction and limited access to ground truth
Xi Alice Gao, James R. Wright, Kevin Leyton-Brown
Pages 618-638

Volume 276, Pages 1-130 (November 2019)

How we designed winning algorithms for abstract argumentation and which insight we attained
Federico Cerutti, Massimiliano Giacomin, Mauro Vallati
Pages 1-40

Pareto optimal allocation under uncertain preferences: uncertainty models, algorithms, and complexity
Haris Aziz, Péter Biró, Ronald de Haan, Baharak Rastegari
Pages 57-78

Distributed monitoring of election winners
Arnold Filtser, Nimrod Talmon
Pages 79-104

A set of new multi- and many-objective test problems for continuous optimization and a comprehensive experimental evaluation
Yuren Zhou, Xiaoyu He, Yi Xiang, Shaowei Cai
Pages 105-129

Knowing-how under uncertainty
Pavel Naumov, Jia Tao
Pages 41-56

Volume 277, December 2019

Determining inference semantics for disjunctive logic programs
Yi-Dong Shen, Thomas Eiter
Article 103165

Democratic fair allocation of indivisible goods
Erel Segal-Halevi, Warut Suksompong
Article 103167

Exploiting reverse target-side contexts for neural machine translation via asynchronous bidirectional decoding
Jinsong Su, Xiangwen Zhang, Qian Lin, Yue Qin, … Yang Liu
Article 103168

Coevolutionary systems and PageRank
S.Y. Chong, P. Tiňo, J. He
Article 103164

Optimal cruiser-drone traffic enforcement under energy limitation
Ariel Rosenfeld, Oleg Maksimov
Article 103166

Natural strategic ability
Wojciech Jamroga, Vadim Malvone, Aniello Murano
Article 103170

Approximate verification of strategic abilities under imperfect information
Wojciech Jamroga, Michał Knapik, Damian Kurpiewski, Łukasz Mikulski
Article 103172

Job sequencing with one common and multiple secondary resources: An A⁎/Beam Search based anytime algorithm
Matthias Horn, Günther Raidl, Christian Blum
Article 103173

From iterated revision to iterated contraction: Extending the Harper Identity
Richard Booth, Jake Chandler
Article 103171

Proving semantic properties as first-order satisfiability
Salvador Lucas
Article 103174

Representation learning with extreme learning machines and empirical mode decomposition for wind speed forecasting methods
Hao-Fan Yang, Yi-Ping Phoebe Chen
Article 103176

Leadership in singleton congestion games: What is hard and what is easy
Matteo Castiglioni, Alberto Marchesi, Nicola Gatti, Stefano Coniglio
Article 103177

On rational entailment for Propositional Typicality Logic
Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
Article 103178

Volume 278, January 2020

Coalitional games induced by matching problems: Complexity and islands of tractability for the Shapley value
Gianluigi Greco, Francesco Lupia, Francesco Scarcello
Article 103180

The complexity of exact learning of acyclic conditional preference networks from swap examples
Eisa Alanazi, Malek Mouhoub, Sandra Zilles
Article 103182

Reordering all agents in asynchronous backtracking for distributed constraint satisfaction problems
Younes Mechqrane, Mohamed Wahbi, Christian Bessiere, Kenneth N. Brown
Article 103169

Gradient conjugate priors and multi-layer neural networks
Pavel Gurevich, Hannes Stuke
Article 103184

Computing AES related-key differential characteristics with constraint programming
David Gerault, Pascal Lafourcade, Marine Minier, Christine Solnon
Article 103183

Artificial systems with moral capacities? A research design and its implementation in a geriatric care system
Catrin Misselhorn
Article 103179

Grounded language interpretation of robotic commands through structured learning
Andrea Vanzo, Danilo Croce, Emanuele Bastianelli, Roberto Basili, Daniele Nardi
Article 103181

Variable neighborhood search for graphical model energy minimization
Abdelkader Ouali, David Allouche, Simon de Givry, Samir Loudni, … Patrice Boizumault
Article 103194

Realizability of three-valued semantics for abstract dialectical frameworks
Jörg Pührer
Article 103198

Representing and planning with interacting actions and privacy
Shashank Shekhar, Ronen I. Brafman
Article 103200

Scalable constraint-based virtual data center allocation
Sam Bayless, Nodir Kodirov, Syed M. Iqbal, Ivan Beschastnikh, … Alan J. Hu
Article 103196

Algorithms for estimating the partition function of restricted Boltzmann machines

Oswin Krause, Asja Fischer, Christian Igel

Article 103195

Volume 279, February 2020

Mind the gaps: Assuring the safety of autonomous systems from an engineering, ethical, and legal perspective
Simon Burton, Ibrahim Habli, Tom Lawton, John McDermid, … Zoe Porter
Article 103201

Recursively modeling other agents for decision making: A research perspective
Prashant Doshi, Piotr Gmytrasiewicz, Edmund Durfee
Article 103202

Clause vivification by unit propagation in CDCL SAT solvers
Chu-Min Li, Fan Xiao, Mao Luo, Felip Manyà, … Yu Li
Article 103197

New models for generating hard random boolean formulas and disjunctive logic programs
Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski
Article 103185

Preference elicitation and robust winner determination for single- and multi-winner social choice
Tyler Lu, Craig Boutilier
Article 103203

Train-O-Matic: Supervised Word Sense Disambiguation with no (manual) effort
Tommaso Pasini, Roberto Navigli
Article 103215

Design and results of the Second International Competition on Computational Models of Argumentation
Sarah A. Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Article 103193

Governing convergence of Max-sum on DCOPs through damping and splitting
Liel Cohen, Rotem Galiki, Roie Zivan
Article 103212

Landmark-based approaches for goal recognition as planning
Ramon Fraga Pereira, Nir Oren, Felipe Meneguzzi
Article 103217

Volume 280, March 2020

The Hanabi challenge: A new frontier for AI research
Nolan Bard, Jakob N. Foerster, Sarath Chandar, Neil Burch, … Michael Bowling
Article 103216

When autonomous agents model other agents: An appeal for altered judgment coupled with mouths, ears, and a little more tape
Jacob W. Crandall
Article 103219

Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Šimkus
Article 103220

The computational complexity of Angry Birds
Matthew Stephenson, Jochen Renz, Xiaoyu Ge
Article 103232

Reasoning about uncertain parameters and agent behaviors through encoded experiences and belief planning
Akinobu Hayashi, Dirk Ruiken, Tadaaki Hasegawa, Christian Goerick
Article 103228

SCCWalk: An efficient local search algorithm and its improvements for maximum weight clique problem
Yiyuan Wang, Shaowei Cai, Jiejiang Chen, Minghao Yin
Article 103230

Volume 281, April 2020

Definability for model counting
Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis
Article 103229

Synchronous bidirectional inference for neural sequence generation
Jiajun Zhang, Long Zhou, Yang Zhao, Chengqing Zong
Article 103234

Story embedding: Learning distributed representations of stories based on character networks
O-Joun Lee, Jason J. Jung
Article 103235

Epistemic graphs for representing and reasoning with positive and negative influences of arguments
Anthony Hunter, Sylwia Polberg, Matthias Thimm
Article 103236

Ethical approaches and autonomous systems
T.J.M. Bench-Capon
Article 103239

Regression and progression in stochastic domains
Vaishak Belle, Hector J. Levesque
Article 103247

Volume 282, May 2020

Rethinking epistemic logic with belief bases
Emiliano Lorini
Article 103233

Robust learning with imperfect privileged information
Xue Li, Bo Du, Chang Xu, Yipeng Zhang, … Dacheng Tao
Article 103246

Automated construction of bounded-loss imperfect-recall abstractions in extensive-form games
Jiří Čermák, Viliam Lisý, Branislav Bošanský
Article 103248

Autoepistemic equilibrium logic and epistemic specifications
Ezgi Iraz Su, Luis Fariñas del Cerro, Andreas Herzig
Article 103249

Fair navigation planning: A resource for characterizing and designing fairness in mobile robots
Martim Brandão, Marina Jirotka, Helena Webb, Paul Luff
Article 103259

Volume 283, June 2020

Limited lookahead in imperfect-information games
Christian Kroer, Tuomas Sandholm
Article 103218

How do fairness definitions fare? Testing public attitudes towards three algorithmic definitions of fairness in loan allocations
Nripsuta Ani Saxena, Karen Huang, Evan DeFilippis, Goran Radanovic, … Yang Liu
Article 103238

Batch repair actions for automated troubleshooting
Hilla Shinitzky, Roni Stern
Article 103260

Qualitative case-based reasoning and learning
Thiago Pedro Donadon Homem, Paulo Eduardo Santos, Anna Helena Reali Costa, Reinaldo Augusto da Costa Bianchi, Ramon Lopez de Mantaras
Article 103258

On pruning search trees of impartial games
Piotr Beling, Marek Rogalski
Article 103262

An epistemic logic of blameworthiness
Pavel Naumov, Jia Tao
Article 103269

Adapting a kidney exchange algorithm to align with human values
Rachel Freedman, Jana Schaich Borg, Walter Sinnott-Armstrong, John P. Dickerson, Vincent Conitzer
Article 103261

Intention as commitment toward time
Marc van Zee, Dragan Doder, Leendert van der Torre, Mehdi Dastani, … Eric Pacuit
Article 103270

Compatibility, desirability, and the running intersection property
Enrique Miranda, Marco Zaffalon
Article 103274

Volume 284, July 2020

CPCES: A planning framework to solve conformant planning problems through a counterexample guided refinement
Alban Grastien, Enrico Scala
Article 103271

Knowing the price of success
Rui Cao, Pavel Naumov
Article 103287

On the complexity of reasoning about opinion diffusion under majority dynamics
Vincenzo Auletta, Diodato Ferraioli, Gianluigi Greco
Article 103288

Combining gaze and AI planning for online human intention recognition
Ronal Singh, Tim Miller, Joshua Newn, Eduardo Velloso, … Liz Sonenberg
Article 103275

Volume 285, August 2020

Compact and efficient encodings for planning in factored state and action spaces with learned Binarized Neural Network transition models
Buser Say, Scott Sanner
Article 103291

On strengthening the logic of iterated belief revision: Proper ordinal interval operators
Richard Booth, Jake Chandler
Article 103289

Complexity of abstract argumentation under a claim-centric view
Wolfgang Dvořák, Stefan Woltran
Article 103290

Verification of multi-agent systems with public actions against strategy logic
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Article 103302

Volume 286, September 2020

The logic of gossiping
Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer
Article 103306

PopMNet: Generating structured pop music melodies using neural networks
Jian Wu, Xiaoguang Liu, Xiaolin Hu, Jun Zhu
Article 103303

Dynamic term-modal logics for first-order epistemic planning
Andrés Occhipinti Liberman, Andreas Achen, Rasmus Kræmmer Rendsvig
Article 103305

On the equivalence of optimal recommendation sets and myopically optimal query sets
Paolo Viappiani, Craig Boutilier
Article 103328

Handling and measuring inconsistency in non-monotonic logics
Markus Ulbricht, Matthias Thimm, Gerhard Brewka
Article 103344

Interpretable time series kernel analytics by pre-image estimation
Thi Phuong Thao Tran, Ahlame Douzal-Chouakria, Saeed Varasteh Yazdi, Paul Honeine, Patrick Gallinari
Article 103342

Effective footstep planning using homotopy-class guidance
Vinitha Ranganeni, Sahit Chintalapudi, Oren Salzman, Maxim Likhachev
Article 103346

The distortion of distributed voting
Aris Filos-Ratsikas, Evi Micha, Alexandros A. Voudouris
Article 103343

Boolean algebras of conditionals, probability and logic
Tommaso Flaminio, Lluis Godo, Hykel Hosni
Article 103347

On the limits of forgetting in Answer Set Programming
Ricardo Gonçalves, Matthias Knorr, João Leite, Stefan Woltran
Article 103307

Volume 287, October 2020

Memetic algorithms outperform evolutionary algorithms in multimodal optimisation
Phan Trung Hai Nguyen, Dirk Sudholt
Article 103345

Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support
Christoph Benzmüller, Xavier Parent, Leendert van der Torre
Article 103348

Evaluation of the moral permissibility of action plans
Felix Lindner, Robert Mattmüller, Bernhard Nebel
Article 103350

Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability
Shaowei Cai, Zhendong Lei
Article 103354

Probabilistic reasoning about epistemic action narratives
Fabio Aurelio D’Asaro, Antonis Bikakis, Luke Dickens, Rob Miller
Article 103352

Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge
Article 103353

DEL-based epistemic planning: Decidability and complexity
Thomas Bolander, Tristan Charrier, Sophie Pinchinat, François Schwarzentruber
Article 103304

An approach for combining ethical principles with public opinion to guide public policy
Edmond Awad, Michael Anderson, Susan Leigh Anderson, Beishui Liao
Article 103349

Volume 288, November 2020

Combining experts’ causal judgments
Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern
Article 103355

Negotiating team formation using deep reinforcement learning
Yoram Bachrach, Richard Everett, Edward Hughes, Angeliki Lazaridou, … Thore Graepel
Article 103356

Price of Pareto Optimality in hedonic games
Edith Elkind, Angelo Fanelli, Michele Flammini
Article 103357

Utilitarian welfare and representation guarantees of approval-based multiwinner rules
Martin Lackner, Piotr Skowron
Article 103366

Knowledge-based programs as succinct policies for partially observable domains
Bruno Zanuttini, Jérôme Lang, Abdallah Saffidine, François Schwarzentruber
Article 103365

Interestingness elements for explainable reinforcement learning: Understanding agents’ capabilities and limitations
Pedro Sequeira, Melinda Gervasio
Article 103367

Probability pooling for dependent agents in collective learning
Jonathan Lawry, Chanelle Lee
Article 103371

Volume 289, December 2020

SAT-based explicit satisfiability checking
Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi, Kristin Y. Rozier
Article 103369

When security games hit traffic: A deployed optimal traffic enforcement system
Ariel Rosenfeld, Oleg Maksimov, Sarit Kraus
Article 103381

Dashed strings for string constraint solving
Roberto Amadini, Graeme Gange, Peter J. Stuckey
Article 103368

Autoepistemic answer set programming
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
Article 103382

So, what exactly is a qualitative calculus?
Armen Inants, Jérôme Euzenat
Article 103385

Intrinsic approaches to prioritizing diagnoses in multi-context systems
Kedian Mu
Article 103383

Explanation in AI and law: Past, present and future
Katie Atkinson, Trevor Bench-Capon, Danushka Bollegala
Article 103387

Real-time reasoning in OWL2 for GDPR compliance
Piero A. Bonatti, Luca Ioffredo, Iliana M. Petrova, Luigi Sauro, Ida R. Siahaan
Article 103389

Understanding the power of Max-SAT resolution through UP-resilience
Mohamed Sami Cherif, Djamal Habet, André Abramé
Article 103397

Quantifying controllability in temporal networks with uncertainty
Shyan Akmal, Savana Ammons, Hemeng Li, Michael Gao, … James C. Boerkoel
Article 103384

On composition of bounded-recall plans
Kaya Deuser, Pavel Naumov
Article 103399

Volume 290, January 2021

A reconstruction of multipreference closure
Laura Giordano, Valentina Gliozzi
Article 103398

Protecting elections by recounting ballots
Edith Elkind, Jiarui Gan, Svetlana Obraztsova, Zinovi Rabinovich, Alexandros A. Voudouris
Article 103401

Pruning external minimality checking for answer set programs using semantic dependencies
Thomas Eiter, Tobias Kaminski
Article 103402

Swarm intelligence for self-organized clustering
Michael C. Thrun, Alfred Ultsch
Article 103237

On fair price discrimination in multi-unit markets
Michele Flammini, Manuel Mauro, Matteo Tonelli
Article 103388

Robustness among multiwinner voting rules
Robert Bredereck, Piotr Faliszewski, Andrzej Kaczmarczyk, Rolf Niedermeier, Piotr Skowron, Nimrod Talmon
Article 103403

Volume 291, February 2021

Selecting goals in oversubscription planning using relaxed plans
Angel García-Olaya, Tomás de la Rosa, Daniel Borrajo
Article 103414

Dynamically improved bounds bidirectional search
E.C. Sewell, S.H. Jacobson
Article 103405

Mis- and disinformation in a bounded confidence model
Igor Douven, Rainer Hegselmann
Article 103415

Evaluating XAI: A comparison of rule-based and example-based explanations
Jasper van der Waa, Elisabeth Nieuwburg, Anita Cremers, Mark Neerincx
Article 103404

Evaluating local explanation methods on ground truth
Riccardo Guidotti
Article 103428

X*: Anytime Multi-Agent Path Finding for Sparse Domains using Window-Based Iterative Repairs
Kyle Vedder, Joydeep Biswas
Article 103417

Volume 292, March 2021

Dependency-based syntax-aware word representations
Meishan Zhang, Zhenghua Li, Guohong Fu, Min Zhang
Article 103427

Using POMDPs for learning cost sensitive decision trees
Shlomi Maliah, Guy Shani
Article 103400

Time-delayed collective flow diffusion models for inferring latent people flow from aggregated data at limited locations
Yusuke Tanaka, Tomoharu Iwata, Takeshi Kurashima, Hiroyuki Toda, … Toshiyuki Tanaka
Article 103430

Weakly-supervised sensor-based activity segmentation and recognition via learning from distributions
Hangwei Qian, Sinno Jialin Pan, Chunyan Miao
Article 103429

Game description language and dynamic epistemic logic compared
Thorsten Engesser, Robert Mattmüller, Bernhard Nebel, Michael Thielscher
Article 103433

Metamodeling and metaquerying in OWL 2 QL
Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi
Article 103432

Spatial relation learning for explainable image classification and annotation in critical applications
Régis Pierrard, Jean-Philippe Poli, Céline Hudelot
Article 103434

Embedding deep networks into visual explanations
Zhongang Qi, Saeed Khorram, Li Fuxin
Article 103435

Volume 293, April 2021

Fair division of mixed divisible and indivisible goods
Xiaohui Bei, Zihao Li, Jinyan Liu, Shengxin Liu, Xinhang Lu
Article 103436

Making sense of sensory input
Richard Evans, José Hernández-Orallo, Johannes Welbl, Pushmeet Kohli, Marek Sergot
Article 103438

Computational complexity of flat and generic Assumption-Based Argumentation, with and without probabilities
Kristijonas Čyras, Quentin Heinrich, Francesca Toni
Article 103449

On the noise estimation statistics
Wei Gao, Teng Zhang, Bin-Bin Yang, Zhi-Hua Zhou
Article 103451

Credibility Dynamics: A belief-revision-based trust model with pairwise comparisons
David Jelenc, Luciano H. Tamargo, Sebastian Gottifredi, Alejandro J. García
Article 103450

Volume 294, May 2021

A semantics for Hybrid Probabilistic Logic programs with function symbols
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
Article 103452

Epistemic GDL: A logic for representing and reasoning about imperfect information games
Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang
Article 103453

GLocalX – From Local to Global Explanations of Black Box AI Models
Mattia Setzu, Riccardo Guidotti, Anna Monreale, Franco Turini, … Fosca Giannotti
Article 103457

An integrated approach to solving influence diagrams and finite-horizon partially observable decision processes
Eric A. Hansen
Article 103431

Explaining black-box classifiers using post-hoc explanations-by-example: The effect of explanations and error-rates in XAI user studies
Eoin M. Kenny, Courtney Ford, Molly Quinn, Mark T. Keane
Article 103459

Show or suppress? Managing input uncertainty in machine learning model explanations
Danding Wang, Wencan Zhang, Brian Y. Lim
Article 103456

Volume 295, June 2021

Counterfactual state explanations for reinforcement learning agents via generative deep learning
Matthew L. Olson, Roli Khanna, Lawrence Neal, Fuxin Li, Weng-Keen Wong
Article 103455

A review of possible effects of cognitive biases on interpretation of rule-based machine learning models
Tomáš Kliegr, Štěpán Bahník, Johannes Fürnkranz
Article 103458

Learning Modulo Theories for constructive preference elicitation
Paolo Campigotto, Stefano Teso, Roberto Battiti, Andrea Passerini
Article 103454

New width parameters for SAT and #SAT
Robert Ganian, Stefan Szeider
Article 103460

Acceptance in incomplete argumentation frameworks
Dorothea Baumeister, Matti Järvisalo, Daniel Neugebauer, Andreas Niskanen, Jörg Rothe
Article 103470

Open-world probabilistic databases: Semantics, algorithms, complexity
İsmail İlkan Ceylan, Adnan Darwiche, Guy Van den Broeck
Article 103474

Stable fractional matchings
Ioannis Caragiannis, Aris Filos-Ratsikas, Panagiotis Kanellopoulos, Rohit Vaish
Article 103416

Volume 296, July 2021

Using ontologies to enhance human understandability of global post-hoc explanations of black-box models
Roberto Confalonieri, Tillman Weyde, Tarek R. Besold, Fermín Moscoso del Prado Martín
Article 103471

Differential privacy of hierarchical Census data: An optimization approach
Ferdinando Fioretto, Pascal Van Hentenryck, Keyu Zhu
Article 103475

Enhanced aspect-based sentiment analysis models with progressive self-supervised attention learning
Jinsong Su, Jialong Tang, Hui Jiang, Ziyao Lu, … Jiebo Luo
Article 103477

What do we want from Explainable Artificial Intelligence (XAI)? – A stakeholder perspective on XAI and a conceptual model guiding interdisciplinary XAI research
Markus Langer, Daniel Oster, Timo Speith, Holger Hermanns, … Kevin Baum
Article 103473

Predicting winner and estimating margin of victory in elections using sampling
Arnab Bhattacharyya, Palash Dey
Article 103476

Peeking behind the ordinal curtain: Improving distortion via cardinal queries
Georgios Amanatidis, Georgios Birmpas, Aris Filos-Ratsikas, Alexandros A. Voudouris
Article 103488

Planning-based knowing how: A unified approach
Yanjun Li, Yanjing Wang
Article 103487

Ballooning multi-armed bandits
Ganesh Ghalme, Swapnil Dhamal, Shweta Jain, Sujit Gujar, Y. Narahari
Article 103485

Acyclic orders, partition schemes and CSPs: Unified hardness proofs and improved algorithms
Peter Jonsson, Victor Lagerkvist, George Osipov
Article 103505

Argumentative explanations for interactive recommendations
Antonio Rago, Oana Cocarascu, Christos Bechlivanidis, David Lagnado, Francesca Toni
Article 103506

Volume 297, August 2021

A unifying look at sequence submodularity
Sara Bernardini, Fabio Fagnani, Chiara Piacentini
Article 103486

Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch
Article 103489

Expecting the unexpected: Goal recognition for rational and irrational agents
Peta Masters, Sebastian Sardina
Article 103490

Dissecting scientific explanation in AI (sXAI): A case for medicine and healthcare
Juan M. Durán
Article 103498

Algorithms and conditional lower bounds for planning problems
Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger, Alexander Svozil
Article 103499

PC-SyncBB: A privacy preserving collusion secure DCOP algorithm
Tamir Tassa, Tal Grinshpoun, Avishay Yanai
Article 103501

Volume 298, September 2021

Explaining individual predictions when features are dependent: More accurate approximations to Shapley values
Kjersti Aas, Martin Jullum, Anders Løland
Article 103502

Toward personalized XAI: A case study in intelligent tutoring systems
Cristina Conati, Oswald Barral, Vanessa Putnam, Lea Rieger
Article 103503

Neural probabilistic logic programming in DeepProbLog
Robin Manhaeve, Sebastijan Dumančić, Angelika Kimmig, Thomas Demeester, Luc De Raedt
Article 103504

A lightweight epistemic logic and its application to planning
Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, … Pierre Régnier
Article 103437

“That’s (not) the output I expected!” On the role of end user expectations in creating explanations of AI systems
Maria Riveiro, Serge Thill
Article 103507

Control complexity in Borda elections: Solving all open cases of offline control and some cases of online control
Marc Neveling, Jörg Rothe
Article 103508

Pay-as-you-go consequence-based reasoning for the description logic SRQJ2
David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
Article 103518

Approximation and hardness of Shift-Bribery
Piotr Faliszewski, Pasin Manurangsi, Krzysztof Sornat
Article 103520

Volume 299, October 2021

Making sense of raw input
Richard Evans, Matko Bošnjak, Lars Buesing, Kevin Ellis, … Marek Sergot
Article 103521

Deciding Koopman’s qualitative probability
Daniele Mundici
Article 103524

Deliberative acting, planning and learning with hierarchical operational models
Sunandita Patra, James Mason, Malik Ghallab, Dana Nau, Paolo Traverso
Article 103523

Levels of explainable artificial intelligence for human-aligned conversational explanations
Richard Dazeley, Peter Vamplew, Cameron Foale, Charlotte Young, … Francisco Cruz
Article 103525

Paracoherent answer set computation
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca
Article 103519

First-order rewritability of ontology-mediated queries in linear temporal logic
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, … Michael Zakharyaschev
Article 103536

Commonsense visual sensemaking for autonomous driving – On generalised neurosymbolic online abduction integrating vision and semantics
Jakob Suchan, Mehul Bhatt, Srikrishna Varadarajan
Article 103522

Popularity-similarity random SAT formulas
Jesús Giráldez-Cru, Jordi Levy
Article 103537

Reward is enough
David Silver, Satinder Singh, Doina Precup, Richard S. Sutton
Article 103535

A budget-limited mechanism for category-aware crowdsourcing of multiple-choice tasks
Yuan Luo, Nicholas R. Jennings
Article 103538

Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions
Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Y. Vardi, Zhiwei Zhang
Article 103559

Volume 300, November 2021

An improved approximation algorithm for maximin shares
Jugal Garg, Setareh Taki
Article 103547

Kandinsky Patterns
Heimo Müller, Andreas Holzinger
Article 103546

Committing to correlated strategies with multiple leaders
Matteo Castiglioni, Alberto Marchesi, Nicola Gatti
Article 103549

Strongly budget balanced auctions for multi-sided markets
Dvir Gilor, Rica Gonen, Erel Segal-Halevi
Article 103548

Abstraction in data-sparse task transfer
Tesca Fitzgerald, Ashok Goel, Andrea Thomaz
Article 103551

Incremental computation for structured argumentation over dynamic DeLP knowledge bases
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Gerardo I. Simari, Guillermo R. Simari
Article 103553

A framework for step-wise explaining how to solve constraint satisfaction problems
Bart Bogaerts, Emilio Gamba, Tias Guns
Article 103550

Why bad coffee? Explaining BDI agent behaviour with valuings
Michael Winikoff, Galina Sidorenko, Virginia Dignum, Frank Dignum
Article 103554

Propositional proof systems based on maximum satisfiability
Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva
Article 103552

Hard choices in artificial intelligence
Roel Dobbe, Thomas Krendl Gilbert, Yonatan Mintz
Article 103555

The complexity landscape of decompositional parameters for ILP: Programs with few global variables and constraints
Pavel Dvořák, Eduard Eiben, Robert Ganian, Dušan Knop, Sebastian Ordyniak
Article 103561

Strategic reasoning with a bounded number of resources: The quest for tractability
Francesco Belardinelli, Stéphane Demri
Article 103557

Abstraction for non-ground answer set programs
Zeynep G. Saribatur, Thomas Eiter, Peter Schüller
Article 103563

Volume 301, December 2021

Foundations of explanations as model reconciliation
Sarath Sreedharan, Tathagata Chakraborti, Subbarao Kambhampati
Article 103558

A general multi-agent epistemic planner based on higher-order belief change
Hai Wan, Biqing Fang, Yongmei Liu
Article 103562

Local and global explanations of agent behavior: Integrating strategy summaries with saliency maps
Tobias Huber, Katharina Weitz, Elisabeth André, Ofra Amir
Article 103571

Using state abstractions to compute personalized contrastive explanations for AI agent behavior
Sarath Sreedharan, Siddharth Srivastava, Subbarao Kambhampati
Article 103570

SAT Competition 2020
Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda
Article 103572

Pairwise symmetry reasoning for multi-agent path finding search
Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Hang Ma, … Sven Koenig
Article 103574

Multi-instance learning of pretopological spaces to model complex propagation phenomena: Application to lexical taxonomy learning
G. Caillaut, G. Cleuziou
Article 103556

Picking sequences and monotonicity in weighted fair division
Mithun Chakraborty, Ulrike Schmidt-Kraepelin, Warut Suksompong
Article 103578

Schelling games on graphs
Aishwarya Agarwal, Edith Elkind, Jiarui Gan, Ayumi Igarashi, … Alexandros A. Voudouris
Article 103576

Coalitional permutation manipulations in the Gale-Shapley algorithm
Weiran Shen, Yuan Deng, Pingzhong Tang
Article 103577

Path-length analysis for grid-based path planning
James P. Bailey, Alex Nash, Craig A. Tovey, Sven Koenig
Article 103560

Distributed optimization for degenerate loss functions arising from over-parameterization
Chi Zhang, Qianxiao Li
Article 103575

Volume 302, January 2022

The quest of parsimonious XAI: A human-agent architecture for explanation formulation
Yazan Mualla, Igor Tchappi, Timotheus Kampik, Amro Najjar, … Christophe Nicolle
Article 103573

Overlapping communities and roles in networks with node attributes: Probabilistic graphical modeling, Bayesian formulation and variational inference
Gianni Costa, Riccardo Ortale
Article 103580

Bayesian feature interaction selection for factorization machines
Yifan Chen, Yang Wang, Pengjie Ren, Meng Wang, Maarten de Rijke
Article 103589

Probabilistic modelling of general noisy multi-manifold data sets
M. Canducci, P. Tiño, M. Mastropietro
Article 103579

Pareto optimization for subset selection with dynamic cost constraints
Vahid Roostapour, Aneta Neumann, Frank Neumann, Tobias Friedrich
Article 103597

Margin of victory for tournament solutions
Markus Brill, Ulrike Schmidt-Kraepelin, Warut Suksompong
Article 103600

An action language for multi-agent domains
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
Article 103601

Globalizing constraint models
Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda
Article 103599

Situation calculus for controller synthesis in manufacturing systems with first-order state representation
Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardiña
Article 103598

SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints
Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, … Mateu Villaret
Article 103604

Analyzing Differentiable Fuzzy Logic Operators
Emile van Krieken, Erman Acar, Frank van Harmelen
Article 103602

Efficient multi-agent epistemic planning: Teaching planners about nested belief
Christian Muise, Vaishak Belle, Paolo Felli, Sheila McIlraith, … Liz Sonenberg
Article 103605

Answers set programs for non-transferable utility games: Expressiveness, complexity and applications
Giovanni Amendola, Gianluigi Greco, Pierfrancesco Veltri
Article 103606

Propositional and predicate logics of incomplete information
Marco Console, Paolo Guagliardo, Leonid Libkin
Article 103603

Evaluation of argument strength in attack graphs: Foundations and semantics
Leila Amgoud, Dragan Doder, Srdjan Vesic
Article 103607

A framework for analysing state-abstraction methods
Christer Bäckström, Peter Jonsson
Article 103608

On fair selection in the presence of implicit and differential variance
Vitalii Emelianov, Nicolas Gast, Krishna P. Gummadi, Patrick Loiseau
Article 103609

Strategyproof mechanisms for Friends and Enemies Games
Michele Flammini, Bojana Kodric, Giovanna Varricchio
Article 103610

Fast optimal and bounded suboptimal Euclidean pathfinding
Bojie Shen, Muhammad Aamir Cheema, Daniel D. Harabor, Peter J. Stuckey
Article 103624

Integrating social influence modeling and user modeling for trust prediction in signed networks
Hui Fang, Xiaoming Li, Jie Zhang
Article 103628

Knowledge graphs as tools for explainable machine learning: A survey
Ilaria Tiddi, Stefan Schlobach
Article 103627

Volume 303, February 2022

Bayesian auctions with efficient queries
Jing Chen, Bo Li, Yingkai Li, Pinyan Lu
Article 103630

Diffusion auction design
Bin Li, Dong Hao, Hui Gao, Dengji Zhao
Article 103631

Fair allocation of indivisible goods: Beyond additive valuations
Mohammad Ghodsi, MohammadTaghi HajiAghayi, Masoud Seddighin, Saeed Seddighin, Hadi Yami
Article 103633

On the impact of the performance metric on efficient algorithm configuration
George T. Hall, Pietro S. Oliveto, Dirk Sudholt
Article 103629

End-to-end neural event coreference resolution
Yaojie Lu, Hongyu Lin, Jialong Tang, Xianpei Han, Le Sun
Article 103632

CVPR 2020 continual learning in computer vision competition: Approaches, results, current challenges and future directions
Vincenzo Lomonaco, Lorenzo Pellegrini, Pau Rodriguez, Massimo Caccia, … Davide Maltoni
Article 103635

Complexity results for preference aggregation over (m)CP-nets: Max and rank voting
Thomas Lukasiewicz, Enrico Malizia
Article 103636

Online perceptual learning and natural language acquisition for autonomous robots
Muhannad Alomari, Fangjun Li, David C. Hogg, Anthony G. Cohn
Article 103637

Rethinking formal models of partially observable multiagent decision making
Vojtěch Kovařík, Martin Schmid, Neil Burch, Michael Bowling, Viliam Lisý
Article 103645

Diversity of solutions: An exploration through the lens of fixed-parameter tractability theory
Julien Baste, Michael R. Fellows, Lars Jaffke, Tomáš Masařík, … Frances A. Rosamond
Article 103644

Logic Tensor Networks
Samy Badreddine, Artur d’Avila Garcez, Luciano Serafini, Michael Spranger
Article 103649

Knowledge-based programs as building blocks for planning
Jorge A. Baier, Sheila A. McIlraith
Article 103634

Volume 304, March 2022

Treewidth-aware reductions of normal ASP to SAT – Is normal ASP harder than SAT after all?
Markus Hecher
Article 103651

Exact stochastic constraint optimisation with applications in network analysis
Anna L.D. Latour, Behrouz Babaki, Daniël Fokkinga, Marie Anastacio, … Siegfried Nijssen
Article 103650

An efficient algorithm for counting Markov equivalent DAGs
Robert Ganian, Thekla Hamm, Topi Talvitie
Article 103648

Exploration-exploitation in multi-agent learning: Catastrophe theory meets game theory
Stefanos Leonardos, Georgios Piliouras
Article 103653

Imperfect ImaGANation: Implications of GANs exacerbating biases on facial data augmentation and snapchat face lenses
Niharika Jain, Alberto Olmo, Sailik Sengupta, Lydia Manikonda, Subbarao Kambhampati
Article 103652

Quantifying and alleviating political bias in language models
Ruibo Liu, Chenyan Jia, Jason Wei, Guangxuan Xu, Soroush Vosoughi
Article 103654

Volume 305, April 2022

A local method for identifying causal relations under Markov equivalence
Zhuangyan Fang, Yue Liu, Zhi Geng, Shengyu Zhu, Yangbo He
Article 103669

Multi-agent pathfinding with continuous time
Anton Andreychuk, Konstantin Yakovlev, Pavel Surynek, Dor Atzmon, Roni Stern
Article 103662

Envy-free allocations respecting social networks
Robert Bredereck, Andrzej Kaczmarczyk, Rolf Niedermeier
Article 103664

A counter abstraction technique for verifying properties of probabilistic swarm systems
Alessio Lomuscio, Edoardo Pirovano
Article 103666

Memory-limited model-based diagnosis
Patrick Rodler
Article 103681

An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms
Ringo Baumann, Hannes Strass
Article 103680

Sensitive loss: Improving accuracy and fairness of face representations with discrimination-aware deep learning
Ignacio Serna, Aythami Morales, Julian Fierrez, Nick Obradovich
Article 103682

Volume 306, Mai 2022

Efficient projection algorithms onto the weighted ℓ1 ball
Guillaume Perez, Sebastian Ament, Carla Gomes, Michel Barlaud
Article 103683

Relation between prognostics predictor evaluation metrics and local interpretability SHAP values
Marcia L. Baptista, Kai Goebel, Elsa M.P. Henriques
Article 103667

The delay and window size problems in rule-based stream reasoning
Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
Article 103668

Volume 307, June 2022

Bayesian agency: Linear versus tractable contracts
Matteo Castiglioni, Alberto Marchesi, Nicola Gatti
Article 103684

Inconsistency-tolerant query answering for existential rules
Thomas Lukasiewicz, Enrico Malizia, Maria Vanina Martinez, Cristian Molinaro, … Gerardo I. Simari
Article 103685

Decidability and complexity of action-based temporal planning over dense time
Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala
Article 103686

Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving
Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes P. Wallner, Stefan Woltran
Article 103697

Analyzing generalized planning under nondeterminism
Vaishak Belle
Article 103696

Multi-view graph convolutional networks with attention mechanism
Kaixuan Yao, Jiye Liang, Jianqing Liang, Ming Li, Feilong Cao
Article 103708

Learning infinite-word automata with loop-index queries
Jakub Michaliszyn, Jan Otop
Article 103710

Volume 308, July 2022

The distortion of distributed metric social choice
Elliot Anshelevich, Aris Filos-Ratsikas, Alexandros A. Voudouris
Article 103713

Emotional conversation generation with heterogeneous graph neural network
Yunlong Liang, Fandong Meng, Ying Zhang, Yufeng Chen, … Jie Zhou
Article 103714

Verification of agent navigation in partially-known environments
Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger
Article 103724

A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic EL
Carsten Lutz, Leif Sabellek
Article 103709

Modular materialisation of Datalog programs
Pan Hu, Boris Motik, Ian Horrocks
Article 103726

Volume 309, August 2022

Diagnosability of fair transition systems
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, … Viktoria Vozarova
Article 103725

Scheduling with complete multipartite incompatibility graph on parallel machines: Complexity and algorithms
Tytus Pikies, Krzysztof Turowski, Marek Kubale
Article 103711

Data-informed knowledge and strategies
Junli Jiang, Pavel Naumov
Article 103727

Knowledge-based strategies for multi-agent teams playing against Nature
Dilian Gurov, Valentin Goranko, Edvin Lundberg
Article 103728

Result diversification by multi-objective evolutionary algorithms with theoretical guarantees
Chao Qian, Dan-Xuan Liu, Zhi-Hua Zhou
Article 103737

A tetrachotomy of ontology-mediated queries with a covering axiom
Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir Podolskii, Michael Zakharyaschev
Article 103738

On the landscape of one-hidden-layer sparse networks and beyond
Dachao Lin, Ruoyu Sun, Zhihua Zhang
Article 103739

ASER: Towards large-scale commonsense knowledge acquisition via higher-order selectional preference over eventualities
Hongming Zhang, Xin Liu, Haojie Pan, Haowen Ke, … Yangqiu Song
Article 103740

Volume 310, September 2022

Shedding new light on the foundations of abstract argumentation: Modularization and weak admissibility
Ringo Baumann, Gerhard Brewka, Markus Ulbricht
Article 103742

Conjure: Automatic Generation of Constraint Models from Problem Specifications
Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, … Peter Nightingale
Article 103751

VoCSK: Verb-oriented commonsense knowledge mining with taxonomy-guided induction
Jingping Liu, Tao Chen, Chao Wang, Jiaqing Liang, … Ke Jin
Article 103744

Priority inheritance with backtracking for iterative multi-agent path finding
Keisuke Okumura, Manao Machida, Xavier Défago, Yasumasa Tamura
Article 103752

Volume 311, October 2022

Approximate weighted model integration on DNF structures
Ralph Abboud, İsmail İlkan Ceylan, Radoslav Dimitrov
Article 103753

Choice logics and their computational properties
Michael Bernreiter, Jan Maly, Stefan Woltran
Article 103755

Risk-averse autonomous systems: A brief history and recent developments from the perspective of optimal control
Yuheng Wang, Margaret P. Chapman
Article 103743

A computational model of Ostrom’s Institutional Analysis and Development framework
Nieves Montes, Nardine Osman, Carles Sierra
Article 103756

Optimizing the computation of overriding in DL^N
P.A. Bonatti, I.M. Petrova, L. Sauro
Article 103764

Risk-averse policy optimization via risk-neutral policy optimization
Lorenzo Bisi, Davide Santambrogio, Federico Sandrelli, Andrea Tirinzoni, … Marcello Restelli
Article 103765

Multi-agent path finding with mutex propagation
Han Zhang, Jiaoyang Li, Pavel Surynek, T.K. Satish Kumar, Sven Koenig
Article 103766

Multi-robot adversarial patrolling strategies via lattice paths
Jan Buermann, Jie Zhang
Article 103769

Volume 312, November 2022

Hierarchical clustering optimizes the tradeoff between compositionality and expressivity of task structures for flexible reinforcement learning
Rex G. Liu, Michael J. Frank
Article 103770

On Pareto optimality in social distance games
Alkida Balliu, Michele Flammini, Giovanna Melideo, Dennis Olivetti
Article 103768

Preference-based inconsistency-tolerant query answering under existential rules
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Article 103772

Inhomogeneous deep Q-network for time sensitive applications
Xu Chen, Jun Wang
Article 103757

Predicting voting outcomes in the presence of communities, echo chambers and multiple parties
Jacques Bara, Omer Lev, Paolo Turrini
Article 103773

Q-Learning-based model predictive variable impedance control for physical human-robot collaboration
Loris Roveda, Andrea Testa, Asad Ali Shahid, Francesco Braghin, Dario Piga
Article 103771

PredDiff: Explanations and interactions from conditional expectations
Stefan Blücher, Johanna Vielhaben, Nils Strodthoff
Article 103774

Simplified Risk-aware Decision Making with Belief-dependent Rewards in Partially Observable Domains
Andrey Zhitnikov, Vadim Indelman
Article 103775

Volume 313, December 2022

Graph-based construction of minimal models
Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti, Luigi Palopoli
Article 103754

Two’s company, three’s a crowd: Consensus-halving for a constant number of agents
Argyrios Deligkas, Aris Filos-Ratsikas, Alexandros Hollender
Article 103784

Risk verification of stochastic systems with neural network controllers
Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, George J. Pappas
Article 103782

Mind the gap: Cake cutting with separation
Edith Elkind, Erel Segal-Halevi, Warut Suksompong
Article 103783

Logical separability of labeled data examples under ontologies
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Article 103785

Certifiably robust interpretation via Rényi differential privacy
Ao Liu, Xiaoyu Chen, Sijia Liu, Lirong Xia, Chuang Gan
Article 103787

Towards convergence rate analysis of random forests for classification
Wei Gao, Fan Xu, Zhi-Hua Zhou
Article 103788

Gradient-based mixed planning with symbolic and numeric action parameters
Kebing Jin, Hankz Hankui Zhuo, Zhanhao Xiao, Hai Wan, Subbarao Kambhampati
Article 103789

Neural large neighborhood search for routing problems
André Hottung, Kevin Tierney
Article 103786

Actions of the hyperoctahedral group to compute minimal contractors
Luc Jaulin
Article 103790

Reasoning about general preference relations
Davide Grossi, Wiebe van der Hoek, Louwe B. Kuijer
Article 103793

Measuring power in coalitional games with friends, enemies and allies
Oskar Skibski, Takamasa Suzuki, Tomasz Grabowski, Yuko Sakurai, … Makoto Yokoo
Article 103792

The metric distortion of multiwinner voting
Ioannis Caragiannis, Nisarg Shah, Alexandros A. Voudouris
Article 103802

Defense coordination in security games: Equilibrium analysis and mechanism design
Jiarui Gan, Edith Elkind, Sarit Kraus, Michael Wooldridge
Article 103791

Convolutional spectral kernel learning with generalization guarantees
Jian Li, Yong Liu, Weiping Wang
Article 103803