2019 List of Eligible Prominent AIJ Papers (2012-2018)
Artificial Intelligence, Volume 176
Volume 176, Number 1, January 2012
James P. Delgrande, Yi Jin:
Parallel belief revision: Revising by sets of formulas. 2223-2245
Tao Chen, Nevin Lianwen Zhang, Tengfei Liu, Kin Man Poon, Yi Wang:
Model-based multidimensional clustering of categorical data. 2246-2269
Ya'akov Gal, Swapna Reddy, Stuart M. Shieber, Andee Rubin, Barbara J. Grosz:
Plan recognition in exploratory domains. 2270-2290
Zhi-Hua Zhou, Min-Ling Zhang, Sheng-Jun Huang, Yu-Feng Li:
Multi-instance multi-label learning. 2291-2320
Artificial Intelligence, Volumes 177-179
Volumes 177-179, February - March 2012
Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou:
Ordered completion for first-order logic programs on finite structures. 1-24
Omer Giménez, Anders Jonsson:
The influence of k-dependence on the complexity of planning. 25-45
Artificial Intelligence, Volumes 180-181
Volumes 180-181, April 2012
Michael Zuckerman, Piotr Faliszewski, Yoram Bachrach, Edith Elkind:
Manipulating the quota in weighted voting games. 1-19
Yang Yu, Xin Yao, Zhi-Hua Zhou:
On the approximation ability of evolutionary optimization with application to minimum set cover. 20-33
Till Mossakowski, Reinhard Moratz:
Qualitative reasoning about relative direction of oriented points. 34-45
Artificial Intelligence, Volumes 182-183
Volumes 182-183, May 2012
Dominik Janzing, Joris M. Mooij, Kun Zhang, Jan Lemeire, Jakob Zscheischler, Povilas Daniusis, Bastian Steudel, Bernhard Schölkopf:
Information-geometric approach to inferring causal directions. 1-31
Byung Kon Kang, Kee-Eung Kim:
Exploiting symmetries for single- and multi-agent Partially Observable Stochastic Domains. 32-57
Michele Lombardi, Michela Milano:
A min-flow algorithm for Minimal Critical Set detection in Resource Constrained Project Scheduling. 58-67
Artificial Intelligence, Volumes 184-185
Volumes 184-185, June 2012
Geoffrey Chu, Peter J. Stuckey:
A complete solution to the Maximum Density Still Life Problem. 1-16
Vincent Wenchen Zheng, Yu Zheng, Xing Xie, Qiang Yang:
Towards mobile intelligence: Learning from GPS history data for collaborative recommendation. 17-37
Vibhav Gogate, Rina Dechter:
Importance sampling-based estimation over AND/OR search spaces for graphical models. 38-77
Nicola Basilico, Nicola Gatti, Francesco Amigoni:
Patrolling security games: Definition and algorithms for solving large instances with single patroller and single intruder. 78-123
Artificial Intelligence, Volume 186
Volume 186, July 2012
Wolfgang Dvorák, Reinhard Pichler, Stefan Woltran:
Towards fixed-parameter tractable algorithms for abstract argumentation. 1-37
Mark d'Inverno, Michael Luck, Pablo Noriega, Juan A. Rodríguez-Aguilar, Carles Sierra:
Communicating open systems. 38-94
Talal Rahwan, Tomasz P. Michalak, Michael Wooldridge, Nicholas R. Jennings:
Anytime coalition structure generation in multi-agent systems with positive or negative externalities. 95-122
Reshef Meir, Ariel D. Procaccia, Jeffrey S. Rosenschein:
Algorithms for strategyproof classification. 123-156
Wolfgang Dvorák, Sebastian Ordyniak, Stefan Szeider:
Augmenting tractable fragments of abstract argumentation. 157-173
Artificial Intelligence, Volume 187
Volumes 187-188, August 2012
Sebastian Haufe, Stephan Schiffel, Michael Thielscher:
Automated verification of state sequence invariants in general game playing. 1-30
Ioannis Caragiannis, Jason A. Covey, Michal Feldman, Christopher M. Homan, Christos Kaklamanis, Nikos Karanikolas, Ariel D. Procaccia, Jeffrey S. Rosenschein:
On the approximability of Dodgson and Young elections. 31-51
Martin Gebser, Benjamin Kaufmann, Torsten Schaub:
Conflict-driven answer set solving: From theory to practice. 52-89
Dominik Fisch, Martin Jänicke, Edgar Kalkowski, Bernhard Sick:
Learning from others: Exchange of classification rules in intelligent distributed systems. 90-114
Finale Doshi-Velez, Joelle Pineau, Nicholas Roy:
Reinforcement learning with limited reinforcement: Using Bayes risk for active learning in POMDPs. 115-132
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi:
Local properties in modal logic. 133-155
Mario Alviano, Wolfgang Faber, Gianluigi Greco, Nicola Leone:
Magic Sets for disjunctive Datalog programs. 156-192
Artificial Intelligence, Volume 189
Volume 189, September 2012
Noam Hazon, Yonatan Aumann, Sarit Kraus, Michael Wooldridge:
On the evaluation of election outcomes under uncertainty. 1-18
Andrey Kolobov, Mausam, Daniel S. Weld:
Discovering hidden structure in factored MDPs. 19-47
Carmel Domshlak, Michael Katz, Sagi Lefler:
Landmark-enhanced abstraction heuristics. 48-68
Brahim Hnich, Roberto Rossi, S. Armagan Tarim, Steven David Prestwich:
Filtering algorithms for global chance constraints. 69-94
Artificial Intelligence, Volume 190
Volume 190, October 2012
Tuan Anh Nguyen, Minh Binh Do, Alfonso Gerevini, Ivan Serina, Biplav Srivastava, Subbarao Kambhampati:
Generating diverse plans to handle unknown and partially known user preferences. 1-31
Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon:
Optimizing with minimum satisfiability. 32-44
Artificial Intelligence, Volume 191
Volume 191-192, November 2012
Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein:
Applicability conditions for plans with loops: Computability results and algorithms. 1-19
Jonathan Lawry, Yongchuan Tang:
On truth-gaps, bipolar belief and the assertability of vague propositions. 20-41
Georg Gottlob:
On minimal constraint networks. 42-60
Veronica L. Policicchio, Adriana Pietramala, Pasquale Rullo:
GAMoN: Discovering M-of-N{¬, ∨} hypotheses for text classification by a lattice-based Genetic Algorithm. 61-95
Alan Bundy:
Robert Kowalski, , Computational Logic and Human Thinking: How to Be Artificially Intelligent (2011) . 96-97
Artificial Intelligence, Volume 193
Volume 193, December 2012
Yun Fan, Jing Shen, Ke Xu:
A general model and thresholds for random constraint satisfaction problems. 1-17
Ringo Baumann:
Normal and strong expansion equivalence for argumentation frameworks. 18-44
Jussi Rintanen:
Planning as satisfiability: Heuristics. 45-86
Andrea Calì, Georg Gottlob, Andreas Pieris:
Towards more expressive ontology languages: The query answering problem. 87-128
Santiago Ontañón, Pilar Dellunde, Lluis Godo, Enric Plaza:
A defeasible reasoning model of inductive concept learning from examples and communication. 129-148
W. T. Luke Teacy, Michael Luck, Alex Rogers, Nicholas R. Jennings:
An efficient and versatile approach to trust and reputation using hierarchical Bayesian modelling. 149-185
Arnon Netzer, Alon Grubshtein, Amnon Meisels:
Concurrent forward bounding for distributed constraint optimization problems. 186-216
Roberto Navigli, Simone Paolo Ponzetto:
BabelNet: The automatic construction, evaluation and application of a wide-coverage multilingual semantic network. 217-250
Artificial Intelligence, Volume 194
Volume 194, January 2013
Eduard H. Hovy, Roberto Navigli, Simone Paolo Ponzetto:
Editorial. 1
Introduction
Eduard H. Hovy, Roberto Navigli, Simone Paolo Ponzetto:
Collaboratively built semi-structured content and Artificial Intelligence: The story so far. 2-27
Acquiring knowledge
Johannes Hoffart, Fabian M. Suchanek, Klaus Berberich, Gerhard Weikum:
YAGO2: A spatially and temporally enhanced knowledge base from Wikipedia. 28-61
Vivi Nastase, Michael Strube:
Transforming Wikipedia into a large scale multilingual concept network. 62-85
IR applications
Pekka Malo, Pyry-Antti Siitari, Ankur Sinha:
Automated query learning with Wikipedia and genetic programming. 86-110
Rianne Kaptein, Jaap Kamps:
Exploiting the category structure of Wikipedia for entity ranking. 111-129
NLP applications
Ben Hachey, Will Radford, Joel Nothman, Matthew Honnibal, James R. Curran:
Evaluating Entity Linking with Wikipedia. 130-150
Joel Nothman, Nicky Ringland, Will Radford, Tara Murphy, James R. Curran:
Learning multilingual named entity recognition from Wikipedia. 151-175
Majid Yazdani, Andrei Popescu-Belis:
Computing text semantic relatedness using the contents and links of a hypertext encyclopedia. 176-202
Sara Tonelli, Claudio Giuliano, Kateryna Tymoshenko:
Wikipedia-based WSD for multilingual frame annotation. 203-221
Tools
David N. Milne, Ian H. Witten:
An open-source toolkit for mining Wikipedia. 222-239
Neuroimaging
Francisco Pereira, Matthew Botvinick, Greg Detre:
Using Wikipedia to learn semantic feature representations of concrete concepts in neuroimaging experiments. 240-252
Volume 195, Pages 1-550 (February 2013)
A generalised framework for dispute derivations in assumption-based argumentation
Pages 1-43
Francesca Toni
Computational complexity of linear constraints over the integers
Pages 44-62
Peter Jonsson, Tomas Lööw
Near-optimal continuous patrolling with teams of mobile information gathering agents
Pages 63-105
R. Stranders, E. Munoz de Cote, A. Rogers, N.R. Jennings
Computing pure Bayesian-Nash equilibria in games with finite actions and continuous types
Pages 106-139
Zinovi Rabinovich, Victor Naroditskiy, Enrico H. Gerding, Nicholas R. Jennings
Decomposition and tractability in qualitative spatial and temporal reasoning
Pages 140-164
Jinbo Huang, Jason Jingshi Li, Jochen Renz
A non-monotonic Description Logic for reasoning about typicality
Pages 165-202
L. Giordano, V. Gliozzi, N. Olivetti, G.L. Pozzato
How to progress a database III
Pages 203-221
Stavros Vassos, Hector J. Levesque
Evaluation of a simple, scalable, parallel best-first search strategy
Pages 222-248
Akihiro Kishimoto, Alex Fukunaga, Adi Botea
Detection of semantic errors in Arabic texts
Pages 249-264
Chiraz Ben Othmane Zribi, Mohamed Ben Ahmed
Approximation quality of the hypervolume indicator
Pages 265-290
Karl Bringmann, Tobias Friedrich
Causal identifiability via Chain Event Graphs
Pages 291-315
Peter Thwaites
Computing desirable partitions in additively separable hedonic games
Pages 316-334
Haris Aziz, Felix Brandt, Hans Georg Seedig
Data complexity of query answering in description logics
Pages 335-360
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
A general account of argumentation with preferences
Pages 361-397
Sanjay Modgil, Henry Prakken
Exploiting persistent mappings in cross-domain analogical learning of physical domains
Pages 398-417
Matthew Klenk, Ken Forbus
Incentive engineering for Boolean games
Pages 418-439
Michael Wooldridge, Ulle Endriss, Sarit Kraus, Jérôme Lang
Improving resource allocation strategies against human adversaries in security games: An extended study
Pages 440-469
Rong Yang, Christopher Kiekintveld, Fernando Ordóñez, Milind Tambe, Richard John
The increasing cost tree search for optimal multi-agent pathfinding
Pages 470-495
Guni Sharon, Roni Stern, Meir Goldenberg, Ariel Felner
Bagging and Boosting statistical machine translation systems
Pages 496-527
Tong Xiao, Jingbo Zhu, Tongran Liu
Modeling information exchange opportunities for effective human–computer teamwork
Pages 528-550
Ece Kamar, Yaʼakov (Kobi) Gal, Barbara J. Grosz
Volume 196, Pages 1-142 (March 2013)
The complexity of mixed multi-unit combinatorial auctions: Tractability under structural and qualitative restrictions
Pages 1-25
Valeria Fionda, Gianluigi Greco
Physical search problems with probabilistic knowledge
Pages 26-52
Noam Hazon, Yonatan Aumann, Sarit Kraus, David Sarne
Predicting the size of IDA*ʼs search tree
Pages 53-76
Levi H.S. Lelis, Sandra Zilles, Robert C. Holte
SAT-based MaxSAT algorithms
Pages 77-105
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy
Automatic behavior composition synthesis
Pages 106-142
Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña
Volume 197, Pages 1-86 (April 2013)
Inconsistency measures for probabilistic logics
Pages 1-24
Matthias Thimm
Constraint propagation as information maximization
Pages 25-38
A. Nait Abdallah, M.H. van Emden
Transfer learning in heterogeneous collaborative filtering domains
Pages 39-55
Weike Pan, Qiang Yang
On the succinctness of some modal logics
Pages 56-85
Tim French, Wiebe van der Hoek, Petar Iliev, Barteld Kooi
Volume 198, Pages 1-104 (May 2013)
Probability and time
Pages 1-51
Marco Zaffalon, Enrique Miranda
On the complexity of planning for agent teams and its implications for single agent planning
Pages 52-71
Ronen I. Brafman, Carmel Domshlak
First competition section paper published
Page 72
G. Lakemeyer
Evaluating practical negotiating agents: Results and analysis of the 2011 international competition
Pages 73-103
Tim Baarslag, Katsuhide Fujita, Enrico H. Gerding, Koen Hindriks,
Takayuki Ito, Nicholas R. Jennings, Catholijn Jonker, Sarit Kraus, Raz
Lin, Valentin Robu, Colin R. Williams
Volumes 199–200, Pages 1-124 (June–July 2013)
Increasing threshold search for best-valued agents
Pages 1-21
Simon Shamoun, David Sarne
On the consistency of multi-label learning
Pages 22-44
Wei Gao, Zhi-Hua Zhou
Lifting integrity constraints in binary aggregation
Pages 45-66
Umberto Grandi, Ulle Endriss
How much does it help to know what she knows you know? An agent-based simulation study
Pages 67-92
Harmen de Weerd, Rineke Verbrugge, Bart Verheij
Volume 201, Pages 1-106 (August 2013)
Belief functions on distributive lattices
Pages 1-31
Chunlai Zhou
Qualitative constraint satisfaction problems: An extended framework with landmarks
Pages 32-58
Sanjiang Li, Weiming Liu, Shengsheng Wang
Minimal change: Relevance and recovery revisited
Pages 59-80
Márcio M. Ribeiro, Renata Wassermann, Giorgos Flouris, Grigoris Antoniou
Multiple instance classification: Review, taxonomy and comparative study Review Article
Pages 81-105
Jaume Amores
Volume 202, Pages 1-132 (September 2013)
Parametric properties of ideal semantics
Pages 1-28
Paul E. Dunne, Wolfgang Dvořák, Stefan Woltran
On the conditional independence implication problem: A lattice-theoretic approach
Pages 29-51
Mathias Niepert, Marc Gyssens, Bassem Sayrafi, Dirk Van Gucht
POMDP-based control of workflows for crowdsourcing
Pages 52-85
Peng Dai, Christopher H. Lin, Mausam, Daniel S. Weld
Interpolative and extrapolative reasoning in propositional theories using qualitative knowledge about conceptual spaces
Pages 86-131
Steven Schockaert, Henri Prade
Volume 203, Pages 1-150 (October 2013)
On the doubt about margin explanation of boosting
Pages 1-18
Wei Gao, Zhi-Hua Zhou
Complexity issues related to propagation completeness
Pages 19-34
Martin Babka, Tomáš Balyo, Ondřej Čepek, Štefan Gurský, Petr Kučera, Václav Vlček
Teaching and leading an ad hoc teammate: Collaboration without pre-coordination
Pages 35-65
Peter Stone, Gal A. Kaminka, Sarit Kraus, Jeffrey S. Rosenschein, Noa Agmon
Model-theoretic inseparability and modularity of description logic ontologies
Pages 66-103
Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
Automata for infinite argumentation structures
Pages 104-150
Pietro Baroni, Federico Cerutti, Paul E. Dunne, Massimiliano Giacomin
Volume 204, Pages 1-120 (November 2013)
Computing cooperative solution concepts in coalitional skill games
Pages 1-21
Yoram Bachrach, David C. Parkes, Jeffrey S. Rosenschein
Speeding up many-objective optimization by Monte Carlo approximations
Pages 22-29
Karl Bringmann, Tobias Friedrich, Christian Igel, Thomas Voß
Type Extension Trees for feature construction and learning in relational domains
Pages 30-55
Manfred Jaeger, Marco Lippi, Andrea Passerini, Paolo Frasconi
End-user feature labeling: Supervised and semi-supervised approaches based on locally-weighted logistic regression
Pages 56-74
Shubhomoy Das, Travis Moore, Weng-Keen Wong, Simone Stumpf, Ian Oberst, Kevin McIntosh, Margaret Burnett
Local search for Boolean Satisfiability with configuration checking and subscore
Pages 75-98
Shaowei Cai, Kaile Su
An analysis on recombination in multi-objective evolutionary optimization
Pages 99-119
Chao Qian, Yang Yu, Zhi-Hua Zhou
Volume 205, Pages 1-70 (December 2013)
Evidential reasoning rule for evidence combination
Pages 1-29
Jian-Bo Yang, Dong-Ling Xu
On the complexity of solving polytree-shaped limited memory influence diagrams with binary variables
Pages 30-38
Denis Deratani Mauá, Cassio Polpo de Campos, Marco Zaffalon
Approximating operators and semantics for abstract dialectical frameworks
Pages 39-70
Hannes Strass
Volume 206, Pages 1-112 (January 2014)
Lost in translation: Language independence in propositional logic – application to belief change
Pages 1-24
Pierre Marquis, Nicolas Schwind
CROSS cyclic resource-constrained scheduling solver
Pages 25-52
Alessio Bonfietti, Michele Lombardi, Luca Benini, Michela Milano
Complexity-sensitive decision procedures for abstract argumentation
Pages 53-78
Wolfgang Dvořák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran
Algorithm runtime prediction: Methods & evaluation
Pages 79-111
Frank Hutter, Lin Xu, Holger H. Hoos, Kevin Leyton-Brown
Volume 207, Pages 1-100 (February 2014)
Relating constraint answer set programming languages and algorithms
Pages 1-22
Yuliya Lierler
Algorithms for decision problems in argument systems under preferred semantics
Pages 23-51
Samer Nofal, Katie Atkinson, Paul E. Dunne
Linked taxonomies to capture usersʼ subjective assessments of items to facilitate accurate collaborative filtering
Pages 52-68
Makoto Nakatsuji, Yasuhiro Fujiwara
The complexity of manipulative attacks in nearly single-peaked electorates
Pages 69-99
Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra
Volume 208, Pages 1-66 (March 2014)
The actorʼs view of automated planning and acting: A position paper
Pages 1-17
Malik Ghallab, Dana Nau, Paolo Traverso
Hidden protocols: Modifying our expectations in an evolving world
Pages 18-40
Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang
Weighted synergy graphs for effective team formation with heterogeneous ad hoc agents
Pages 41-65
Somchaya Liemhetcharat, Manuela Veloso
Volume 209, Pages 1-78 (April 2014)
A logic for reasoning about ambiguity
Pages 1-10
Joseph Y. Halpern, Willemien Kets
Concept drift detection via competence models
Pages 11-28
Ning Lu, Guangquan Zhang, Jie Lu
Consequence-based and fixed-parameter tractable reasoning in description logics
Pages 29-77
František Simančík, Boris Motik, Ian Horrocks
Volume 210, Pages 1-122 (May 2014)
An event-based distributed diagnosis framework using structural model decomposition
Pages 1-35
Anibal Bregon, Matthew Daigle, Indranil Roychoudhury, Gautam Biswas, Xenofon Koutsoukos, Belarmino Pulido
Limitations of acyclic causal graphs for planning
Pages 36-55
Anders Jonsson, Peter Jonsson, Tomas Lööw
On the tractability of minimal model computation for some CNF theories
Pages 56-77
Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti, Luigi Palopoli
The dropout learning algorithm
Pages 78-122
Pierre Baldi, Peter Sadowski
Volume 211, Pages 1-74 (June 2014)
Generating custom propagators for arbitrary constraints
Pages 1-33
Ian P. Gent, Christopher Jefferson, Steve Linton, Ian Miguel, Peter Nightingale
A branch and prune algorithm for the computation of generalized aspects of parallel robots
Pages 34-50
S. Caro, D. Chablat, A. Goldsztejn, D. Ishii, C. Jermann
CTL update of Kripke models through protections
Pages 51-74
Miguel Carrillo, David A. Rosenblueth
Volume 212, pp. 1-158 (July 2014)
Explorative anytime local search for distributed constraint optimization
Pages 1-26
Roie Zivan, Steven Okamoto, Hilla Peled
On our best behaviour
Pages 27-35
Hector J. Levesque
On the revision of informant credibility orders
Pages 36-58
Luciano H. Tamargo, Alejandro J. Garc°a, Marcelo A. Falappa, Guillermo R. Simari
Computational protein design as an optimization problem
Pages 59-79
David Allouche, Isabelle AndrÇ, Sophie Barbe, Jessica Davies, Simon de Givry, George Katsirelos, Barry O'Sullivan, Steve Prestwich, Thomas Schiex, Seydou TraorÇ
Action-model acquisition for planning via transfer learning
Pages 80-103
Hankz Hankui Zhuo, Qiang Yang
On topology-related properties of abstract argumentation semantics. A correction and extension to Dynamics of argumentation systems: A division-based method
Pages 104-115
Pietro Baroni, Massimiliano Giacomin, Beishui Liao
Filtering AtMostNValue with difference constraints: Application to the shift minimisation personnel task scheduling problem
Pages 116-133
Jean-Guillaume Fages, Tanguy Lapägue
Learning hierarchical task network domains from partially observed plan traces
Pages 134-157
Hankz Hankui Zhuo, HÇctor Mu§oz-Avila, Qiang Yang
Volume 213, pp. 1-60 (August 2014)
FLP answer set semantics without circular justifications for general logic programs Pages 1-41
Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink, Christoph Redl, Thomas Krennwallner, Jun Deng
The price of query rewriting in ontology-based data access
Pages 42-59
Georg Gottlob, Stanislav Kikot, Roman Kontchakov, Vladimir Podolskii, Thomas Schwentick, Michael Zakharyaschev
Volume 214, pp. 1-112 (September 2014)
Potential-based bounded-cost search and Anytime Non-Parametric image
Pages 1-25
Roni Stern, Ariel Felner, Jur van den Berg, Rami Puzis, Rajat Shah, Ken Goldberg
Flexibility and decoupling in Simple Temporal Networks
Pages 26-44
Michel Wilson, Tomas Klos, Cees Witteveen, Bob Huisman
Joint search with self-interested agents and the failure of cooperation enhancers
Pages 45-65
Igor Rochlin, David Sarne, Moshe Mash
Logical characterizations of regular equivalence in weighted social networks
Pages 66-88
Tuan-Fang Fan, Churn-Jung Liau
Efficient crowdsourcing of unknown experts using bounded multi-armed bandits
Pages 89-111
Long Tran-Thanh, Sebastian Stein, Alex Rogers, Nicholas R. Jennings
Volume 215, pp. 1-140 (October 2014)
Fractals and Ravens
Pages 1-23
Keith McGreggor, Maithilee Kunda, Ashok Goel
On the choice of obtaining and disclosing the common value in auctions
Pages 24-54
David Sarne, Shani Alkoby, Esther David
Multicategory large margin classification methods: Hinge losses vs. coherence functions
Pages 55-78
Zhihua Zhang, Cheng Chen, Guang Dai, Wu-Jun Li, Dit-Yan Yeung
On influence, stable behavior, and the most influential individuals in networks: A game-theoretic approach
Pages 79-119
Mohammad T. Irfan, Luis E. Ortiz
(Non-)Succinctness of uniform interpolants of general terminologies in the description logic image
Pages 120-140
Nadeschda Nikitina, Sebastian Rudolph
Volume 216, pp. 1-326 (November 2014)
Guarantees and limits of preprocessing in constraint satisfaction and reasoning
Pages 1-19
Serge Gaspers, Stefan Szeider
A general framework for sound assumption-based argumentation dialogues
Pages 20-54
Xiuyi Fan, Francesca Toni
Modeling the complex dynamics and changing correlations of epileptic events
Pages 55-75
Drausin F. Wulsin, Emily B. Fox, Brian Litt
Online Transfer Learning
Pages 76-102
Peilin Zhao, Steven C.H. Hoi, Jialei Wang, Bin Li
Abstraction from demonstration for efficient reinforcement learning in high-dimensional domains
Pages 103-128
Luis C. Cobo, Kaushik Subramanian, Charles L. Isbell Jr., Aaron D. Lanterman, Andrea L. Thomaz
Disjunctive closures for knowledge compilation
Pages 129-162
HÇläne Fargier, Pierre Marquis
On the value of using group discounts under price competition
Pages 163-178
Reshef Meir, Tyler Lu, Moshe Tennenholtz, Craig Boutilier
Depth-based short-sighted stochastic shortest path problems
Pages 179-205
Felipe W. Trevizan, Manuela M. Veloso
Plan aggregation for strong cyclic planning in nondeterministic domains
Pages 206-232
Ron Alford, Ugur Kuter, Dana Nau, Robert P. Goldman
Finding explanations of inconsistency in multi-context systems
Pages 233-274
Thomas Eiter, Michael Fink, Peter SchÅller, Antonius Weinzierl
The unbiased black-box complexity of partition is polynomial
Pages 275-286
Benjamin Doerr, Carola Doerr, Timo Kîtzing
Better redistribution with inefficient allocation in multi-unit auctions
Pages 287-308
Mingyu Guo, Vincent Conitzer
Algorithms for computing minimal equivalent subformulas
Pages 309-326
Anton Belov, Mikol†? Janota, Inàs Lynce, Joao Marques-Silva
Volume 217, pp. 1-216 (December 2014)
An unsupervised training method for non-intrusive appliance load monitoring
Pages 1-19
Oliver Parson, Siddhartha Ghosh, Mark Weal, Alex Rogers
Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules
Pages 20-42
Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh, Lirong Xia
Spatial reasoning with image and connectedness constraints in Euclidean spaces
Pages 43-75
Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev
Relations of epistemic proximity for belief change
Pages 76-91
Sven Ove Hansson
Information capture and reuse strategies in Monte Carlo Tree Search, with applications to games of hidden information
Pages 92-116
Edward J. Powley, Peter I. Cowling, Daniel Whitehouse
kLog: A language for logical and relational learning with kernels
Pages 117-143
Paolo Frasconi, Fabrizio Costa, Luc De Raedt, Kurt De Grave
On the Input/Output behavior of argumentation frameworks
Pages 144-197
Pietro Baroni, Guido Boella, Federico Cerutti, Massimiliano Giacomin, Leendert van der Torre, Serena Villata
Eliciting good teaching from humans for machine learners
Pages 198-215
Maya Cakmak, Andrea L. Thomaz
Volume 218, pp. 1-106 (January 2015)
Belief revision in Horn theories
Pages 1-22
James P. Delgrande, Pavlos Peppas
The limits of decidability in fuzzy description logics with general concept inclusions
Pages 23-55
Stefan Borgwardt, Felix Distel, Rafael Pe§aloza
Most frugal explanations in Bayesian networks
Pages 56-73
Johan Kwisthout
Realizing RCC8 networks using convex regions
Pages 74-105
Steven Schockaert, Sanjiang Li
Volume 219, pp. 1-92 (February 2015)
Subdimensional expansion for multirobot path planning
Pages 1-24
Glenn Wagner, Howie Choset
Learning pseudo-tags to augment sparse tagging in hybrid music recommender systems
Pages 25-39
Ben Horsburgh, Susan Craw, Stewart Massie
Conflict-based search for optimal multi-agent pathfinding
Pages 40-66
Guni Sharon, Roni Stern, Ariel Felner, Nathan R. Sturtevant
Integrating representation learning and skill learning in a human-like intelligent agent
Pages 67-91
Nan Li, Noboru Matsuda, William W. Cohen, Kenneth R. Koedinger
Volume 220, pp. 1-124 (March 2015)
STR3: A path-optimal filtering algorithm for table constraints
Pages 1-27
Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H.C. Yap
Backdoors to tractable answer set programming
Pages 64-103
Johannes Klaus Fichte, Stefan Szeider
Speeding up operations on feature terms using constraint programming and variable symmetry
Pages 104-120
Santiago Onta§¢n, Pedro Meseguer
Ethical guidelines for a superintelligence
Pages 121-124
Ernest Davis
Volume 221, Pages 1-114 (April 2015)
Asynchronous knowledge with hidden actions in the situation calculus
Pages 1-35
Ryan F. Kelly, Adrian R. Pearce
POMDPs under probabilistic semantics
Pages 46-72
Krishnendu Chatterjee, Martin Chmel°k
Red?black planning: A new systematic approach to partial delete relaxation
Pages 73-114
Carmel Domshlak, Jîrg Hoffmann, Michael Katz
Volume 222, Pages 1-200 (May 2015)
A new semantics for overriding in description logics
Pages 1-48
P.A. Bonatti, M. Faella, I.M. Petrova, L. Sauro
Finding core for coalition structure utilizing dual solution
Pages 49-66
Atsushi Iwasaki, Suguru Ueda, Naoyuki Hashimoto, Makoto Yokoo
Achieving fully proportional representation: Approximability results
Pages 67-103
Piotr Skowron, Piotr Faliszewski, Arkadii Slinko
Moving average reversion strategy for on-line portfolio selection
Pages 104-123
Bin Li, Steven C.H. Hoi, Doyen Sahoo, Zhi-Yong Liu
Playing with knowledge: A virtual player for ?Who Wants to Be a Millionaire?? that leverages question answering techniques
Pages 157-181
Piero Molino, Pasquale Lops, Giovanni Semeraro, Marco de Gemmis, Pierpaolo Basile
Volume 223, Pages 1-156 (June 2015)
Semantical considerations on multiagent only knowing
Pages 1-26
Vaishak Belle, Gerhard Lakemeyer
Modular robotic systems: Methods and algorithms for abstraction, planning, control, and synchronization
Pages 27-64
Hossein Ahmadzadeh, Ellips Masehian
Optimizing ontology alignments through a Memetic Algorithm using both MatchFmeasure and Unanimous Improvement Ratio
Pages 65-81
Xingsi Xue, Yuping Wang
The deterministic part of the seventh International Planning Competition
Pages 82-119
Carlos Linares López, Sergio Jiménez Celorrio, Ángel García Olaya
Overview and analysis of the SAT Challenge 2012 solver competition
Pages 120-155
Adrian Balint, Anton Belov, Matti Järvisalo, Carsten Sinz
Volume 224, Pages 1-118 (July 2015)
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty
Pages 1-27
Alessandro Cimatti, Andrea Micheli, Marco Roveri
Efficient nonconvex sparse group feature selection via continuous and discrete optimization
Pages 28-50
Shuo Xiang, Xiaotong Shen, Jieping Ye
Grounded fixpoints and their applications in knowledge representation
Pages 51-71
Bart Bogaerts, Joost Vennekens, Marc Denecker
Ordered completion for logic programs with aggregates
Pages 72-102
Vernon Asuncion, Yin Chen, Yan Zhang, Yi Zhou
Computer-aided proof of Erdős discrepancy properties
Pages 103-118
Boris Konev, Alexei Lisitsa
Volume 225, Pages 1-76 (August 2015)
Incorporating weights into real-time heuristic search
Pages 1-23
Nicolás Rivera, Jorge A. Baier, Carlos Hernández
Framing reinforcement learning from human reward: Reward positivity, temporal discounting, episodicity, and performance
Pages 24-50
W. Bradley Knox, Peter Stone
On redundant topological constraints
Pages 51-76
Sanjiang Li, Zhiguo Long, Weiming Liu, Matt Duckham, Alan Both
Volume 226, Pages 1-122 (September 2015)
Semantic characterization of rational closure: From propositional logic to description logics
Pages 1-33
L. Giordano, V. Gliozzi, N. Olivetti, G.L. Pozzato
Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory
Pages 34-74
Hannes Strass, Johannes Peter Wallner
Automatic construction of optimal static sequential portfolios for AI planning and beyond
Pages 75-101
Sergio Núñez, Daniel Borrajo, Carlos Linares López
Transferring knowledge as heuristics in reinforcement learning: A case-based approach
Pages 102-121
Reinaldo A.C. Bianchi, Luiz A. Celiberto Jr., Paulo E. Santos, Jackson P. Matsuura, Ramon Lopez de Mantaras
Volume 227, Pages 1-246 (October 2015)
A generic approach to planning in the presence of incomplete information: Theory and implementation
Pages 1-51
Son Thanh To, Tran Cao Son, Enrico Pontelli
Optimal Sokoban solving using pattern databases with specific domain knowledge
Pages 52-70
André G. Pereira, Marcus Ritt, Luciana S. Buriol
Fair assignment of indivisible objects under ordinal preferences
Pages 71-92
Haris Aziz, Serge Gaspers, Simon Mackenzie, Toby Walsh
Truthful learning mechanisms for multi-slot sponsored search auctions with externalities
Pages 93-139
Nicola Gatti, Alessandro Lazaric, Marco Rocco, Francesco Trovò
Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
Pages 140-164
Glauber De Bona, Marcelo Finger
Volume 228, Pages 1-216 (November 2015)
A new probabilistic constraint logic programming language based on a generalised distribution semantics
Pages 1-44
Steffen Michels, Arjen Hommersom, Peter J.F. Lucas, Marina Velikova
Bi-goal evolution for many-objective optimization problems
Pages 45-65
Miqing Li, Shengxiang Yang, Xiaohui Liu
Inducing semantic relations from conceptual spaces: A data-driven approach to plausible reasoning
Pages 66-94
Joaquín Derrac, Steven Schockaert
From senses to texts: An all-in-one graph-based approach for measuring semantic similarity
Pages 95-128
Mohammad Taher Pilehvar, Roberto Navigli
Confidence-based reasoning in stochastic constraint programming
Pages 129-152
Roberto Rossi, Brahim Hnich, S. Armagan Tarim, Steven Prestwich
Characteristics of multiple viewpoints in abstract argumentation
Pages 153-178
Paul E. Dunne, Wolfgang Dvořák, Thomas Linsbichler, Stefan Woltran
Feature assembly method for extracting relations in Chinese
Pages 179-194
Yanping Chen, Qinghua Zheng, Ping Chen
Revision in networks of ontologies
Pages 195-216
Jérôme Euzenat
Volume 229, Pages 1-282 (December 2015)
The complexity of reasoning with FODD and GFODD
Pages 1-32
Benjamin J. Hescott, Roni Khardon
On updates of hybrid knowledge bases composed of ontologies and rules
Pages 33-104
Martin Slota, João Leite, Theresa Swift
Variable symmetry breaking in numerical constraint problems
Pages 105-125
Alexandre Goldsztejn, Christophe Jermann, Vicente Ruiz de Angulo, Carme Torras
Relevance in belief revision
Pages 126-138
Pavlos Peppas, Mary-Anne Williams, Samir Chopra, Norman Foo
Modelling structured societies: A multi-relational approach to context permeability
Pages 175-199
Davide Nunes, Luis Antunes
Does the world look different in different languages?
Pages 202-209
Ernest Davis
An extension of metric temporal planning with application to AC voltage control
Pages 210-245
Chiara Piacentini, Varvara Alimisis, Maria Fox, Derek Long
Learning Boolean specifications
Pages 246-257
U. Bubeck, H. Kleine Büning
RoboCup@Home: Analysis and results of evolving competitions for domestic and service robots
Pages 258-281
Luca Iocchi, Dirk Holz, Javier Ruiz-del-Solar, Komei Sugiura, Tijn van der Zant
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
Not entitled to full text
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)
Combining Constraint Solving with Mining and Learning
Edited by Andrea Passerini, Guido Tack and Tias Guns
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