default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd IJCAI 2011: Barcelona, Catalonia, Spain
- Toby Walsh:
IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. IJCAI/AAAI 2011, ISBN 978-1-57735-516-8 - Preface.
- Conference Organization.
- Program Committee.
- Conference Sponsorship.
- Awards and Distinguished Papers.
- Keynote and Invited Speakers.
- IJCAI Organization.
- Past IJCAI Conferences.
Invited Talk and Research Excellence Paper
- Oren Etzioni, Anthony Fader, Janara Christensen, Stephen Soderland, Mausam
:
Open Information Extraction: The Second Generation. 3-10 - Robert A. Kowalski:
Artificial Intelligence and Human Thinking. 11-16
Technical Papers and Posters
Agent-Based and Multiagent Systems
- Stéphane Airiau, Ulle Endriss, Umberto Grandi, Daniele Porello, Joel Uckelman:
Aggregating Dependency Graphs into Voting Agendas in Multi-Issue Elections. 18-23 - Dimitrios Antos, Avi Pfeffer:
Using Emotions to Enhance Decision-Making. 24-30 - Christopher Archibald, Yoav Shoham:
Hustling in Repeated Zero-Sum Games with Imperfect Execution. 31-36 - John Augustine, Ning Chen, Edith Elkind, Angelo Fanelli, Nick Gravin, Dmitry Shiryaev:
Dynamics of Profit-Sharing Games. 37-42 - Haris Aziz, Felix Brandt, Hans Georg Seedig:
Optimal Partitions in Additively Separable Hedonic Games. 43-48 - Yoram Bachrach, Edith Elkind, Piotr Faliszewski:
Coalitional Voting Manipulation: A Game-Theoretic Perspective. 49-54 - Nadja Betzler, Rolf Niedermeier, Gerhard J. Woeginger:
Unweighted Coalitional Manipulation under the Borda Rule Is NP-Hard. 55-60 - Katrien Beuls, Sebastian Höfer:
Simulating the Emergence of Grammatical Agreement in Multi-Agent Language Games. 61-66 - Eleanor Birrell, Rafael Pass:
Approximately Strategy-Proof Voting. 67-72 - Sylvain Bouveret, Jérôme Lang:
A General Elicitation-Free Protocol for Allocating Indivisible Goods. 73-78 - Felix Brandt:
Group-Strategyproof Irresolute Social Choice Functions. 79-84 - Felix Brandt, Markus Brill, Hans Georg Seedig:
On the Fixed-Parameter Tractability of Composition-Consistent Tournament Solutions. 85-90 - Simina Brânzei, Kate Larson:
Social Distance Games. 91-96 - Logan Brooks, Wayne Iba, Sandip Sen:
Modeling the Emergence and Convergence of Norms. 97-102 - Nils Bulling, Mehdi Dastani:
Verifying Normative Behaviour via Normative Mechanism Design. 103-108 - Nils Bulling, Wojciech Jamroga:
Alternating Epistemic Mu-Calculus. 109-114 - Chris Burnett, Timothy J. Norman, Katia P. Sycara:
Trust Decision-Making in Multi-Agent Systems. 115-120 - Martin Caminada, Gabriella Pigozzi, Mikolaj Podlaszewski:
Manipulation in Group Argument Evaluation. 121-126 - Ioannis Caragiannis, John K. Lai, Ariel D. Procaccia:
Towards More Expressive Cake Cutting. 127-132 - Ruggiero Cavallo:
Efficient Mechanisms with Risky Participation. 133-138 - Roberto Centeno, Holger Billhardt:
Using Incentive Mechanisms for an Adaptive Regulation of Open Multi-Agent Systems. 139-145 - Meng Chang, Minghua He, Xudong Luo:
AstonCAT-Plus: An Efficient Specialist for the TAC Market Design Tournament. 146-151 - Ning Chen, Arpita Ghosh:
A Market Clearing Solution for Social Lending. 152-157 - Vincent Conitzer, Jérôme Lang, Lirong Xia:
Hypercubewise Preference Aggregation in Multi-Issue Domains. 158-163 - Célia da Costa Pereira, Andrea Tettamanzi, Serena Villata:
Changing One's Mind: Erase or Rewind? 164-171 - Giorgio Dalla Pozza, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable:
Multi-Agent Soft Constraint Aggregation via Sequential Voting. 172-177 - Marco De Luca, Dave Cliff:
Human-Agent Auction Interactions: Adaptive-Aggressive Agents Dominate. 178-185 - Edith Elkind, Jérôme Lang, Abdallah Saffidine:
Choosing Collectively Optimal Sets of Alternatives Based on the Condorcet Criterion. 186-191 - Can Erdogan, Manuela M. Veloso:
Action Selection via Learning Behavior Patterns in Multi-Robot Systems. 192-197 - Xiuyi Fan, Francesca Toni:
Assumption-Based Argumentation Dialogues. 198-203 - Umberto Grandi, Ulle Endriss:
Binary Aggregation with Integrity Constraints. 204-209 - John Grant, Sarit Kraus, Michael J. Wooldridge, Inon Zuckerman:
Manipulating Boolean Games through Communication. 210-215 - Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello:
On the Complexity of the Core over Coalition Structures. 216-221 - Anat Hashavit, Shaul Markovitch:
Max-Prob: An Unbiased Rational Decision Making Procedure for Multiple-Adversary Environments. 222-227 - Andreas Herzig, Emiliano Lorini, Frédéric Moisan, Nicolas Troquard:
A Dynamic Logic of Normative Systems. 228-233 - Martin Hoefer, Michal Penn, Maria Polukarov, Alexander Skopalik, Berthold Vöcking:
Considerate Equilibrium. 234-239 - Xiaowei Huang, Patrick Maupin, Ron van der Meyden:
Model Checking Knowledge in Pursuit Evasion Games. 240-245 - Egor Ianovski, Lan Yu, Edith Elkind, Mark C. Wilson:
The Complexity of Safe Manipulation under Scoring Rules. 246-251 - Wojciech Jamroga, Nils Bulling:
Comparing Variants of Strategic Ability. 252-257 - Michael Johanson, Kevin Waugh, Michael H. Bowling, Martin Zinkevich:
Accelerating Best Response Calculation in Large Extensive Games. 258-265 - Alexander Kleiner, Bernhard Nebel, Vittorio A. Ziparo:
A Mechanism for Dynamic Ride Sharing Based on Parallel Auctions. 266-272 - Dmytro Korzhyk, Vincent Conitzer, Ronald Parr:
Security Games with Multiple Attacker Resources. 273-279 - Tyler Lu, Craig Boutilier:
Budgeted Social Choice: From Consensus to Personalized Decision Making. 280-286 - Tyler Lu, Craig Boutilier:
Robust Approximation and Incremental Elicitation in Voting Protocols. 287-293 - Ryan Luna, Kostas E. Bekris:
Push and Swap: Fast Cooperative Path-Finding with Completeness Guarantees. 294-300 - Reshef Meir, Jeffrey S. Rosenschein, Enrico Malizia:
Subsidies, Stability, and Restricted Cooperation in Coalitional Games. 301-306 - Javier Morales, Maite López-Sánchez, Marc Esteva:
Using Experience to Generate New Regulations. 307-312 - Peter Novák, Wojciech Jamroga:
Agents, Actions and Goals in Dynamic Environments. 313-318 - Svetlana Obraztsova, Edith Elkind:
On the Complexity of Voting Manipulation under Randomized Tie-Breaking. 319-324 - Joni Pajarinen, Jaakko Peltonen:
Efficient Planning for Factored Infinite-Horizon DEC-POMDPs. 325-331 - Sébastien Picault, Philippe Mathieu:
An Interaction-Oriented Model for Multi-Scale Simulation. 332-337 - Talal Rahwan, Tomasz P. Michalak, Nicholas R. Jennings:
Minimum Search to Establish Worst-Case Guarantees in Coalition Structure Generation. 338-343 - Jonathan Rubin, Ian D. Watson:
On Combining Decisions from Multiple Expert Imitators for Performance. 344-349 - Tyrel Russell, Peter van Beek:
An Empirical Study of Seeding Manipulations and Their Prevention. 350-356 - Isabelle Stanton, Virginia Vassilevska Williams:
Rigging Tournament Brackets for Weaker Players. 357-364 - Nathan R. Sturtevant, Vadim Bulitko:
Learning Where You Are Going and from Whence You Came: h- and g-Cost Learning in Real-Time Heuristic Search. 365-370 - Toshiharu Sugawara:
Emergence and Stability of Social Conventions in Conflict Situations. 371-378 - Pingzhong Tang, Tuomas Sandholm:
Approximating Optimal Combinatorial Auctions for Complements Using Restricted Welfare Maximization. 379-385 - Taiki Todo, Runcong Li, Xuemei Hu, Takayuki Mouri, Atsushi Iwasaki, Makoto Yokoo:
Generalizing Envy-Freeness toward Group of Agents. 386-392 - Suguru Ueda, Makoto Kitaki, Atsushi Iwasaki, Makoto Yokoo:
Concise Characteristic Function Representations in Coalitional Games Based on Agent Types. 393-399 - Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi:
Facing Openness with Socio-Cognitive Trust and Categories. 400-405 - Serena Villata, Guido Boella, Leendert W. N. van der Torre:
Attack Semantics for Abstract Argumentation. 406-413 - Daniel Villatoro, Giulia Andrighetto, Jordi Sabater-Mir, Rosaria Conte:
Dynamic Sanctioning for Robust and Cost-Efficient Norm Compliance. 414-419 - Daniel Villatoro, Jordi Sabater-Mir, Sandip Sen:
Social Instruments for Robust Convention Emergence. 420-425 - Simeon Visser, John Thangarajah, James Harland:
Reasoning about Preferences in Intelligent Agent Systems. 426-431 - Colin R. Williams, Valentin Robu, Enrico H. Gerding, Nicholas R. Jennings:
Using Gaussian Processes to Optimise Concession in Complex Negotiations against Unknown Opponents. 432-438 - Feng Wu, Shlomo Zilberstein, Xiaoping Chen:
Online Planning for Ad Hoc Autonomous Agent Teams. 439-445 - Lirong Xia, Vincent Conitzer:
A Maximum Likelihood Approach towards Aggregating Partial Orders. 446-451 - Lirong Xia, David M. Pennock:
An Efficient Monte-Carlo Algorithm for Pricing Combinatorial Prediction Markets for Tournaments. 452-457 - Rong Yang, Christopher Kiekintveld, Fernando Ordóñez, Milind Tambe, Richard John:
Improving Resource Allocation Strategy against Human Adversaries in Security Games. 458-464 - Zhengyu Yin, Milind Tambe:
Continuous Time Planning for Multiagent Teams with Temporal Constraints. 465-471 - Dengji Zhao, Dongmo Zhang, Laurent Perrussel:
Mechanism Design for Double Auctions with Temporal Constraints. 472-477 - Xiaoming Zheng, Sven Koenig:
Generalized Reaction Functions for Solving Complex-Task Allocation Problems. 478-483 - Hankz Hankui Zhuo, Lei Li:
Multi-Agent Plan Recognition with Partial Team Traces and Plan Libraries. 484-489 - Yair Zick, Alexander Skopalik, Edith Elkind:
The Shapley Value as a Function of the Quota in Weighted Voting Games. 490-496
Constraints, Satisfiability, and Search
- Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen:
Tackling the Partner Units Configuration Problem. 497-503 - Anton Belov, Matti Järvisalo, Zbigniew Stachniak:
Depth-Driven Circuit-Level Stochastic Local Search for SAT. 504-509 - Manuel Bodirsky, Martin Hils, Alex Krimkevitch:
Tractable Set Constraints. 510-515 - Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Christopher Mears:
Symmetries and Lazy Clause Generation. 516-521 - Michael R. Fellows, Tobias Friedrich, Danny Hermelin, Nina Narodytska, Frances A. Rosamond:
Constraint Satisfaction Problems: Convexity Makes AllDifferent Constraints Tractable. 522-527 - Marcelo Finger, Glauber De Bona:
Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition. 528-533 - Timothy Furtak, Michael Buro:
Using Payoff-Similarity to Speed Up Search. 534-539 - Serge Gaspers, Stefan Szeider:
Kernels for Global Constraints. 540-545 - Alexandra Goultiaeva, Allen Van Gelder, Fahiem Bacchus:
A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas. 546-553 - Patricia Gutierrez, Pedro Meseguer, William Yeoh:
Generalizing ADOPT and BnB-ADOPT. 554-559 - Daisuke Hatano, Katsutoshi Hirayama:
Dynamic SAT with Decision Change Costs: Formalization and Solutions. 560-565 - Edith Hemaspaandra, Henning Schnoor:
Minimization for Generalized Boolean Formulas. 566-571 - Federico Heras, João Marques-Silva:
Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms. 572-577 - Carlos Hernández, Jorge A. Baier:
Real-Time Heuristic Search with Depression Avoidance. 578-583 - Yoshikazu Kobayashi, Akihiro Kishimoto, Osamu Watanabe:
Evaluations of Hash Distributed A* in Optimal Sequence Alignment. 584-590 - Richard E. Korf:
A Hybrid Recursive Multi-Way Number Partitioning Algorithm. 591-596 - Arnaud Lallouet, Yat Chiu Law, Jimmy Ho-Man Lee, Charles F. K. Siu:
Constraint Programming on Infinite Data Streams. 597-604 - Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon:
Minimum Satisfiability and Its Applications. 605-610 - Tian Liu, Xiaxiang Lin, Chaoyi Wang, Kaile Su, Ke Xu:
Large Hinge Width on Sparse Random Hypergraphs. 611-616 - Jeffrey Richard Long, Michael Buro:
Real-Time Opponent Modeling in Trick-Taking Card Games. 617-622 - Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel:
Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints. 623-628 - Pierre Ouellet, Claude-Guy Quimper:
The Multi-Inter-Distance Constraint. 629-634 - François Pachet, Pierre Roy, Gabriele Barbieri:
Finite-Length Markov Processes with Constraints. 635-642 - Thierry Petit, Nicolas Beldiceanu, Xavier Lorca:
A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints. 643-648 - Christopher D. Rosin:
Nested Rollout Policy Adaptation for Monte Carlo Tree Search. 649-654 - Satomi Baba, Yongjoon Joe, Atsushi Iwasaki, Makoto Yokoo:
Real-Time Solving of Quantified CSPs Based on Monte-Carlo Game Tree Search. 655-661 - Guni Sharon, Roni Stern, Meir Goldenberg, Ariel Felner:
The Increasing Cost Tree Search for Optimal Multi-Agent Pathfinding. 662-667 - Trevor Scott Standley, Richard E. Korf:
Complete Algorithms for Cooperative Pathfinding Problems. 668-673 - Jordan Tyler Thayer, Wheeler Ruml:
Bounded Suboptimal Search: A Direct Approach Using Inadmissible Estimates. 674-679 - David Tolpin, Solomon Eyal Shimony:
Rational Deployment of CSP Heuristics. 680-686 - Justin Yip, Pascal Van Hentenryck:
Symmetry Breaking via LexLeader Feasibility Checkers. 687-692 - Jilian Zhang, Kyriakos Mouratidis, HweeHwa Pang:
Heuristic Algorithms for Balanced Multi-Way Number Partitioning. 693-698 - Zhaoyi Zhang, Songshan Guo, Wenbin Zhu, Wee-Chong Oon, Andrew Lim:
Space Defragmentation Heuristic for 2D and 3D Bin Packing Problems. 699-704
Knowledge Representation, Reasoning, and Logic
- Ofer Arieli, Arnon Avron, Anna Zamansky:
What Is an Ideal Logic for Reasoning with Inconsistency?. 706-711 - Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo:
Walking the Complexity Lines for Generalized Guarded Existential Rules. 712-717 - Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt:
Query Reasoning on Trees with Types, Interleaving, and Counting. 718-723 - Michael Bartholomew, Joohyung Lee, Yunsong Meng:
First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription. 724-730 - Nuno Belard, Yannick Pencolé, Michel Combacau:
A Theory of Meta-Diagnosis: Reasoning about Diagnostic Systems. 731-737 - Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi:
A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results. 738-743 - Vaishak Belle, Gerhard Lakemeyer:
On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols. 744-749 - Salem Benferhat, Julien Hué, Sylvain Lagrue, Julien Rossit:
Interval-Based Possibilistic Logic. 750-755 - Manuel Bodirsky, Stefan Wölfl:
RCC8 Is Polynomial on Networks of Bounded Treewidth. 756-761 - Piero A. Bonatti, Marco Faella, Luigi Sauro:
On the Complexity of EL with Defeasible Inclusions. 762-767 - Stefan Borgwardt, Rafael Peñaloza:
Description Logics over Lattices with Multi-Valued Ontologies. 768-773 - Félix Bou, Marco Cerami, Francesc Esteva:
Finite-Valued Lukasiewicz Modal Logic Is PSPACE-Complete. 774-779 - Gerhard Brewka, Paul E. Dunne, Stefan Woltran:
Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs. 780-785 - Gerhard Brewka, Thomas Eiter, Michael Fink, Antonius Weinzierl:
Managed Multi-Context Systems. 786-791 - Jan M. Broersen:
Modeling Attempt and Action Failure in Probabilistic STIT Logic. 792-797 - Diego Calvanese, Domenico Carbotta, Magdalena Ortiz:
A Practical Automata-Based Technique for Reasoning in Expressive Description Logics. 798-804 - Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Containment of Regular Path Queries under Description Logic Constraints. 805-812 - Giovanni Casini, Umberto Straccia:
Defeasible Inheritance-Based Description Logics. 813-818 - Adnan Darwiche:
SDD: A New Canonical Representation of Propositional Knowledge Bases. 819-826 - Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque:
Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. 827-832 - James P. Delgrande:
Revising by an Inconsistent Set of Formulas. 833-838 - James P. Delgrande, Pavlos Peppas:
Revising Horn Theories. 839-844 - Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification. 845-850 - Wolfgang Dvorák, Paul E. Dunne, Stefan Woltran:
Parametric Properties of Ideal Semantics. 851-856 - David Fernández-Duque:
Tangled Modal Logic for Spatial Reasoning. 857-862 - Johannes Klaus Fichte, Stefan Szeider:
Backdoors to Tractable Answer-Set Programming. 863-868 - Guido Fiorino:
Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World. 869-874 - Enrico Franconi, David Toman:
Fixpoints in Temporal Description Logics. 875-880 - Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi:
Succinctness of Epistemic Languages. 881-886 - Scott E. Friedman, Kenneth D. Forbus:
Repairing Incorrect Knowledge with Model Formulation and Metareasoning. 887-893 - Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Reasoning about Typicality in Low Complexity DLs: The Logics EL⊥Tmin and DL-Litec Tmin. 894-899 - Stephan Gspandl, Ingo Pill, Michael Reip, Gerald Steinbauer, Alexander Ferrein:
Belief Management for High-Level Robot Programs. 900-905 - Torsten Hahmann, Michael Grüninger:
Multidimensional Mereotopology with Betweenness. 906-911 - Arjen Hommersom, Peter J. F. Lucas:
Generalising the Interaction Rules in Probabilistic Logic. 912-917 - Yuxiao Hu, Giuseppe De Giacomo:
Generalized Planning: Synthesizing Plans that Work for Multiple Environments. 918-923 - Katsumi Inoue:
Logic Programming for Boolean Networks. 924-930 - Peter Jonsson, Tomas Lööw:
Discrete-Time Temporal Reasoning with Horn DLRs. 931-936 - Gabriele Kern-Isberner, Patrick Krümpelmann:
A Constructive Approach to Independent and Evidence Retaining Belief Revision by General Information Sets. 937-942 - Samantha Kleinberg:
A Logic for Causal Inference in Time Series with Discrete and Continuous Variables. 943-950 - Sébastien Konieczny, Pierre Marquis, Nicolas Schwind:
Belief Base Rationalization for Propositional Merging. 951-956 - Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev:
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces. 957-962 - Markus Krötzsch, Sebastian Rudolph:
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness. 963-968 - Gianfranco Lamperti, Marina Zanella:
Context-Sensitive Diagnosis of Discrete-Event Systems. 969-975 - Yongmei Liu, Ximing Wen:
On the Progression of Knowledge in the Situation Calculus. 976-982 - Carsten Lutz, Robert Piro, Frank Wolter:
Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability. 983-988 - Carsten Lutz, Frank Wolter:
Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics. 989-995 - Pierre Marquis:
Existential Closures for Knowledge Compilation. 996-1001 - Pierre Marquis, Nicolas Schwind:
Lost in Translation: Language Independence in Propositional Logic - Application to Belief Revision and Belief Merging. 1002-1007 - Yoshihiro Maruyama:
Reasoning about Fuzzy Belief and Common Belief: With Emphasis on Incomparable Beliefs. 1008-1013 - Loizos Michael:
Causal Learnability. 1014-1020 - Sanjay Modgil, Henry Prakken:
Revisiting Preferences and Argumentation. 1021-1026 - Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm:
Reasoning-Supported Interactive Revision of Knowledge Bases. 1027-1032 - Sebastian Ordyniak, Stefan Szeider:
Augmenting Tractable Fragments of Abstract Argumentation. 1033-1038 - Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus:
Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ. 1039-1044 - David Pearce, Levan Uridia:
An Approach to Minimal Belief via Objective Belief. 1045-1050 - Jeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu:
An Assertion Retrieval Algebra for Object Queries over Knowledge Bases. 1051-1056 - Riccardo Rosati:
On the Complexity of Dealing with Inconsistency in Description Logic Ontologies. 1057-1062 - Chiaki Sakama:
Dishonest Reasoning by Abduction. 1063-1064 - Chiaki Sakama, Tran Cao Son, Enrico Pontelli:
A Logical Formulation for Negotiation among Dishonest Agents. 1069-1074 - Lutz Schröder, Dirk Pattinson:
Description Logics and Fuzzy Probability. 1075-1081 - Yi-Dong Shen:
Well-Supported Semantics for Description Logic Programs. 1081-1086 - Sajjad Ahmed Siddiqi:
Computing Minimum-Cardinality Diagnoses by Model Relaxation. 1087-1092 - Frantisek Simancik, Yevgeny Kazakov, Ian Horrocks:
Consequence-Based Reasoning beyond Horn Ontologies. 1093-1098 - Balder ten Cate, Enrico Franconi, Inanç Seylan:
Beth Definability in Expressive Description Logics. 1099-1106 - Michael Thielscher:
The General Game Playing Description Language Is Universal. 1107-1112 - Bas van Gijzel, Henry Prakken:
Relating Carneades with Abstract Argumentation. 1113-1119 - Matthias Westphal, Stefan Wölfl, Bernhard Nebel, Jochen Renz:
On Qualitative Route Descriptions: Representation and Computational Complexity. 1120-1125 - Heng Zhang, Yan Zhang, Mingsheng Ying, Yi Zhou:
Translating First-Order Theories into Logic Programs. 1126-1131 - Zhi Qiang Zhuang, Maurice Pagnucco:
Transitively Relational Partial Meet Horn Contraction. 1132-1138
Machine Learning
- Margareta Ackerman, Shai Ben-David:
Discerning Linkage-Based Algorithms among Hierarchical Clustering Methods. 1140-1145 - Alejandro Agostini, Enric Celaya:
A Competitive Strategy for Function Approximation in Q-Learning. 1146-1151 - Babak Ahmadi, Kristian Kersting, Scott Sanner:
Multi-Evidence Lifted Message Passing, with Application to PageRank and the Kalman Filter. 1152-1158 - Saeed Amizadeh, Shuguang Wang, Milos Hauskrecht:
An Efficient Framework for Constructing Generalized Locally-Induced Text Metrics. 1159-1164 - Henry Anaya-Sánchez, José Martínez Sotoca, Adolfo Martínez Usó:
Semi-Supervised Learning from a Translation Model between Data Distributions. 1165-1170 - David Andrzejewski, Xiaojin Zhu, Mark Craven, Benjamin Recht:
A Framework for Incorporating General Domain Knowledge into Latent Dirichlet Allocation Using First-Order Logic. 1171-1177 - Evgeniy Bart:
Improving Performance of Topic Models by Variable Grouping. 1178-1185 - Wei Bian, Dacheng Tao:
Learning a Distance Metric by Empirical Loss Minimization. 1186-1191 - Sam Blasiak, Huzefa Rangwala:
A Hidden Markov Model Variant for Sequence Classification. 1192-1197 - Karl Bringmann, Tobias Friedrich, Frank Neumann, Markus Wagner:
Approximation-Guided Evolutionary Multi-Objective Optimization. 1198-1203 - Bin Cao, Xiaochuan Ni, Jian-Tao Sun, Gang Wang, Qiang Yang:
Distance Metric Learning under Covariate Shift. 1204-1210 - Luiz A. Celiberto, Jackson Paul Matsuura, Ramón López de Mántaras, Reinaldo A. C. Bianchi:
Using Cases as Heuristics in Reinforcement Learning: A Transfer Learning Application. 1211-1217 - Jeffrey Chan, Samantha Lam, Conor Hayes:
Increasing the Scalability of the Fitting of Generalised Block Models for Social Networks. 1218-1224 - Vijil Chenthamarakshan, Prem Melville, Vikas Sindhwani, Richard D. Lawrence:
Concept Labeling: Building Text Classifiers with Minimal Supervision. 1225-1230 - Sook-Ling Chua, Stephen Marsland, Hans W. Guesgen:
Unsupervised Learning of Patterns in Data Streams Using Compression and Edit Distance. 1231-1236 - Dan Claudiu Ciresan, Ueli Meier, Jonathan Masci, Luca Maria Gambardella, Jürgen Schmidhuber:
Flexible, High Performance Convolutional Neural Networks for Image Classification. 1237-1242 - Luis C. Cobo, Peng Zang, Charles Lee Isbell Jr., Andrea Lockerd Thomaz:
Automatic State Abstraction from Demonstration. 1243-1248 - Quang-Thang Dinh, Matthieu Exbrayat, Christel Vrain:
Generative Structure Learning for Markov Logic Networks Based on Graph of Predicates. 1249-1254 - João Gama, Petr Kosina:
Learning Decision Rules from Data Streams. 1255-1260 - Loukas Georgiou, William John Teahan:
Constituent Grammatical Evolution. 1261-1268 - Robby Goetschalckx, Pascal Poupart, Jesse Hoey:
Continuous Correlated Beta Processes. 1269-1274 - Pinghua Gong, Changshui Zhang:
A Fast Dual Projected Newton Method for l1-Regularized Least Squares. 1275-1280 - Valerio Grossi, Alessandro Sperduti:
Kernel-Based Selective Ensemble Learning for Streams of Trees. 1281-1287 - Quanquan Gu, Chris H. Q. Ding, Jiawei Han:
On Trivial Solution and Scale Transfer Problems in Graph Regularized NMF. 1288-1293 - Quanquan Gu, Zhenhui Li, Jiawei Han:
Joint Feature Selection and Subspace Learning. 1294-1299 - Yuhong Guo, Suicheng Gu:
Multi-Label Classification Using Conditional Dependency Networks. 1300-1305 - Thomas Guyet, Rene Quiniou:
Extracting Temporal Patterns from Interval-Based Sequences. 1306-1311 - Kiana Hajebi, Yasin Abbasi-Yadkori, Hossein Shahbazi, Hong Zhang:
Fast Approximate Nearest-Neighbor Search with k-Nearest Neighbor Graph. 1312-1317 - José Miguel Hernández-Lobato, Pablo Morales-Mombiela, Alberto Suárez:
Gaussianity Measures for Detecting the Direction of Causal Time Series. 1318-1323 - Chenping Hou, Feiping Nie, Dongyun Yi, Yi Wu:
Feature Selection via Joint Embedding Learning and Sparse Regression. 1324-1329 - Frederik Janssen, Johannes Fürnkranz:
Heuristic Rule-Based Regression via Dynamic Reduction to Classification. 1330-1335 - Ankur Kamthe, Miguel Á. Carreira-Perpiñán, Alberto Cerpa:
Adaptation of a Mixture of Multivariate Bernoulli Distributions. 1336-1341 - Mehdi Kaytoue, Sergei O. Kuznetsov, Amedeo Napoli:
Revisiting Numerical Pattern Mining with Formal Concept Analysis. 1342-1347 - Wesley Kerr, Anh Tran, Paul R. Cohen:
Activity Recognition with Finite State Machines. 1348-1353 - Varun Raj Kompella, Matthew D. Luciw, Jürgen Schmidhuber:
Incremental Slow Feature Analysis. 1354-1359 - Shaishav Kumar, Raghavendra Udupa:
Learning Hash Functions for Cross-View Similarity Search. 1360-1365 - Wenye Li, Dale Schuurmans:
Modular Community Detection in Networks. 1366-1371 - Guoqing Liu, Jianxin Wu, Suiping Zhou:
Probit Classifiers with a Generalized Gaussian Scale Mixture Prior. 1372-1377 - Haifeng Liu, Zheng Yang, Zhaohui Wu:
Locality-Constrained Concept Factorization. 1378-1383 - Dijun Luo, Chris H. Q. Ding, Heng Huang:
Cluster Indicator Decomposition for Efficient Matrix Factorization. 1384-1389 - Dijun Luo, Heng Huang:
Ball Ranking Machine for Content-Based Multimedia Retrieval. 1390-1395 - Xudong Ma, Ping Luo, Fuzhen Zhuang, Qing He, Zhongzhi Shi, Zhiyong Shen:
Combining Supervised and Unsupervised Models via Unconstrained Probabilistic Embedding. 1396-1401 - Daniele Masato, Timothy J. Norman, Wamberto Weber Vasconcelos, Katia P. Sycara:
Agent-Oriented Incremental Team and Activity Recognition. 1402-1407 - Arman Melkumyan, Fabio Ramos:
Multi-Kernel Gaussian Processes. 1408-1413 - Sriraam Natarajan, Saket Joshi, Prasad Tadepalli, Kristian Kersting, Jude W. Shavlik:
Imitation Learning in Relational Domains: A Functional-Gradient Boosting Approach. 1414-1420 - Minh Nhut Nguyen, Xiaoli Li, See-Kiong Ng:
Positive Unlabeled Leaning for Time Series Classification. 1421-1426 - Tam T. Nguyen, Kuiyu Chang, Siu Cheung Hui:
Distribution-Aware Online Classifiers. 1427-1432 - Feiping Nie, Heng Huang, Chris H. Q. Ding, Dijun Luo, Hua Wang:
Robust Principal Component Analysis with Non-Greedy l1-Norm Maximization. 1433-1438 - Tatdow Pansombut, William Hendrix, Zekai Jacob Gao, Brent E. Harrison, Nagiza F. Samatova:
Biclustering-Driven Ensemble of Bayesian Belief Network Classifiers for Underdetermined Problems. 1439-1445 - Prashant P. Reddy, Manuela M. Veloso:
Strategy Learning for Autonomous Agents in Smart Grid Markets. 1446-1451 - Mark B. Ring, Tom Schaul:
Q-Error as a Selection Mechanism in Modular Reinforcement-Learning Systems. 1452-1457 - Rajhans Samdani, Wen-tau Yih:
Domain Adaptation with Ensemble of Feature Groups. 1458-1464 - Suchi Saria, Andrew Duchi, Daphne Koller:
Discovering Deformable Motifs in Continuous Time Series Data. 1465-1471 - Taisuke Sato:
A General MCMC Method for Bayesian Inference in Logic-Based Probabilistic Modeling. 1472-1477 - Huseyin Sencan, Zhengzhang Chen, William Hendrix, Tatdow Pansombut, Fredrick H. M. Semazzi, Alok N. Choudhary, Vipin Kumar, Anatoli V. Melechko, Nagiza F. Samatova:
Classification of Emerging Extreme Event Tracks in Multivariate Spatio-Temporal Physical Systems Using Dynamic Network Structures: Application to Hurricane Track Prediction. 1478-1484 - Hossam Sharara, Lise Getoor, Myra Norton:
Active Surveying: A Probabilistic Approach for Identifying Key Opinion Leaders. 1485-1490 - Kilho Shin, Danny Fernandes, Seiya Miyazaki:
Consistency Measures for Feature Selection: A Formal Definition, Relative Sensitivity Comparison, and a Fast Algorithm. 1491-1497 - Noam Slonim, Elad Yom-Tov, Koby Crammer:
Active Online Classification via Information Maximization. 1498-1504 - Dengdi Sun, Chris H. Q. Ding, Bin Luo, Jin Tang:
Angular Decomposition. 1505-1510 - Swee Chuan Tan, Kai Ming Ting, Fei Tony Liu:
Fast Anomaly Detection for Streaming Data. 1511-1516 - Luís Torgo, Elsa Lopes:
Utility-Based Fraud Detection. 1517-1522 - Kewei Tu, Vasant G. Honavar:
On the Utility of Curricula in Unsupervised Learning of Probabilistic Grammars. 1523-1528 - Sicco Verwer, Mathijs de Weerdt, Cees Witteveen:
Learning Driving Behavior by Timed Syntactic Pattern Recognition. 1529-1534 - Chang Wan, Rong Pan, Jiefei Li:
Bi-Weighting Domain Adaptation for Cross-Language Text Classification. 1535-1540 - Chang Wang, Sridhar Mahadevan:
Heterogeneous Domain Adaptation Using Manifold Alignment. 1541-1546 - Chang Wang, Sridhar Mahadevan:
Jointly Learning Data-Dependent Label and Locality-Preserving Projections. 1547-1552 - Hua Wang, Feiping Nie, Heng Huang, Fillia Makedon:
Fast Nonnegative Matrix Tri-Factorization for Large-Scale Data Co-Clustering. 1553-1558 - Yong Wang, Yuan Jiang, Yi Wu, Zhi-Hua Zhou:
Local and Structural Consistency for Multi-Manifold Clustering. 1559-1564 - David Wingate, Noah D. Goodman, Daniel M. Roy, Leslie Pack Kaelbling, Joshua B. Tenenbaum:
Bayesian Policy Search with Policy Priors. 1565-1570 - Ou Wu, Weiming Hu, Jun Gao:
Learning to Rank under Multiple Annotators. 1571-1576 - Yanshan Xiao, Bo Liu, Jie Yin, Longbing Cao, Chengqi Zhang, Zhifeng Hao:
Similarity-Based Approach for Positive and Unlabeled Learning. 1577-1582 - Eleftherios Spyromitros Xioufis, Myra Spiliopoulou, Grigorios Tsoumakas, Ioannis P. Vlahavas:
Dealing with Concept Drift and Class Imbalance in Multi-Label Stream Classification. 1583-1588 - Yi Yang, Heng Tao Shen, Zhigang Ma, Zi Huang, Xiaofang Zhou:
l2, 1-Norm Regularized Discriminative Feature Selection for Unsupervised Learning. 1589-1594 - Jiho Yoo, Seungjin Choi:
Matrix Co-Factorization on Compressed Sensing. 1595-1602 - Yang Yu, Yufeng Li, Zhi-Hua Zhou:
Diversity Regularized Machine. 1603-1608 - Min-Ling Zhang:
LIFT: Multi-Label Learning with Label-Specific Features. 1609-1614 - Wei Zhang, Xiangyang Xue, Jianping Fan, Xiaojing Huang, Bin Wu, Mingjie Liu:
Multi-Kernel Multi-Label Learning with Max-Margin Concept Network. 1615-1620 - Xu-Yao Zhang, Kaizhu Huang, Cheng-Lin Liu:
Pattern Field Classification with Style Normalized Transformation. 1621-1626
Multidisciplinary Topics and Applications
- Massimiliano Albanese, Cristian Molinaro, Fabio Persia, Antonio Picariello, V. S. Subrahmanian:
Finding "Unexplained" Activities in Video. 1628-1634 - Emad A. M. Andrews, Anthony J. Bonner:
Explaining Genetic Knock-Out Effects Using Cost-Based Abduction. 1635-1640 - Joanna Bryson, Philip P. Kime:
Just an Artifact: Why Machines Are Perceived as Moral Agents. 1641-1646 - Mike Chung, Willy Cheung, Reinhold Scherer, Rajesh P. N. Rao:
A Hierarchical Architecture for Adaptive Brain-Computer Interfacing. 1647-1652 - Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer:
A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning. 1653-1658 - Jonathan Ezekiel, Alessio Lomuscio, Levente Molnar, Sandor M. Veres:
Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle. 1659-1664 - Prithwijit Guha, Amitabha Mukerjee, K. S. Venkatesh:
OCS-14 : You Can Get Occluded in Fourteen Ways. 1665-1670 - Qi Guo, Tianshi Chen, Yunji Chen, Zhi-Hua Zhou, Weiwu Hu, Zhiwei Xu:
Effective and Efficient Microprocessor Design Space Exploration Using Unlabeled Design Configurations. 1671-1677 - Amin Haji Abolhassani, James J. Clark:
Visual Task Inference Using Hidden Markov Models. 1678-1683 - Han The Anh, Luís Moniz Pereira, Francisco C. Santos:
The Role of Intention Recognition in the Evolution of Cooperative Behavior. 1684-1689 - Chao He, Xueqi Cheng, Jiafeng Guo, Huawei Shen:
Multi-Select Faceted Navigation Based on Minimum Description Length Principle. 1690-1696 - Mark Hoogendoorn, Rianne van Lambalgen, Jan Treur:
Modeling Situation Awareness in Human-Like Agents Using Mental Models. 1697-1704 - Wu-Jun Li, Dit-Yan Yeung, Zhihua Zhang:
Generalized Latent Factor Models for Social Network Analysis. 1705-1710 - Qiang Lou, Zoran Obradovic:
Modeling Multivariate Spatio-Temporal Remote Sensing Data with Large Gaps. 1711-1716 - Santiago Ontañón, Jichen Zhu:
On the Role of Domain Knowledge in Analogy-Based Story Generation. 1717-1722 - Kayur Patel, Steven Mark Drucker, James Fogarty, Ashish Kapoor, Desney S. Tan:
Using Multiple Models to Understand Data. 1723-1728 - Thomas Plötz, Nils Y. Hammerla, Patrick Olivier:
Feature Learning for Activity Recognition in Ubiquitous Computing. 1729-1734 - Jan Treur:
A Cognitive Agent Model Displaying and Regulating Different Social Response Patterns. 1735-1742 - Jan Treur:
A Cognitive Agent Model Incorporating Prior and Retrospective Ownership States for Actions. 1743-1749 - Alice X. Zheng, John Dunagan, Ashish Kapoor:
Active Graph Reachability Reduction for Network Security and Software Engineering. 1750-1756
Natural Language Processing
- Muhammad Arshad Ul Abedin, Vincent Ng, Latifur Khan:
Learning Cause Identifiers from Annotator Rationales. 1758-1763 - Shane Bergsma, Benjamin Van Durme:
Learning Bilingual Lexicons Using the Visual Similarity of Labeled Web Images. 1764-1769 - Fan Bu, Yu Hao, Xiaoyan Zhu:
Semantic Relationship Discovery with Wikipedia Structure. 1770-1775 - Mengen Chen, Xiaoming Jin, Dou Shen:
Short Text Classification Improved by Learning Multi-Granularity Topics. 1776-1781 - Michael Connor, Cynthia Fisher, Dan Roth:
Online Latent Structure Training for Language Acquisition. 1782-1787 - Pascal Denis, Philippe Muller:
Predicting Globally-Coherent Temporal Structures from Texts via Endpoint Inference and Graph Decomposition. 1788-1793 - Dan Goldwasser, Dan Roth:
Learning from Natural Instructions. 1794-1800 - Hugo Gonçalo Oliveira, Paulo Gomes:
Automatic Discovery of Fuzzy Synsets from Dictionary Definitions. 1801-1806 - Shafiq R. Joty, Giuseppe Carenini, Chin-Yew Lin:
Unsupervised Modeling of Dialog Acts in Asynchronous Conversations. 1807-1813 - Fang Kong, Guodong Zhou:
Improve Tree Kernel-Based Event Pronoun Resolution with Competitive Information. 1814-1819 - Fangtao Li, Nathan Nan Liu, Hongwei Jin, Kai Zhao, Qiang Yang, Xiaoyan Zhu:
Incorporating Reviewer and Product Information for Review Rating Prediction. 1820-1825 - Shoushan Li, Zhongqing Wang, Guodong Zhou, Sophia Yat Mei Lee:
Semi-Supervised Learning for Imbalanced Sentiment Classification. 1826-1831 - Xiaohua Liu, Kuan Li, Ming Zhou, Zhongyang Xiong:
Collective Semantic Role Labeling for Tweets with Clustering. 1832-1837 - Chi-kiu Lo, Dekai Wu:
SMT Versus AI Redux: How Semantic Frames Evaluate MT More Accurately. 1838-1845 - Jun Matsuno, Toru Ishida:
Constraint Optimization Approach to Context Based Word Selection. 1846-1851 - Ana Cristina Mendes, Luísa Coheur:
An Approach to Answer Selection in Question-Answering Based on Semantic Relations. 1852-1857 - Smaranda Muresan:
Learning for Deep Language Understanding. 1858-1865 - Claudiu Cristian Musat, Julien Velcin, Stefan Trausan-Matu, Marian-Andrei Rizoiu:
Improving Topic Evaluation Using Conceptual Knowledge. 1866-1871 - Roberto Navigli, Paola Velardi, Stefano Faralli:
A Graph-Based Algorithm for Inducing Lexical Taxonomies from Scratch. 1872-1877 - Olivier Pietquin, Matthieu Geist, Senthilkumar Chandramohan:
Sample Efficient On-Line Learning of Optimal Dialogue Policies with Kalman Temporal Differences. 1878-1883 - Altaf Rahman, Vincent Ng:
Ensemble-Based Coreference Resolution. 1884-1889 - Benjamin Rozenfeld, Ronen Feldman:
Unsupervised Lexicon Acquisition for HPSG-Based Relation Extraction. 1890-1895 - Ulli Waltinger, Alexa Breuing, Ipke Wachsmuth:
Interfacing Virtual Agents with Collaborative Knowledge: Open Domain Question Answering Using Wikipedia-Based Topic Models. 1896-1902 - Li Zhang:
Affect Sensing in Metaphorical Phenomena and Dramatic Interaction Context. 1903-1908 - Wei Zhang, Yan Chuan Sim, Jian Su, Chew Lim Tan:
Entity Linking with Effective Acronym Expansion, Instance Selection, and Topic Modeling. 1909-1914 - Yuejie Zhang, Lei Cen, Cheng Jin, Xiangyang Xue, Jianping Fan:
Learning Inter-Related Statistical Query Translation Models for English-Chinese Bi-Directional CLIR. 1915-1920 - Yuejie Zhang, Lei Cen, Wei Wu, Cheng Jin, Xiangyang Xue:
Fusion of Multiple Features and Supervised Learning for Chinese OOV Term Detection and POS Guessing. 1921-1926
Planning and Scheduling
- Jennifer L. Barry, Leslie Pack Kaelbling, Tomás Lozano-Pérez:
DetH*: Approximate Hierarchical Solution of Large Markov Decision Processes. 1928-1935 - Blai Bonet, Hector Geffner:
Planning under Partial Observability by Classical Replanning: Theory and Experiments. 1936-1941 - Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman:
Risk-Sensitive Policies for Sustainable Renewable Resource Allocation. 1942-1948 - Jicheng Fu, Vincent Ng, Farokh B. Bastani, I-Ling Yen:
Simple and Fast Strong Cyclic Planning for Fully-Observable Nondeterministic Planning Problems. 1949-1954 - Thomas Geier, Pascal Bercher:
On the Decidability of HTN Planning with Task Insertion. 1955-1961 - Derek Hao Hu, Qiang Yang:
Transfer Learning for Activity Recognition via Sensor Mapping. 1962-1967 - Dongho Kim, Jaesong Lee, Kee-Eung Kim, Pascal Poupart:
Point-Based Value Iteration for Constrained POMDPs. 1968-1974 - Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck:
Monitoring the Execution of Partial-Order Plans via Regression. 1975-1982 - Raz Nissim, Jörg Hoffmann, Malte Helmert:
Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning. 1983-1990 - Angelo Oddi, Riccardo Rasconi, Amedeo Cesta, Stephen F. Smith:
Iterative Flattening Search for the Flexible Job Shop Scheduling Problem. 1991-1996 - Dario Pacino, Pascal Van Hentenryck:
Large Neighborhood Search and Adaptive Randomized Decompositions for Flexible Jobshop Scheduling. 1997-2002 - Fabio Patrizi, Nir Lipovetzky, Giuseppe De Giacomo, Hector Geffner:
Computing Infinite Plans for LTL Goals Using a Classical Planner. 2003-2008 - Miquel Ramírez, Hector Geffner:
Goal Recognition over POMDPs: Inferring the Intention of a POMDP Agent. 2009-2014 - Jussi Rintanen:
Planning with SAT, Admissible Heuristics and A*. 2015-2020 - Guy Shani, Ronen I. Brafman:
Replanning in Domains with Partial Information and Sensing Actions. 2021-2026 - Matthijs T. J. Spaan, Frans A. Oliehoek, Christopher Amato:
Scaling Up Optimal Heuristic Search in Dec-POMDPs via Incremental Expansion. 2027-2032 - Son Thanh To, Enrico Pontelli, Tran Cao Son:
On the Effectiveness of CNF and DNF Representations in Contingent Planning. 2033-2038 - Jason Andrew Wolfe, Stuart Russell:
Bounded Intention Planning. 2039-2045 - Huan Xu, Shie Mannor:
Probabilistic Goal Markov Decision Processes. 2046-2052
Robotics and Vision
- Deepak Bhadauria, Volkan Isler:
Capturing an Evader in a Polygonal Environment with Obstacles. 2054-2059 - Raghudeep Gadde, Kamalakar Karlapalem:
Aesthetic Guideline Driven Photography by Robots. 2060-2065 - Laura M. Hiatt, Anthony M. Harrison, J. Gregory Trafton:
Accommodating Human Variability in Human-Robot Teams through Theory of Mind. 2066-2071 - Zhaoyin Jia, Ashutosh Saxena, Tsuhan Chen:
Robotic Object Detection: Learning to Improve the Classifiers Using Sparse Graphs for Path Planning. 2072-2078 - Zijian Zhao:
Conics with a Common Axis of Symmetry: Properties and Applications to Camera Calibration. 2079-1084 - Vincent Wenchen Zheng, Qiang Yang:
User-Dependent Aspect Model for Collaborative Activity Recognition. 2085-2090
Uncertainty in AI
- Jaesik Choi, Abner Guzmán-Rivera, Eyal Amir:
Lifted Relational Kalman Filtering. 2092-2099 - Cassio P. de Campos:
New Complexity Results for MAP in Bayesian Networks. 2100-2106 - Cassio P. de Campos, Alessio Benavoli:
Inference with Multinomial Data: Why to Weaken the Prior Strength. 2107-2112 - Haris Dindo, Daniele Zambuto, Giovanni Pezzulo:
Motor Simulation via Coupled Internal Models Using Sequential Monte Carlo. 2113-2119 - Hélène Fargier, Gildas Jeantet, Olivier Spanjaard:
Resolute Choice in Sequential Decision Problems with Multiple Priors. 2120-2125 - Aurélie Favier, Simon de Givry, Andrés Legarra, Thomas Schiex:
Pairwise Decomposition for Combinatorial Optimization in Graphical Models. 2126-2132 - Andreas Krause, Alex Roper, Daniel Golovin:
Randomized Sensing in Adversarial Environments. 2133-2139 - Akshat Kumar, Shlomo Zilberstein, Marc Toussaint:
Scalable Multiagent Planning Using Probabilistic Inference. 2140-2146 - Xin Liu, Anwitaman Datta:
A Trust Prediction Approach Capturing Agents' Dynamic Behavior. 2147-2152 - Mathias Niepert, Jan Noessner, Heiner Stuckenschmidt:
Log-Linear Description Logics. 2153-2158 - Kevin Regan, Craig Boutilier:
Eliciting Additive Reward Functions for Markov Decision Processes. 2159-2164 - Kevin Regan, Craig Boutilier:
Robust Online Optimization of Reward-Uncertain MDPs. 2165-2171 - Roberto Rossi, Brahim Hnich, S. Armagan Tarim, Steven D. Prestwich:
Finding (α, ϑ)-Solutions via Sampled SCSPs. 2172-2177 - Guy Van den Broeck, Nima Taghipour, Wannes Meert, Jesse Davis, Luc De Raedt:
Lifted Probabilistic Inference by First-Order Knowledge Compilation. 2178-2185 - Changhe Yuan, Brandon M. Malone, XiaoJian Wu:
Learning Optimal Bayesian Networks Using A* Search. 2186-2191 - Julio H. Zaragoza, Luis Enrique Sucar, Eduardo F. Morales, Concha Bielza, Pedro Larrañaga:
Bayesian Chain Classifiers for Multidimensional Classification. 2192-2197
Web and Knowledge-Based Information Systems
- Joshua Akehurst, Irena Koprinska, Kalina Yacef, Luiz Augusto Sangoi Pizzato, Judy Kay, Tomasz Rej:
CCR - A Content-Collaborative Reciprocal Recommender for Online Dating. 2199-2204 - Danushka Bollegala, Yutaka Matsuo, Mitsuru Ishizuka:
Relation Adaptation: Learning to Extract Novel Relations with Minimum Supervision. 2205-2210 - Yunbo Cao, Zhiyuan Chen, Jiamin Zhu, Pei Yue, Chin-Yew Lin, Yong Yu:
Leveraging Unlabeled Data to Scale Blocking for Record Linkage. 2211-2217 - Emprise Y. K. Chan, Dit-Yan Yeung:
A Convex Formulation of Modularity Maximization for Community Detection. 2218-2225 - Bernardo Cuenca Grau, Giorgos Stoilos:
What to Ask to an Incomplete Semantic Web Reasoner?. 2226-2231 - Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider:
The Modular Structure of an Ontology: Atomic Decomposition. 2232-2237 - Yasuhiro Fujiwara, Go Irie, Tomoe Kitahara:
Fast Algorithm for Affinity Propagation. 2238-2243 - Aaron Gerow, Mark T. Keane:
Mining the Web for the "Voice of the Herd" to Track Stock Market Bubbles. 2244-2249 - Harry Halpin, Victor Lavrenko:
Relevance Feedback between Web Search and the Semantic Web. 2250-2255 - Ben Horsburgh, Susan Craw, Stewart Massie, Robin Boswell:
Finding the Hidden Gems: Recommending Untagged Music. 2256-2261 - Tomoharu Iwata, Shinji Watanabe, Hiroshi Sawada:
Fashion Coordinates Recommender System Using Photographs from Fashion Magazines. 2262-2267 - Yingzi Jin, Ching-Yung Lin, Yutaka Matsuo, Mitsuru Ishizuka:
Mining Longitudinal Network for Predicting Company Value. 2268-2273 - Saurabh Kataria, Prasenjit Mitra, Cornelia Caragea, C. Lee Giles:
Context Sensitive Topic Models for Author Influence in Document Networks. 2274-2280 - Arpit Khurdiya, Lipika Dey, Nidhi Raj, S. K. Mirajul Haque:
Multi-Perspective Linking of News Articles within a Repository. 2281-2286 - João Leite, João G. Martins:
Social Abstract Argumentation. 2287-2292 - Bin Li, Xingquan Zhu, Ruijiang Li, Chengqi Zhang, Xiangyang Xue, Xindong Wu:
Cross-Domain Collaborative Filtering over Time. 2293-2298 - David McSherry:
Minimally Complete Recommendations. 2299-2304 - Makoto Nakatsuji, Yasuhiro Fujiwara, Toshio Uchiyama, Ko Fujimura:
User Similarity from Linked Taxonomies: Subjective Assessments of Items. 2305-2311 - Axel-Cyrille Ngonga Ngomo, Sören Auer:
LIMES - A Time-Efficient Approach for Large-Scale Link Discovery on the Web of Data. 2312-2317 - Weike Pan, Nathan Nan Liu, Evan Wei Xiang, Qiang Yang:
Transfer Learning to Predict Missing Ratings via Heterogeneous User Feedbacks. 2318-2323 - Jeff Pasternack, Dan Roth:
Making Better Informed Trust Decisions with Generalized Fact-Finding. 2324-2329 - Yangqiu Song, Haixun Wang, Zhongyuan Wang, Hongsong Li, Weizhu Chen:
Short Text Conceptualization Using a Probabilistic Knowledgebase. 2330-2336 - Jintao Tang, Ting Wang, Qin Lu, Ji Wang, Wenjie Li:
A Wikipedia Based Semantic Graph Model for Topic Tracking in Blogsphere. 2337-2342 - Peng Wang, Yuming Zhou, Baowen Xu:
Matching Large Ontologies Based on Reduction Anchors. 2343-2348 - Leting Wu, Xiaowei Ying, Xintao Wu, Zhi-Hua Zhou:
Line Orthogonality in Adjacency Eigenspace with Application to Community Partition. 2349-2354 - Evan Wei Xiang, Sinno Jialin Pan, Weike Pan, Jian Su, Qiang Yang:
Source-Selection-Free Transfer Learning. 2355-2360 - Danqing Xu, Yiqun Liu, Min Zhang, Shaoping Ma, Anqi Cui, Liyun Ru:
Predicting Epidemic Tendency through Search Behavior Analysis. 2361-2366 - Songhua Xu, Hao Jiang, Francis Chi-Moon Lau:
Mining User Dwell Time for Personalized Web Search Re-Ranking. 2367-2372 - Zhenglu Yang, Masaru Kitsuregawa:
Efficient Searching Top-k Semantic Similar Words. 2373-2378 - Richong Zhang, Thomas T. Tran, Yongyi Mao:
Recommender Systems from "Words of Few Mouths". 2379-2384
Special Track on Integrated and Embedded Artificial Intelligence
- Alejandro Agostini, Carme Torras, Florentin Wörgötter:
Integrating Task Planning and Interactive Learning for Robots to Work in Human Environments. 2386-2391 - Ofra Amir, Ya'akov (Kobi) Gal:
Plan Recognition in Virtual Laboratories. 2392-2397 - Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev:
A Comprehensive Approach to On-Board Autonomy Verification and Validation. 2398-2403 - S. R. K. Branavan, David Silver, Regina Barzilay:
Non-Linear Monte-Carlo Search in Civilization II. 2404-2410 - Huanhuan Chen, Anthony G. Cohn:
Buried Utility Pipeline Mapping Based on Multiple Spatial Data Sources: A Bayesian Data Fusion Approach. 2411-2417 - Hong-Jie Dai, Wei-Chi Tsai, Richard Tzong-Han Tsai, Wen-Lian Hsu:
Enhancing Search Results with Semantic Annotation Using Augmented Browsing. 2418-2423 - Hieu-Chi Dam, Tu Bao Ho, Ayumu Sugiyama:
Simulation-Based Data Mining Solution to the Structure of Water Surrounding Proteins. 2424-2429 - Tiansi Dong, Ulrich Furbach, Ingo Glöckner, Björn Pelzer:
A Natural Language Question Answering System as a Participant in Human Q&A Portals. 2430-2435 - Martin Field, Stephanie Valentine, Julie Linsey, Tracy Hammond:
Sketch Recognition Algorithms for Comparing Complex and Unpredictable Shapes. 2436-2441 - Marc Hanheide, Charles Gretton, Richard Dearden, Nick Hawes, Jeremy L. Wyatt, Andrzej Pronobis, Alper Aydemir, Moritz Göbelbecker, Hendrik Zender:
Exploiting Probabilistic Knowledge under Uncertain Sensing for Efficient Robot Behaviour. 2442-2449 - Ulit Jaidee, Héctor Muñoz-Avila, David W. Aha:
Integrated Learning for Goal-Driven Autonomy. 2450-2455 - Rongrong Ji, Ling-Yu Duan, Jie Chen, Hongxun Yao, Tiejun Huang, Wen Gao:
Learning Compact Visual Descriptor for Low Bit Rate Mobile Landmark Search. 2456-2463 - Da Kuang, Xiao Li, Charles X. Ling:
A New Search Engine Integrating Hierarchical Browsing and Keyword Search. 2464-2469 - Yen-Ling Kuo, Jane Yung-jen Hsu:
Resource-Bounded Crowd-Sourcing of Commonsense Knowledge. 2470-2475 - Kennard R. Laviers, Gita Sukthankar:
A Real-Time Opponent Modeling System for Rush Football. 2476-2481 - Thomas Léauté, Boi Faltings:
Coordinating Logistics Operations with Privacy Guarantees. 2482-2487 - Fangtao Li, Minlie Huang, Yi Yang, Xiaoyan Zhu:
Learning to Identify Review Spam. 2488-2493 - Sameep Mehta, Girish Chafle, Gyana R. Parija, Vikas Kedia:
A System for Providing Differentiated QoS in Retail Banking. 2494-2499 - Sildomar T. Monteiro, Joop van de Ven, Fabio Ramos, Peter Hatherly:
Learning 3D Geological Structure from Drill-Rig Sensors for Automated Mining. 2500-2506 - Nozomi Nori, Danushka Bollegala, Mitsuru Ishizuka:
Interest Prediction on Multinomial, Time-Evolving Social Graph. 2507-2512 - Jean Oh, Felipe Meneguzzi, Katia P. Sycara, Timothy J. Norman:
An Agent Architecture for Prognostic Reasoning Assistance. 2513-2518 - Ismael Pascual-Nieto, Olga C. Santos, Diana Pérez-Marín, Jesus Boticario:
Extending Computer Assisted Assessment Systems with Natural Language Processing, User Modeling, and Recommendations Based on Human Computer Interaction and Data Mining. 2519-2524 - Dhirendra Singh, Sebastian Sardiña, Lin Padgham, Geoff James:
Integrating Learning into a BDI Agent for Environments with Changing Dynamics. 2525-2530 - Maarika Teose, Kiyan Ahmadizadeh, Eoin O'Mahony, Rebecca L. Smith, Zhao Lu, Stephen P. Ellner, Carla P. Gomes, Yrjö T. Gröhn:
Embedding System Dynamics in Agent Based Models for Complex Adaptive Systems. 2531-2538 - Siyu Xia, Ming Shao, Yun Fu:
Kinship Verification through Transfer Learning. 2539-2544 - Zhongtang Zhao, Yiqiang Chen, Junfa Liu, Zhiqi Shen, Mingjie Liu:
Cross-People Mobile-Phone Based Activity Recognition. 2545-2550 - Yabin Zheng, Chen Li, Maosong Sun:
CHIME: An Efficient Error-Tolerant Chinese Pinyin Input Method. 2551-2556
Best Paper Track
- Arvind Agarwal, Hal Daumé III:
A Geometric View of Conjugate Priors. 2558-2563 - Saleema Amershi, Bongshin Lee, Ashish Kapoor, Ratul Mahajan, Blaine Christian:
Human-Guided Machine Learning for Fast and Accurate Network Alarm Triage. 2564-2569 - Eli Ben-Sasson, Jan Johannsen:
Lower Bounds for Width-Restricted Clause Learning on Formulas of Small Width. 2570-2575 - Wei Chen, Zhenming Liu, Xiaorui Sun, Yajun Wang:
Community Detection in Social Networks through Community Formation Games. 2576-2581 - Julien Cojan, Jean Lieber:
An Algorithm for Adapting Cases Represented in ALC. 2582-2589 - Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli:
Exploring Protein Fragment Assembly Using CLP. 2590-2595 - Christian Drescher, Toby Walsh:
Translation-Based Constraint Answer Set Solving. 2596-2601 - Ulle Endriss, Sarit Kraus, Jérôme Lang, Michael J. Wooldridge:
Incentive Engineering for Boolean Games. 2602-2607 - Stefano Ermon, Carla P. Gomes, Bart Selman:
A Flat Histogram Method for Computing the Density of States of Combinatorial Problems. 2608-2613 - Andrew M. Finch, Wei Song, Kumiko Tanaka-Ishii, Eiichiro Sumita:
picoTrans: Using Pictures as Input for Machine Translation on Mobile Devices. 2614-2619 - Maria Fox, Derek Long, Daniele Magazzeni:
Automatic Construction of Efficient Multiple Battery Usage Policies. 2620-2625 - Martin Gebser, Orkunt Sabuncu, Torsten Schaub:
Finite Model Computation via Answer Set Programming. 2626-2631 - John Grant, Anthony Hunter:
Measuring the Good and the Bad in Inconsistent Information. 2632-2637 - Yuxiao Hu, Hector J. Levesque:
A Correctness Result for Reasoning about One-Dimensional Planning Problems. 2638-2643 - Mohsen Jamali, Martin Ester:
A Transitivity Aware Matrix Factorization Model for Recommendation in Social Networks. 2644-2649 - Jens Kober, Erhan Öztop, Jan Peters:
Reinforcement Learning to Adjust Robot Movements to New Situations. 2650-2655 - Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev:
The Combined Approach to Ontology-Based Data Access. 2656-2661 - Kalliopi Kravari, Constantinos Papatheodorou, Grigoris Antoniou, Nick Bassiliades:
Reasoning and Proofing Services for Semantic Web Agents. 2662-2667 - Markus Krötzsch:
Efficient Rule-Based Inferencing for OWL EL. 2668-2673 - Ranjitha Kumar, Jerry O. Talton, Salman Ahmad, Tim Roughgarden, Scott R. Klemmer:
Flexible Tree Matching. 2674-2679 - David B. Leake, Jay H. Powell:
Enhancing Case Adaptation with Introspective Reasoning and Web Mining. 2680-2685 - Benjamin M. Marlin, Richard S. Zemel, Sam T. Roweis, Malcolm Slaney:
Recommender Systems, Missing Data and Statistical Model Estimation. 2686-2691 - Dimitrios Mavroeidis:
Mind the Eigen-Gap, or How to Accelerate Semi-Supervised Spectral Learning Algorithms. 2692-2697 - Svetlana Obraztsova, Edith Elkind, Noam Hazon:
Ties Matter: Complexity of Voting Manipulation Revisited. 2698-2703 - Heather S. Packer, Nicholas Gibbins, Nicholas R. Jennings:
An On-Line Algorithm for Semantic Forgetting. 2704-2709 - James Pita, Milind Tambe, Christopher Kiekintveld, Shane Cullen, Erin Steigerwald:
GUARDS - Innovative Application of Game Theory for National Airport Security. 2710-2715 - Antonino Rotolo:
Norm Compliance of Rule-Based Cognitive Agents. 2716-2721 - Purnamrita Sarkar, Deepayan Chakrabarti, Andrew W. Moore:
Theoretical Justification of Popular Link Prediction Heuristics. 2722-2727 - Christophe Senot, Dimitre Kostadinov, Makram Bouzid, Jérôme Picault, Armen Aghasaryan:
Evaluation of Group Profiling Strategies. 2728-2733 - Dafna Shahaf, Carlos Guestrin:
Connecting the Dots between News Articles. 2734-2739 - Shai Shalev-Shwartz, Ohad Shamir, Karthik Sridharan:
Learning Linear and Kernel Predictors with the 0-1 Loss Function. 2740-2745 - Mike Smith, Ingmar Posner, Paul M. Newman:
Adaptive Data Compression for Robot Perception. 2746-2751 - Javier Vélez, Garrett Hemann, Albert S. Huang, Ingmar Posner, Nicholas Roy:
Active Exploration for Robust Object Detection. 2752-2757 - Shenghui Wang, Paul Groth:
A Framework for Longitudinal Influence Measurement between Communication Content and Social Networks. 2758-2763 - Jason Weston, Samy Bengio, Nicolas Usunier:
WSABIE: Scaling Up to Large Vocabulary Image Annotation. 2764-2770 - Koji Yatani, Michael Novati, Andrew Trusty, Khai N. Truong:
Analysis of Adjective-Noun Word Pair Extraction Methods for Online Review Summarization. 2771-2776 - Hsiang-Fu Yu, Cho-Jui Hsieh, Kai-Wei Chang, Chih-Jen Lin:
Large Linear Classification When Data Cannot Fit in Memory. 2777-2782
Doctoral Consortium
- James C. Boerkoel Jr.:
Solving the Multiagent Selection and Scheduling Problem. 2784-2785 - Federico Cerutti:
Decision Support through Argumentation-Based Practical Reasoning. 2786-2787 - Sook-Ling Chua, Stephen Marsland, Hans W. Guesgen:
Behaviour Recognition in Smart Homes. 2788-2789 - Jnaneshwar Das:
Statement of Thesis Research: Multi-Robot Sampling Strategies for Large-Scale Oceanographic Experiments. 2790-2791 - Hao Ding:
Control of Robotic Systems for Safe Interaction with Human Operators. 2792-2793 - Márcio Dorn, Luciana S. Buriol, Luís C. Lamb:
Combining Machine Learning and Optimization Techniques to Determine 3-D Structures of Polypeptides. 2794-2795 - Sergio Esparcia, Estefania Argente, Vicente J. Botti:
An Agent-Oriented Software Engineering Methodology to Develop Adaptive Virtual Organizations. 2796-2797 - Daniel S. Farenzena, Ricardo M. Araújo, Luís C. Lamb:
Towards Social Problem-Solving with Human Subjects. 2798-2799 - David Feil-Seifer:
Towards Spatial Methods for Socially Assistive Robotics: Validation with Children with Autism Spectrum Disorders. 2800-2801 - Richard G. Gibson, Duane Szafron:
Regret Minimization in Multiplayer Extensive Games. 2802-2803 - Umberto Grandi:
Combinatorial Aggregation. 2804-2805 - William Groves:
Combining Spatial and Temporal Aspects of Prediction Problems to Improve Prediction Performance. 2806-2807 - Joshua T. Guerin:
A Decision-Theoretic Academic Advisor: Extended Abstract. 2808-2809 - Paulo T. Guerra, Renata Wassermann:
Belief Revision on Computation Tree Logic. 2810-2811 - Patricia Gutierrez, Pedro Meseguer:
Distributed Constraint Optimization Problems Related with Soft Arc Consistency. 2812-2813 - Yasaman Haghpanah:
A Trust and Reputation Model for Supply Chain Management. 2814-2815 - Daniel Harabor:
Graph Pruning and Symmetry Breaking on Grid Maps. 2816-2817 - Andrey Kolobov, Mausam, Daniel S. Weld:
Towards Scalable MDP Algorithms. 2818-2819 - Andrew Koster, Jordi Sabater-Mir, W. Marco Schorlemmer:
Talking about Trust in Heterogeneous Multi-Agent Systems. 2820-2821 - Enrique Machuca:
An Analysis of Multiobjective Search Algorithms and Heuristics. 2822-2823 - Elisa Marengo, Matteo Baldoni, Cristina Baroglio:
On Temporal Regulations and Commitment Protocols. 2824-2825 - Maria Vanina Martinez:
Contributions to Personalizable Knowledge Integration. 2826-2827 - Nicholas Mattei:
Decision Making under Uncertainty: Social Choice and Manipulation. 2828-2829 - James P. McGlothlin, Latifur Khan, Bhavani Thuraisingham:
RDFKB: A Semantic Web Knowledge Base. 2830-2831 - Reshef Meir:
Research Proposal: Cooperation among Self Interested Agents. 2832-2833 - Sergio Pajares, Eva Onaindia:
Temporal Defeasible Argumentation in Multi-Agent Planning. 2834-2835 - Víctor Ponce-López, Mario Gorga, Xavier Baró, Sergio Escalera:
Human Behavior Analysis from Video Data Using Bag-of-Gestures. 2836-2837 - Marc Pujol-Gonzalez:
Multi-Agent Coordination: DCOPs and Beyond. 2838-2839 - Sindhu V. Raghavan:
Bayesian Abductive Logic Programs: A Probabilistic Logic for Abductive Reasoning. 2840-2841 - Gavin Rens:
From an Agent Logic to an Agent Programming Language for Partially Observable Stochastic Domains. 2842-2843 - Víctor Sánchez-Anguix, Vicente Julián, Ana García-Fornes:
Agent-Based Negotiation Teams. 2844-2845 - Patrice Seyed:
A Method for Evaluating and Standardizing Ontologies. 2846-2847 - Andreas Steck:
Towards a Model-Centric Cognitive Architecture for Service Robots. 2848-2849 - Jeremy Stober:
Sensorimotor Models of Space and Object Geometry. 2850-2851 - Keith Sullivan:
Multiagent Hierarchical Learning from Demonstration. 2852-2853 - Jordan Tyler Thayer:
Heuristic Search under Quality and Time Bounds. 2854-2855 - Son Thanh To:
On the Impact of Belief State Representation in Planning under Uncertainty. 2856-2857 - Nicola Vitucci:
Autonomous Object Manipulation: A Semantic-Driven Approach. 2858-2859 - Ko-Hsin Cindy Wang:
Tractable Massively Multi-Agent Pathfinding with Solution Quality and Completeness Guarantees. 2860-2861 - Kerstin Wendt, Ana Cortés:
Input Parameter Calibration in Forest Fire Spread Prediction: Taking the Intelligent Way. 2862-2863 - Baylor Wetzel:
Transfer Learning in Spatial Reasoning Puzzles. 2864-2865 - Jens Witkowski:
Trust Mechanisms for Online Systems (Extended Abstract). 2866-2867 - Dengji Zhao:
Mechanism Design for Dynamic Environments: Online Double Auctions. 2868-2969
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-22 03:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
