default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID24th IJCAI 2015: Buenos Aires, Argentina
- Qiang Yang, Michael J. Wooldridge:
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. AAAI Press 2015, ISBN 978-1-57735-738-4
Main Track - Agent and Multiagent Systems
- Tim Baarslag, Enrico H. Gerding:
Optimal Incremental Preference Elicitation during Negotiation. 3-9 - Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Munindar P. Singh:
Composing and Verifying Commitment-Based Multiagent Protocols. 10-17 - Florian Brandl, Felix Brandt, Christian Geist, Johannes Hofbauer:
Strategic Abstention Based on Preference Extensions: Positive Results and Computer-Generated Impossibilities. 18-24 - Ioannis Caragiannis, Xenophon Chatzigeorgiou, Panagiotis Kanellopoulos, George A. Krimpas, Nikos Protopapas, Alexandros A. Voudouris:
Efficiency and Complexity of Price Competition Among Single-Product Vendors. 25-31 - Adam Clearwater, Clemens Puppe, Arkadii Slinko:
Generalizing the Single-Crossing Property on Lines and Trees to Intermediate Preferences on Median Graphs. 32-38 - Ross Conroy, Yifeng Zeng, Marc Cavazza, Yingke Chen:
Learning Behaviors in Agents Systems with Interactive Dynamic Influence Diagrams. 39-45 - Jilles Steeve Dibangoye, Olivier Buffet, Olivier Simonin:
Structural Results for Cooperative Decentralized Control Models. 46-52 - Barbara Dunin-Keplicz, Alina Strachocka:
Tractable Inquiry in Information-Rich Environments. 53-60 - Yilin Kang, Ah-Hwee Tan, Chunyan Miao:
An Adaptive Computational Model for Personalized Persuasion. 61-67 - Vadim Levit, Zohar Komarovsky, Tal Grinshpoun, Amnon Meisels:
Tradeoffs between Incentive Mechanisms in Boolean Games. 68-74 - Danyan Lv, Zhaofeng Li, Yichuan Jiang:
Environment-Driven Social Force Model: Lévy Walk Pattern in Collective Behavior. 75-81 - Timo Mennle, Michael Weiss, Basil Philipp, Sven Seuken:
The Power of Local Manipulation Strategies in Assignment Mechanisms. 82-89 - Gianpiero Monaco, Piotr Sankowski, Qiang Zhang:
Revenue Maximization Envy-Free Pricing for Homogeneous Resources. 90-96 - Zhaohong Sun, Hideaki Hata, Taiki Todo, Makoto Yokoo:
Exchange of Indivisible Objects with Asymmetry. 97-103 - Paolo Viappiani:
Characterization of Scoring Rules with Distances: Application to the Clustering of Rankings. 104-110 - Dongxia Wang, Tim Muller, Jie Zhang, Yang Liu:
Quantifying Robustness of Trust Systems against Collusive Unfair Rating Attacks Using Information Theory. 111-117 - Zihe Wang, Pingzhong Tang:
Optimal Auctions for Partially Rational Bidders. 118-124 - Florian Wisser:
An Expert-Level Card Playing Agent Based on a Variant of Perfect Information Monte Carlo Sampling. 125-131 - Feng Wu, Sarvapali D. Ramchurn, Wenchao Jiang, Joel E. Fischer, Tom Rodden, Nicholas R. Jennings:
Agile Planning for Real-World Disaster Response. 132-138 - Bolei Xu, Tao Qin, Guoping Qiu, Tie-Yan Liu:
Optimal Pricing for the Competitive and Evolutionary Cloud Market. 139-145 - Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman:
Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery. 146-155
Main Track - Artificial Intelligence and Social Sciences
- M. Sahbi Benlamine, Maher Chaouachi, Serena Villata, Elena Cabrio, Claude Frasson, Fabien Gandon:
Emotions in Argumentation: an Empirical Evaluation. 156-163 - Robert Bredereck, Jiehua Chen, Rolf Niedermeier, Toby Walsh:
Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty. 164-170 - Fabian Hadiji, Martin Mladenov, Christian Bauckhage, Kristian Kersting:
Computer Science on the Move: Inferring Migration Regularities from the Web via Compressed Label Propagation. 171-177 - Dingjiang Huang, Yan Zhu, Bin Li, Shuigeng Zhou, Steven C. H. Hoi:
Semi-Universal Portfolios with Transaction Costs. 178-184 - Marco Lippi, Paolo Torroni:
Context-Independent Claim Detection for Argument Mining. 185-191 - Wen Pu, Jaesik Choi, Yunseong Hwang, Eyal Amir:
A Deterministic Partition Function Approximation for Exponential Random Graph Models. 192-200 - Ming Yin, Yiling Chen:
Bonus or Not? Learn to Reward in Crowdsourcing. 201-208
Main Track - Auctions and Market-Based Systems
- Suiqian Luo, Pingzhong Tang:
Mechanism Design and Implementation for Lung Exchange. 209-215 - Catherine Moon, Vincent Conitzer:
Maximal Cooperation in Repeated Games on Social Networks. 216-223 - Changjun Wang, Weidong Ma, Tao Qin, Xujin Chen, Xiaodong Hu, Tie-Yan Liu:
Selling Reserved Instances in Cloud Computing. 224-231
Main Track - Constraint Optimization
- Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro:
A Multicore Tool for Constraint Solving. 232-238 - Jeremias Berg, Paul Saikko, Matti Järvisalo:
Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT. 239-245 - Nikolaj S. Bjørner, Nina Narodytska:
Maximum Satisfiability Using Cores and Correction Sets. 246-252 - Abram L. Friesen, Pedro M. Domingos:
Recursive Decomposition for Nonconvex Optimization - IJCAI-15 Distinguished Paper. 253-259 - Thierry Petit, Andrew C. Trapp:
Finding Diverse Solutions of High Quality to Constraint Optimization Problems. 260-267
Main Track - Constraints, Satisfiability, and Search
- André Abramé, Djamal Habet:
On the Resiliency of Unit Propagation to Max-Resolution. 268-274 - Michael Abseher, Frederico Dusberger, Nysret Musliu
, Stefan Woltran:
Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning. 275-282 - Carlos Ansótegui, Frédéric Didier, Joel Gabàs:
Exploiting the Structure of Unsatisfiable Cores in MaxSAT. 283-289 - Amine Balafrej, Christian Bessiere, Anastasia Paparrizou:
Multi-Armed Bandits for Adaptive Constraint Propagation. 290-296 - Nawal Benabbou, Patrice Perny:
Combining Preference Elicitation and Search in Multiobjective State-Space Graphs. 297-303 - Tadhg Fitzgerald, Yuri Malitsky, Barry O'Sullivan:
ReACTR: Realtime Algorithm Configuration through Tournament Rankings. 304-310 - Pierre Genevès, Alan Schmitt:
Expressive Logical Combinators for Free. 311-317 - Barry Hurley, Barry O'Sullivan:
Statistical Regimes and Runtime Prediction. 318-324 - Mikolás Janota, João Marques-Silva:
Solving QBF by Clause Selection. 325-331 - Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas:
Compiling Constraint Networks into Multivalued Decomposable Decision Graphs. 332-338 - Jimmy H. M. Lee, Zichen Zhu:
Filtering Nogoods Lazily in Dynamic Symmetry Breaking During Search. 339-345 - Kevin Leo, Guido Tack:
Multi-Pass High-Level Presolving. 346-352 - Chavalit Likitvivatanavong, Wei Xia, Roland H. C. Yap:
Decomposition of the Factor Encoding for CSPs. 353-359 - Christopher Mears, Maria Garcia de la Banda:
Towards Automatic Dominance Breaking for Constraint Optimization Problems. 360-366 - Zongxu Mu, Holger H. Hoos:
On the Empirical Time Complexity of Random 3-SAT at the Phase Transition. 367-373 - Guillaume Perez, Jean-Charles Régin:
Efficient Operations On MDDs for Building Constraint Programming Models. 374-380 - Oleksandr Polozov, Eleanor O'Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popovic:
Personalized Mathematical Word Problem Generation. 381-388 - Chao Qian, Yang Yu, Zhi-Hua Zhou:
On Constrained Boolean Pareto Optimization. 389-395 - Ignacio Antonio Salas Donoso, Gilles Chabert:
Packing Curved Objects. 396-402 - Long Tran-Thanh, Yingce Xia, Tao Qin, Nicholas R. Jennings:
Efficient Algorithms with Performance Guarantees for the Stochastic Multiple-Choice Knapsack Problem. 403-410
Main Track - Distributed Search/CSP/Optimization
- Supriyo Ghosh, Akshat Kumar, Pradeep Varakantham:
Probabilistic Inference Based Message-Passing for Resource Constrained DCOPs. 411-417 - Minh Luan Nguyen, Siu Cheung Hui, Alvis Cheuk Ming Fong:
Collective Biobjective Optimization Algorithm for Parallel Test Paper Generation. 418-424 - Tamir Tassa, Roie Zivan, Tal Grinshpoun:
Max-Sum Goes Private. 425-431 - Roie Zivan, Tomer Parash, Yarden Naveh:
Applying Max-Sum to Asymmetric Distributed Constraint Optimization. 432-439
Main Track - Game Theory
- Andrés Abeliuk, Gerardo Berbeglia, Pascal Van Hentenryck:
A Bargaining Mechanism for One-Way Games. 440-446 - Elliot Anshelevich, Onkar Bhardwaj, Koushik Kar:
Strategic Network Formation through an Intermediary. 447-453 - Haris Aziz, Simina Brânzei, Aris Filos-Ratsikas, Søren Kristoffer Stiil Frederiksen:
The Adjusted Winner Procedure: Characterizations and Equilibria. 454-460 - Haris Aziz, Serge Gaspers, Joachim Gudmundsson, Julián Mestre, Hanjo Täubig:
Welfare Maximization in Fractional Hedonic Games. 461-467 - Haris Aziz, Toby Walsh, Lirong Xia:
Possible and Necessary Allocations via Sequential Mechanisms. 468-474 - Maria-Florina Balcan, Ariel D. Procaccia, Yair Zick:
Learning Cooperative Games. 475-481 - Simina Brânzei, Peter Bro Miltersen:
A Dictatorship Theorem for Cake Cutting. 482-488 - Noam Brown, Tuomas Sandholm:
Simultaneous Abstraction and Equilibrium Finding in Games. 489-496 - Alejandro Uriel Carbonara, Anupam Datta, Arunesh Sinha, Yair Zick:
Incentivizing Peer Grading in MOOCS: An Audit Game Approach. 497-503 - Artur Czumaj, Michail Fasoulakis, Marcin Jurdzinski:
Approximate Nash Equilibria with Near Optimal Social Welfare. 504-510 - Amit Datta, Anupam Datta, Ariel D. Procaccia, Yair Zick:
Influence in Classification via Cooperative Game Theory. 511-517 - Joanna Drummond, Andrew Perrault, Fahiem Bacchus:
SAT Is an Effective and Complete Method for Solving Stable Matching Problems with Couples. 518-525 - Karel Durkota, Viliam Lisý, Branislav Bosanský, Christopher Kiekintveld:
Optimal Network Security Hardening Using Attack Graph Games. 526-532 - Edith Elkind, Umberto Grandi, Francesca Rossi, Arkadii Slinko:
Gibbard-Satterthwaite Games. 533-539 - Umberto Grandi, Davide Grossi, Paolo Turrini:
Equilibrium Refinement through Negotiation in Binary Voting. 540-546 - Gianluigi Greco, Francesco Lupia, Francesco Scarcello:
Structural Tractability of Shapley and Banzhaf Values in Allocation Games. 547-553 - Johannes Heinrich, David Silver:
Smooth UCT Search in Computer Poker. 554-560 - Michael P. Kim, Virginia Vassilevska Williams:
Fixing Tournaments for Kings, Chokers, and More. 561-567 - Annamária Kovács, Angelina Vidali:
A Characterization of n-Player Strongly Monotone Scheduling Mechanisms. 568-574 - Christian Kroer, Tuomas Sandholm:
Limited Lookahead in Imperfect-Information Games. 575-581 - David Kurokawa, Omer Lev, Jamie Morgenstern, Ariel D. Procaccia:
Impartial Peer Review. 582-588 - Minming Li, Jialin Zhang, Qiang Zhang:
Truthful Cake Cutting Mechanisms with Externalities: Do Not Make Them Care for Others Too Much! 589-595 - Jian Lou, Yevgeniy Vorobeychik:
Equilibrium Analysis of Multi-Defender Security Games. 596-602 - Matthias Mnich, Yash Raj Shrestha, Yongjie Yang:
When Does Schwartz Conjecture Hold? 603-609 - Svetlana Obraztsova, Edith Elkind, Maria Polukarov, Zinovi Rabinovich:
Strategic Candidacy Games with Lazy Candidates. 610-616 - Dominik Peters, Edith Elkind:
Simple Causes of Complexity in Hedonic Games. 617-623 - Maria Polukarov, Svetlana Obraztsova, Zinovi Rabinovich, Alexander Kruglyi, Nicholas R. Jennings:
Convergence to Equilibria in Strategic Candidacy. 624-630 - Oskar Skibski, Tomasz P. Michalak, Yuko Sakurai, Makoto Yokoo:
A Pseudo-Polynomial Algorithm for Computing Power Indices in Graph-Restricted Weighted Voting Games. 631-637 - Piotr Lech Szczepanski, Aleksy Stanislaw Barcz, Tomasz Pawel Michalak, Talal Rahwan:
The Game-Theoretic Interaction Index on Social Networks with Applications to Link Prediction and Community Detection. 638-644 - Oskari Tammelin, Neil Burch, Michael Johanson, Michael Bowling:
Solving Heads-Up Limit Texas Hold'em. 645-652 - Bo Tang, Jinshan Zhang:
Envy-Free Sponsored Search Auctions with Budgets. 653-659 - Shoshana Vasserman, Michal Feldman, Avinatan Hassidim:
Implementing the Wisdom of Waze. 660-666 - Marcin Waniek, Agata Niescieruk, Tomasz P. Michalak, Talal Rahwan:
Spiteful Bidding in the Dollar Auction. 667-673 - Haifeng Xu, Albert Xin Jiang, Arunesh Sinha, Zinovi Rabinovich, Shaddin Dughmi, Milind Tambe:
Security Games with Information Leakage: Modeling and Computation. 674-680 - Yue Yin, Haifeng Xu, Jiarui Gan, Bo An, Albert Xin Jiang:
Computing Optimal Mixed Strategies for Security Games with Dynamic Payoffs. 681-688
Main Track - Graphical Models
- Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi:
From Weighted to Unweighted Model Counting. 689-695 - Radu Marinescu, Rina Dechter, Alexander Ihler:
Pushing Forward Marginal MAP with Best-First Search. 696-702 - Alexander Motzek, Ralf Möller:
Indirect Causes in Dynamic Bayesian Networks Revisited. 703-709 - Biao Qin:
Differential Semantics of Intervention in Bayesian Networks. 710-716 - Matteo Venanzi, W. T. Luke Teacy, Alex Rogers, Nick R. Jennings:
Bayesian Modelling of Community-Based Multidimensional Trust in Participatory Sensing under Data Sparsity. 717-724 - Yinqing Xu, Bei Shi, Wentao Tian, Wai Lam:
A Unified Model for Unsupervised Opinion Spamming Detection Incorporating Text Generality. 725-732
Main Track - Heuristic Search
- Carlos Ansótegui, Yuri Malitsky, Horst Samulowitz, Meinolf Sellmann, Kevin Tierney:
Model-Based Genetic Algorithms for Algorithm Configuration. 733-739 - Eli Boyarski, Ariel Felner, Roni Stern, Guni Sharon, David Tolpin, Oded Betzalel, Solomon Eyal Shimony:
ICBS: Improved Conflict-Based Search Algorithm for Multi-Agent Pathfinding. 740-746 - Shaowei Cai:
Balance between Complexity and Quality: Local Search for Minimum Vertex Cover in Massive Graphs. 747-753 - Tristan Cazenave:
Generalized Rapid Action Value Estimation. 754-760 - Yolanda E-Martín, María D. R.-Moreno, David E. Smith:
A Fast Goal Recognition Technique Based on Interaction Estimates. 761-768 - Daniel Hennes, Dario Izzo:
Interplanetary Trajectory Planning with Monte Carlo Tree Search. 769-775 - Dileep Kini, Sumit Gulwani:
FlashNormalize: Programming by Examples for Text Normalization. 776-783 - Mike Phillips, Venkatraman Narayanan, Sandip Aine, Maxim Likhachev:
Efficient Search with an Ensemble of Heuristics. 784-791 - Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling:
Compositional Program Synthesis from Natural Language and Examples. 792-800 - Erik S. Steinmetz, Maria L. Gini:
Mining Expert Play to Guide Monte Carlo Search in the Opening Moves of Go. 801-807 - René van Bevern, Christian Komusiewicz, Rolf Niedermeier, Manuel Sorge, Toby Walsh:
H-Index Manipulation by Merging Articles: Models, Theory, and Experiments. 808-814 - Nic Wilson, Abdul Razak, Radu Marinescu:
Computing Possibly Optimal Solutions for Multi-Objective Constraint Optimisation with Tradeoffs. 815-822
Main Track - Knowledge Acquisition
- Mehwish Alam, Aleksey Buzmakov, Víctor Codocedo, Amedeo Napoli:
Mining Definitions from RDF Annotations Using Formal Concept Analysis. 823-829 - Claudiu Cristian Musat, Boi Faltings:
Personalizing Product Rankings Using Collaborative Filtering on Opinion-Derived Topic Profiles. 830-836 - Mehdi Samadi, Partha Pratim Talukdar, Manuela M. Veloso, Tom M. Mitchell:
AskWorld: Budget-Sensitive Query Evaluation for Knowledge-on-Demand. 837-843 - Yuyin Sun, Adish Singla, Dieter Fox, Andreas Krause:
Building Hierarchies of Concepts via Crowdsourcing. 844-853
Main Track - Knowledge Representation, Reasoning, and Logic
- Francesco Belardinelli, Davide Grossi, Alessio Lomuscio:
Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems. 854-860 - Francesco Belardinelli, Davide Grossi, Nicolas Maudet:
Formal Analysis of Dialogues on Infinite Argumentation Frameworks. 861-867 - Davide Grossi, Sanjay Modgil:
On the Graded Acceptability of Arguments. 868-874 - Antonio Lieto, Daniele Paolo Radicioni, Valentina Rho:
A Common-Sense Conceptual Categorization System Integrating Heterogeneous Proxytypes and the Dual Process of Reasoning. 875-881 - Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang:
A Simple Probabilistic Extension of Modal Mu-calculus. 882-888 - Denis Deratani Mauá, Cassio P. de Campos, Fábio Gagliardi Cozman:
The Complexity of MAP Inference in Bayesian Networks Specified Through Logical Languages. 889-895 - Marius Pasca, Hylke Buisman:
Dissecting German Grammar and Swiss Passports: Open-Domain Decomposition of Compositional Entries in Large-Scale Knowledge Repositories. 896-902 - Ke Wang, Zhendong Su:
Automatic Generation of Raven's Progressive Matrices. 903-909 - Peng Zhang, Jae Hee Lee, Jochen Renz:
From Raw Sensor Data to Detailed Spatial Knowledge. 910-917
Main Track - Machine Learning
- Francis Bisson, Hugo Larochelle, Froduald Kabanza:
Using a Recursive Neural Network to Learn an Agent's Decision Model for Plan Recognition. 918-924 - Matteo Denitto, Alessandro Farinelli, Manuele Bicego:
Biclustering Gene Expressions Using Factor Graphs and the Max-Sum Algorithm. 925-931 - Aaron W. Dennis, Dan Ventura:
Greedy Structure Search for Sum-Product Networks. 932-938 - Wei Gao, Zhi-Hua Zhou:
On the Consistency of AUC Pairwise Optimization. 939-945 - Sheng-Jun Huang, Songcan Chen, Zhi-Hua Zhou:
Multi-Label Active Learning: Query Type Matters. 946-952 - Wenbin Jiang, Qun Liu, Thepchai Supnithi:
Joint Learning of Constituency and Dependency Grammars by Decomposed Cross-Lingual Induction. 953-959