Table of Contents

• Organizers and Sponsors [doi]
• Employing Batch Reinforcement Learning to Control Gene Regulation Without Explicitly Constructing Gene Regulatory NetworksUtku Sirin, Faruk Polat, Reda Alhajj. [doi]
• 2013 Conference Organization [doi]
• Program Committee [doi]
• Past IJCAI Conferences [doi]
• IJCAI Organization [doi]
• Preface [doi]
• Awards and Distinguished Papers [doi]
• Computational Perspectives on Social Phenomena at Global ScalesJon M. Kleinberg. 2-4 [doi]
• Soft Robotics: The Next Generation of Intelligent MachinesRolf Pfeifer, Hugo Gravato Marques, Fumiya Iida. 5-11 [doi]
• Computational Disaster ManagementPascal Van Hentenryck. 12-19 [doi]
• Reasoning about Normative UpdateNatasha Alechina, Mehdi Dastani, Brian Logan. 20-26 [doi]
• Undecidability in Epistemic PlanningGuillaume Aucher, Thomas Bolander. 27-33 [doi]
• Maximal Recursive Rule: A New Social Decision SchemeHaris Aziz. 34-40 [doi]
• Audit GamesJeremiah Blocki, Nicolas Christin, Anupam Datta, Ariel D. Procaccia, Arunesh Sinha. 41-47 [doi]
• Using Double-Oracle Method and Serialized Alpha-Beta Search for Pruning in Simultaneous Move GamesBranislav Bosanský, Viliam Lisý, Jiri Cermak, Roman Vitek, Michal Pechoucek. 48-54 [doi]
• Externalities in Cake CuttingSimina Brânzei, Ariel D. Procaccia, Jie Zhang. 55-61 [doi]
• Are There Any Nicely Structured Preference Profiles Nearby?Robert Bredereck, Jiehua Chen, Gerhard J. Woeginger. 62-68 [doi]
• Conditional Restricted Boltzmann Machines for Negotiations in Highly Competitive and Complex DomainsSiqi Chen, Haitham Bou-Ammar, Karl Tuyls, Gerhard Weiss. 69-75 [doi]
• Kemeny Elections with Bounded Single-Peaked or Single-Crossing WidthDenis Cornaz, Lucie Galand, Olivier Spanjaard. 76-82 [doi]
• Intention-Aware Routing to Minimise Delays at Electric Vehicle Charging StationsMathijs Michiel de Weerdt, Enrico H. Gerding, Sebastian Stein, Valentin Robu, Nicholas R. Jennings. 83-89 [doi]
• Optimally Solving Dec-POMDPs as Continuous-State MDPsJilles Steeve Dibangoye, Christopher Amato, Olivier Buffet, François Charpillet. 90-96 [doi]
• Elicitation and Approximately Stable Matching with Partial PreferencesJoanna Drummond, Craig Boutilier. 97-105 [doi]
• C-Link: A Hierarchical Clustering Approach to Large-scale Near-optimal Coalition FormationAlessandro Farinelli, Manuele Bicego, Sarvapali D. Ramchurn, Mauro Zucchelli. 106-112 [doi]
• Control in the Presence of Manipulators: Cooperative and Competitive CasesZack Fitzsimmons, Edith Hemaspaandra, Lane A. Hemaspaandra. 113-119 [doi]
• Action Translation in Extensive-Form Games with Large Action Spaces: Axioms, Paradoxes, and the Pseudo-Harmonic MappingSam Ganzfried, Tuomas Sandholm. 120-128 [doi]
• Bargaining for Revenue Shares on Tree Trading NetworksArpita Ghosh, Satyen Kale, Kevin J. Lang, Benjamin Moseley. 129-135 [doi]
• A Matroid Approach to the Worst Case Allocation of Indivisible GoodsLaurent Gourvès, Jérôme Monnot, Lydia Tlilane. 136-142 [doi]
• Audience-Based Uncertainty in Abstract Argument GamesDavide Grossi, Wiebe van der Hoek. 143-149 [doi]
• Optimal Airline Ticket Purchasing Using Automated User-Guided Feature SelectionWilliam Groves, Maria L. Gini. 150-156 [doi]
• Revenue Maximization via Hiding Item AttributesMingyu Guo, Argyrios Deligkas. 157-163 [doi]
• Opponent Modelling in Persuasion DialoguesChristos Hadjinikolis, Yiannis Siantos, Sanjay Modgil, Elizabeth Black, Peter McBurney. 164-170 [doi]
• Sequential Equilibrium in Computational GamesJoseph Y. Halpern, Rafael Pass. 171-176 [doi]
• Why Is It So Hard to Say Sorry? Evolution of Apology with Commitments in the iterated Prisoner's DilemmaThe Anh Han, Luís Moniz Pereira, Francisco C. Santos, Tom Lenaerts. 177-183 [doi]
• The Dynamics of Reinforcement Social Learning in Cooperative Multiagent SystemsJianye Hao, Ho-Fung Leung. 184-190 [doi]
• Macau: A Basis for Evaluating Reputation SystemsChristopher J. Hazard, Munindar P. Singh. 191-197 [doi]
• How to Change a Group's Collective Decision?Noam Hazon, Raz Lin, Sarit Kraus. 198-205 [doi]
• A Game-Theoretic Machine Learning Approach for Revenue Maximization in Sponsored SearchDi He, Wei Chen, Liwei Wang, Tie-Yan Liu. 206-212 [doi]
• A Framework to Choose Trust Models for Different E-Marketplace EnvironmentsAthirai Aravazhi Irissappane, Siwei Jiang, Jie Zhang. 213-219 [doi]
• Defender (Mis)coordination in Security GamesAlbert Xin Jiang, Ariel D. Procaccia, Yundi Qian, Nisarg Shah, Milind Tambe. 220-226 [doi]
• A Social Welfare Optimal Sequential Allocation ProcedureThomas Kalinowski, Nina Narodytska, Toby Walsh. 227-233 [doi]
• An Intelligent Broker Agent for Energy Trading: An MDP ApproachRodrigue Talla Kuate, Minghua He, Maria Chli, Hai H. Wang. 234-240 [doi]
• Agent Failures in All-Pay AuctionsYoad Lewenberg, Omer Lev, Yoram Bachrach, Jeffrey S. Rosenschein. 241-247 [doi]
• Efficient Learning in Linearly Solvable MDP ModelsAng Li, Paul R. Schrater. 248-253 [doi]
• Game-Theoretic Question Selection for TestsYuqian Li, Vincent Conitzer. 254-262 [doi]
• Multi-Winner Social Choice with Incomplete PreferencesTyler Lu, Craig Boutilier. 263-270 [doi]
• An Ambiguity Aversion Framework of Security Games under AmbiguitiesWenjun Ma, Xudong Luo, Weiru Liu. 271-278 [doi]
• Multi-Agent Team Formation: Diversity Beats Strength?Leandro Soriano Marcolino, Albert Xin Jiang, Milind Tambe. 279-285 [doi]
• Control Complexity of Schulze VotingCurtis Glen Menton, Preetjot Singh. 286-292 [doi]
• Computational Analysis of Connectivity Games with Applications to the Investigation of Terrorist NetworksTomasz P. Michalak, Talal Rahwan, Piotr L. Szczepanski, Oskar Skibski, Ramasuri Narayanam, Nicholas R. Jennings, Michael J. Wooldridge. 293-301 [doi]
• Sufficient Plan-Time Statistics for Decentralized POMDPsFrans Adriaan Oliehoek. 302-308 [doi]
• Efficient Vote Elicitation under Candidate UncertaintyJoel Oren, Yuval Filmus, Craig Boutilier. 309-316 [doi]
• A Proof-Theoretical View of Collective RationalityDaniele Porello. 317-323 [doi]
• Coalitional Games via Network FlowsTalal Rahwan, Tri-Dung Nguyen, Tomasz P. Michalak, Maria Polukarov, Madalina Croitoru, Nicholas R. Jennings. 324-331 [doi]
• Opponent Models with Uncertainty for Strategic ArgumentationTjitze Rienstra, Matthias Thimm, Nir Oren. 332-338 [doi]
• Efficient Interdependent Value Combinatorial Auctions with Single Minded BiddersValentin Robu, David C. Parkes, Takayuki Ito, Nicholas R. Jennings. 339-345 [doi]
• Efficiently Solving Joint Activity Based Security GamesEric Anyung Shieh, Manish Jain, Albert Xin Jiang, Milind Tambe. 346-352 [doi]
• Fully Proportional Representation as Resource Allocation: Approximability ResultsPiotr Krzysztof Skowron, Piotr Faliszewski, Arkadii M. Slinko. 353-359 [doi]
• Bimodal Switching for Online Planning in Multiagent SettingsEkhlas Sonu, Prashant Doshi. 360-366 [doi]
• Analysis and Optimization of Multi-Dimensional Percentile MechanismsXin Sui, Craig Boutilier, Tuomas Sandholm. 367-374 [doi]
• Multi-Dimensional Single-Peaked Consistency and Its ApproximationsXin Sui, Alex Francois-Nienaber, Craig Boutilier. 375-382 [doi]
• An Efficient Vector-Based Representation for Coalitional GamesLong Tran-Thanh, Tri-Dung Nguyen, Talal Rahwan, Alex Rogers, Nicholas R. Jennings. 383-389 [doi]
• Endogenous Boolean GamesPaolo Turrini. 390-396 [doi]
• Monte-Carlo Expectation Maximization for Decentralized POMDPsFeng Wu, Shlomo Zilberstein, Nicholas R. Jennings. 397-403 [doi]
• Scaling-up Security Games with Boundedly Rational Adversaries: A Cutting-plane ApproachRong Yang, Albert Xin Jiang, Milind Tambe, Fernando Ordóñez. 404-410 [doi]
• Automated Generation of Interaction Graphs for Value-Factored Dec-POMDPsWilliam Yeoh, Akshat Kumar, Shlomo Zilberstein. 411-417 [doi]
• A Reputation Management Approach for Resource Constrained Trustee AgentsHan Yu, Chunyan Miao, Bo An, Cyril Leung, Victor R. Lesser. 418-424 [doi]
• Multiwinner Elections Under Preferences That Are Single-Peaked on a TreeLan Yu, Hau Chan, Edith Elkind. 425-431 [doi]
• On Random Quotas and Proportional Representation in Weighted Voting GamesYair Zick. 432-439 [doi]
• Robust Constraint Satisfaction and Local Hidden Variables in Quantum MechanicsSamson Abramsky, Georg Gottlob, Phokion G. Kolaitis. 440-446 [doi]
• Just-In-Time Compilation of Knowledge BasesGilles Audemard, Jean-Marie Lagniez, Laurent Simon. 447-453 [doi]
• Maintaining Alternative Values in Constraint-Based ConfigurationCaroline Becker, Hélène Fargier. 454-460 [doi]
• Breakout Local Search for the Vertex Separator ProblemUna Benlic, Jin-Kao Hao. 461-467 [doi]
• Detecting and Exploiting Subproblem TractabilityChristian Bessiere, Clément Carbonnel, Emmanuel Hebrard, George Katsirelos, Toby Walsh. 468-474 [doi]
• Constraint Acquisition via Partial QueriesChristian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh. 475-481 [doi]
• On the Complexity of Trick-Taking Card GamesEdouard Bonnet, Florian Jamain, Abdallah Saffidine. 482-488 [doi]
• Comprehensive Score: Towards Efficient Local Search for SAT with Long ClausesShaowei Cai, Kaile Su. 489-495 [doi]
• A Tree-Based Tabu Search Algorithm for the Manpower Allocation Problem with TimeWindows and Job-Teaming ConstraintsYilin Cai, Zizhen Zhang, Songshan Guo, Hu Qin, Andrew Lim. 496-502 [doi]
• On the Complexity of Global Scheduling Constraints under Structural RestrictionsGeoffrey Chu, Serge Gaspers, Nina Narodytska, Andreas Schutt, Toby Walsh. 503-509 [doi]
• Breaking Symmetries in Graph RepresentationMichael Codish, Alice Miller, Patrick Prosser, Peter James Stuckey. 510-516 [doi]
• Variable Elimination in Binary CSP via Forbidden PatternsDavid A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivny. 517-523 [doi]
• Weight-Enhanced Diversification in Stochastic Local Search for SatisfiabilityThach-Thao Nguyen Duong, Duc Nghia Pham, Abdul Sattar, M. A. Hakim Newton. 524-530 [doi]
• An Approach to Abductive Reasoning in Equational LogicMnacho Echenim, Nicolas Peltier, Sophie Tourret. 531-537 [doi]
• Dominance Rules for the Choquet Integral in Multiobjective Dynamic ProgrammingLucie Galand, Julien Lesca, Patrice Perny. 538-544 [doi]
• Constraint Satisfaction and Fair Multi-Objective Optimization Problems: Foundations, Complexity, and Islands of TractabilityGianluigi Greco, Francesco Scarcello. 545-551 [doi]
• Preserving Partial Solutions While Relaxing Constraint NetworksÉric Grégoire, Jean-Marie Lagniez, Bertrand Mazure. 552-558 [doi]
• Sufficiency-Based Selection Strategy for MCTSStefan Freyr Gudmundsson, Yngvi Björnsson. 559-565 [doi]
• DeQED: An Efficient Divide-and-Coordinate Algorithm for DCOPDaisuke Hatano, Katsutoshi Hirayama. 566-572 [doi]
• Extending Simple Tabular Reduction with Short SupportsChristopher Jefferson, Peter Nightingale. 573-579 [doi]
• Monte Carlo *-Minimax SearchMarc Lanctot, Abdallah Saffidine, Joel Veness, Christopher Archibald, Mark H. M. Winands. 580-586 [doi]
• Double-Wheel Graphs Are GracefulRonan LeBras, Carla P. Gomes, Bart Selman. 587-593 [doi]
• Predicting the Size of Depth-First Branch and Bound Search TreesLevi H. S. Lelis, Lars Otten, Rina Dechter. 594-600 [doi]
• Target-Value Search RevisitedCarlos Linares López, Roni Stern, Ariel Felner. 601-607 [doi]
• Algorithm Portfolios Based on Cost-Sensitive Hierarchical ClusteringYuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann. 608-614 [doi]
• On Computing Minimal Correction SubsetsJoao Marques-Silva, Federico Heras, Mikolás Janota, Alessandro Previti, Anton Belov. 615-622 [doi]
• Search Strategies for Optimal Multi-Way Number PartitioningMichael D. Moffitt. 623-629 [doi]
• Three Generalizations of the FOCUS ConstraintNina Narodytska, Thierry Petit, Mohamed Siala 0002, Toby Walsh. 630-636 [doi]
• Subset Selection of Search HeuristicsD. Chris Rayner, Nathan R. Sturtevant, Michael Bowling. 637-643 [doi]
• Semiring-Based Mini-Bucket Partitioning SchemesEmma Rollon, Javier Larrosa, Rina Dechter. 644-650 [doi]
• Improved Bin Completion for Optimal Bin Packing and Number PartitioningEthan L. Schreiber, Richard E. Korf. 651-658 [doi]
• Forward Perimeter Search with Controlled Use of MemoryThorsten Schütt, Robert Döbbelin, Alexander Reinefeld. 659-665 [doi]
• Minimizing Writes in Parallel External Memory SearchNathan R. Sturtevant, Matthew J. Rutherford. 666-673 [doi]
• Toward Rational Deployment of Multiple Heuristics in ADavid Tolpin, Tal Beja, Solomon Eyal Shimony, Ariel Felner, Erez Karpas. 674-680 [doi]
• A Unified Approximate Nearest Neighbor Search Scheme by Combining Data Structure and HashingDebing Zhang, Genmao Yang, Yao Hu, Zhongming Jin, Deng Cai, Xiaofei He. 681-688 [doi]
• Verifiable Equilibria in Boolean GamesThomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael Wooldridge. 689-695 [doi]
• Efficient Approach to Solve the Minimal Labeling Problem of Temporal and Spatial Qualitative ConstraintsNouhad Amaneddine, Jean-François Condotta, Michael Sioutis. 696-702 [doi]
• Exchanging OWL 2 QL Knowledge BasesMarcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov. 703-710 [doi]
• Temporal Description Logic for Ontology-Based Data AccessAlessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev. 711-717 [doi]
• Functional Stable Model Semantics and Answer Set Programming Modulo TheoriesMichael Bartholomew, Joohyung Lee. 718-724 [doi]
• Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted SystemsFrancesco Belardinelli, Alessio Lomuscio. 725-731 [doi]
• Reasoning about Continuous Uncertainty in the Situation CalculusVaishak Belle, Hector J. Levesque. 732-738 [doi]
• Syntactic Computation of Hybrid Possibilistic Conditioning under Uncertain InputsSalem Benferhat, Célia da Costa Pereira, Andrea G. B. Tettamanzi. 739-745 [doi]
• Automating Quantified Conditional Logics in HOLChristoph Benzmueller. 746-753 [doi]
• First-Order Rewritability of Atomic Queries in Horn Description LogicsMeghyn Bienvenu, Carsten Lutz, Frank Wolter. 754-760 [doi]
• Conjunctive Regular Path Queries in Lightweight Description LogicsMeghyn Bienvenu, Magdalena Ortiz, Mantas Simkus. 761-767 [doi]
• Tractable Queries for Lightweight Description LogicsMeghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao. 768-774 [doi]
• Tractable Approximations of Consistent Query Answering for Robust Ontology-based Data AccessMeghyn Bienvenu, Riccardo Rosati. 775-781 [doi]
• The Markov Assumption: Formalization and ImpactAlexander Bochman. 782-788 [doi]
• Positive Subsumption in Fuzzy EL with General t-NormsStefan Borgwardt, Rafael Peñaloza. 789-795 [doi]
• The Impact of Disjunction on Query Answering Under Guarded-Based Existential RulesPierre Bourhis, Michael Morak, Andreas Pieris. 796-802 [doi]
• Abstract Dialectical Frameworks RevisitedGerhard Brewka, Hannes Strass, Stefan Ellmauthaler, Johannes Peter Wallner, Stefan Woltran. 803-809 [doi]
• Verification of Inconsistency-Aware Knowledge and Action BasesDiego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov. 810-816 [doi]
• Automated Reasoning to Infer all Minimal KeysPablo Cordero, Manuel Enciso, Angel Mora. 817-823 [doi]
• Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?Nadia Creignou, Reinhard Pichler, Stefan Woltran. 824-831 [doi]
• Computing Datalog Rewritings Beyond Horn OntologiesBernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks. 832-838 [doi]
• Sequences of Mechanisms for Causal Reasoning in Artificial IntelligenceDenver Dash, Mark Voortman, Martijn de Jongh. 839-845 [doi]
• Bounded Epistemic Situation Calculus TheoriesGiuseppe De Giacomo, Yves Lespérance, Fabio Patrizi. 846-853 [doi]
• Linear Temporal Logic and Linear Dynamic Logic on Finite TracesGiuseppe De Giacomo, Moshe Y. Vardi. 854-860 [doi]
• A Formal Account of Nondeterministic and Failed ActionsJames P. Delgrande, Hector J. Levesque. 861-868 [doi]
• Data Repair of Inconsistent DL-ProgramsThomas Eiter, Michael Fink, Daria Stepanova 0001. 869-876 [doi]
• Towards a Knowledge Compilation Map for Heterogeneous Representation LanguageHélène Fargier, Pierre Marquis, Alexandre Niveau. 877-883 [doi]
• Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency IssuesHélène Fargier, Pierre Marquis, Nicolas Schmidt. 884-890 [doi]
• FQHT: The Logic of Stable Models for Logic Programs with Intensional FunctionsLuis Fariñas del Cerro, David Pearce, Agustín Valverde. 891-897 [doi]
• On the Complexity of Probabilistic Abstract ArgumentationBettina Fazzinga, Sergio Flesca, Francesco Parisi. 898-904 [doi]
• Representation and Reasoning about General Solid RectanglesXiaoyu Ge, Jochen Renz. 905-911 [doi]
• Advanced Conflict-Driven Disjunctive Answer Set SolvingMartin Gebser, Benjamin Kaufmann, Torsten Schaub. 912-918 [doi]
• A Strongly-Local Contextual LogicMichael James Gratton. 919-925 [doi]
• Bounded Programs: A New Decidable Class of Logic Programs with Function SymbolsSergio Greco, Cristian Molinaro, Irina Trubitsyna. 926-931 [doi]
• Iterated Boolean GamesJulian Gutierrez, Paul Harrenstein, Michael Wooldridge. 932-938 [doi]
• Implicit Learning of Common Sense for ReasoningBrendan Juba. 939-946 [doi]
• Knowledge Compilation for Model Counting: Affine Decision TreesFrédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas. 947-953 [doi]
• Parameterized Complexity of Optimal Planning: A Detailed MapMartin Kronegger, Andreas Pfandler, Reinhard Pichler. 954-961 [doi]
• Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALCAgnieszka Kulacka, Dirk Pattinson, Lutz Schröder. 962-968 [doi]
• Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown IndividualsGerhard Lakemeyer, Hector J. Levesque. 969-975 [doi]
• StarVars - Effective Reasoning about Relative DirectionsJae Hee Lee, Jochen Renz, Diedrich Wolter. 976-982 [doi]
• Action Language BC: Preliminary ReportJoohyung Lee, Vladimir Lifschitz, Fangkai Yang. 983-989 [doi]
• Answer Set Programming Modulo Theories and Reasoning about Continuous ChangesJoohyung Lee, Yunsong Meng. 990-996 [doi]
• Reasoning about State Constraints in the Situation CalculusNaiqi Li, Yi Fan, Yongmei Liu. 997-1003 [doi]
• Analogico-Deductive Generation of Gödel's First Incompleteness Theorem from the Liar ParadoxJohn Licato, Naveen Sundar Govindarajulu, Selmer Bringsjord, Michael Pomeranz, Logan Gittelson. 1004-1009 [doi]
• An Epistemic Halpern-Shoham LogicAlessio Lomuscio, Jakub Michaliszyn. 1010-1016 [doi]
• Preference-Based Query Answering in Datalog+/- OntologiesThomas Lukasiewicz, Maria Vanina Martinez, Gerardo Ignacio Simari. 1017-1023 [doi]
• Ontology-Based Data Access with Closed Predicates is Inherently Intractable(Sometimes)Carsten Lutz, Inanç Seylan, Frank Wolter. 1024-1030 [doi]
• Computing Stable Models for Nonmonotonic Existential RulesDespoina Magka, Markus Krötzsch, Ian Horrocks. 1031-1038 [doi]
• The Route to Success - A Performance Comparison of Diagnosis AlgorithmsIulia Nica, Ingo Pill, Thomas Quaritsch, Franz Wotawa. 1039-1045 [doi]
• Backdoors to AbductionAndreas Pfandler, Stefan Rümmele, Stefan Szeider. 1046-1052 [doi]
• Behavioral Diagnosis of LTL Specifications at Operator LevelIngo Pill, Thomas Quaritsch. 1053-1059 [doi]
• Cyclic Causal Models with Discrete Variables: Markov Chain Equilibrium Semantics and Sample OrderingDavid Poole, Mark Crowley. 1060-1068 [doi]
• Learning from Polyhedral SetsSalvatore Ruggieri. 1069-1075 [doi]
• Efficient Extraction and Representation of Spatial Information from Video DataHajar Sadeghi Sokeh, Stephen Gould, Jochen Renz. 1076-1082 [doi]
• Combining RCC5 Relations with Betweenness InformationSteven Schockaert, Sanjiang Li. 1083-1089 [doi]
• Interpolative Reasoning with Default RulesSteven Schockaert, Henri Prade. 1090-1096 [doi]
• On Condensing a Sequence of Updates in Answer-Set ProgrammingMartin Slota, João Leite. 1097-1103 [doi]
• Nominal Schema AbsorptionAndreas Steigmiller, Birte Glimm, Thorsten Liebig. 1104-1110 [doi]
• Granular Description of Qualitative ChangeJohn G. Stell. 1111-1117 [doi]
• A Rational Extension of Stable Model Semantics to the Full Propositional LanguageShahab Tasharrofi. 1118-1124 [doi]
• Compact Rewritings for Existential RulesMichaël Thomazo. 1125-1131 [doi]
• A Classification of First-Order Progressable Action Theories in Situation CalculusStavros Vassos, Fabio Patrizi. 1132-1138 [doi]
• An Alternative Axiomatization of DEL and Its ApplicationsYanjing Wang, Guillaume Aucher. 1139-1146 [doi]
• Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv OperatorsYanjing Wang, Jie Fan. 1147-1154 [doi]
• Multi-Agent Subset Space LogicYi Nicholas Wang, Thomas Ågotnes. 1155-1161 [doi]
• Forgetting for Answer Set Programs RevisitedYisong Wang, Kewen Wang, Mingyi Zhang. 1162-1168 [doi]
• Transition Constraints: A Study on the Computational Complexity of Qualitative ChangeMatthias Westphal, Julien Hué, Stefan Wölfl, Bernhard Nebel. 1169-1175 [doi]
• Supremal Realizability of Behaviors with Uncontrollable Exogenous EventsNitin Yadav, Paolo Felli, Giuseppe De Giacomo, Sebastian Sardiña. 1176-1182 [doi]
• Multi-Agent Epistemic Explanatory Diagnosis via Reasoning about ActionsQuan Yu, Ximing Wen, Yongmei Liu. 1183-1190 [doi]
• Most Specific Generalizations w.r.t. General EL-TBoxesBenjamin Zarrieß, Anni-Yasmin Turhan. 1191-1197 [doi]
• First-Order Expressibility and Boundedness of Disjunctive Logic ProgramsHeng Zhang, Yan Zhang. 1198-1204 [doi]
• Definability of Horn Revision from Horn ContractionZhi Qiang Zhuang, Maurice Pagnucco, Yan Zhang. 1205-1212 [doi]
• Learning Community-Based Preferences via Dirichlet Process Mixtures of Gaussian ProcessesEhsan Abbasnejad, Scott Sanner, Edwin V. Bonilla, Pascal Poupart. 1213-1219 [doi]
• An Ensemble of Bayesian Networks for Multilabel ClassificationAlessandro Antonucci, Giorgio Corani, Denis Deratani Mauá, Sandra Gabaglio. 1220-1225 [doi]
• Self-Organized Neural Learning of Statistical Inference from High-Dimensional DataJohannes Bauer, Stefan Wermter. 1226-1232 [doi]
• Basic Level in Formal Concept Analysis: Interesting Concepts and Psychological RamificationsRadim Belohlávek, Martin Trnecka. 1233-1239 [doi]
• Exact Top-k Feature Selection via l2, 0-Norm ConstraintXiao Cai, Feiping Nie, Heng Huang. 1240-1246 [doi]
• Regularized Latent Least Square Regression for Cross Pose Face RecognitionXinyuan Cai, Chunheng Wang, Baihua Xiao, Xue Chen, Ji Zhou. 1247-1253 [doi]
• Robust Tensor Clustering with Non-Greedy MaximizationXiaochun Cao, Xingxing Wei, Yahong Han, Yi Yang, Dongdai Lin. 1254-1259 [doi]
• Central Clustering of Categorical Data with Automated Feature WeightingLifei Chen, Shengrui Wang. 1260-1266 [doi]
• Dimensionality Reduction with Generalized Linear ModelsMo Chen, Wei Li, Xiaogang Wang, Wei Zhang 0010. 1267-1272 [doi]
• Generalized Relational Topic Models with Data AugmentationNing Chen, Jun Zhu, Fei Xia, Bo Zhang. 1273-1279 [doi]
• Domain Adaptation with Topical Correspondence LearningZheng Chen, Weixiong Zhang. 1280-1286 [doi]
• Bayesian Nonparametric Feature Construction for Inverse Reinforcement LearningJaedeug Choi, Kee-Eung Kim. 1287-1293 [doi]
• A Lossy Counting Based Approach for Learning on Streams of Graphs on a BudgetGiovanni Da San Martino, Nicolò Navarin, Alessandro Sperduti. 1294-1301 [doi]
• Bootstrap Learning via Modular Concept DiscoveryEyal Dechter, Jonathan Malmaud, Ryan P. Adams, Joshua B. Tenenbaum. 1302-1309 [doi]
• Topic Extraction from Online Reviews for Classification and RecommendationRuihai Dong, Markus Schaal, Michael P. O'Mahony, Barry Smyth. 1310-1316 [doi]
• Towards Robust Co-ClusteringLiang Du, Yi-Dong Shen. 1317-1322 [doi]
• Learning Finite Beta-Liouville Mixture Models via Variational Bayes for Proportional Data ClusteringWentao Fan, Nizar Bouguila. 1323-1329 [doi]
• Optimizing Cepstral Features for Audio ClassificationZhouyu Fu, Guojun Lu, Kai Ming Ting, Dengsheng Zhang. 1330-1336 [doi]
• Uniform Convergence, Stability and Learnability for Ranking ProblemsWei Gao, Zhi-Hua Zhou. 1337-1343 [doi]
• Active Learning for Level Set EstimationAlkis Gotovos, Nathalie Casati, Gregory Hitz, Andreas Krause. 1344-1350 [doi]
• Histogram of Oriented Displacements (HOD): Describing Trajectories of Human Joints for Action RecognitionMohammad Abdelaziz Gowayyed, Marwan Torki, Mohammed Elsayed Hussein, Motaz El-Saban. 1351-1357 [doi]
• Multi-Prototype Label Ranking with Novel Pairwise-to-Total-Rank AggregationMihajlo Grbovic, Nemanja Djuric, Slobodan Vucetic. 1358-1364 [doi]
• MiningZinc: A Modeling Language for Constraint-Based MiningTias Guns, Anton Dries, Guido Tack, Siegfried Nijssen, Luc De Raedt. 1365-1372 [doi]
• Probabilistic Multi-Label Classification with Sparse Feature LearningYuhong Guo, Wei Xue. 1373-1379 [doi]
• Co-Regularized Ensemble for Feature SelectionYahong Han, Yi Yang, Xiaofang Zhou. 1380-1386 [doi]
• Improving Traffic Prediction with Tweet SemanticsJingrui He, Wei Shen, Phani Divakaruni, Laura Wynter, Rick Lawrence. 1387-1393 [doi]
• A General Framework for Interacting Bayes-Optimally with Self-Interested Agents using Arbitrary Parametric Model and Model PriorTrong Nghia Hoang, Kian Hsiang Low. 1394-1400 [doi]
• What Users Care About: A Framework for Social Content AlignmentLei Hou, Juanzi Li, Xiaoli Li, Jiangfeng Qu, Xiaofei Guo, Ou Hui, Jie Tang. 1401-1407 [doi]
• Efficient Kernel Learning from Side Information Using ADMMEn-Liang Hu, James T. Kwok. 1408-1414 [doi]
• Active Learning Based on Local RepresentationYao Hu, Debing Zhang, Zhongming Jin, Deng Cai, Xiaofei He. 1415-1421 [doi]
• Online HashingLong-Kai Huang, Qiang Yang 0010, Wei-Shi Zheng. 1422-1428 [doi]
• Discovering Different Types of Topics: Factored Topic ModelsYun Jiang, Ashutosh Saxena. 1429-1436 [doi]
• Prior-Free Exploration Bonus for and beyond Near Bayes-Optimal BehaviorKenji Kawaguchi, Hiroshi Sato. 1437-1443 [doi]
• Causal Inference with Rare Events in Large-Scale Time-Series DataSamantha Kleinberg. 1444-1450 [doi]
• Active Learning for Teaching a Robot Grounded Relational SymbolsJohannes Kulick, Marc Toussaint, Tobias Lang, Manuel Lopes. 1451-1457 [doi]
• Adaptive Thresholding in Structure Learning of a Bayesian NetworkBoaz Lerner, Michal Afek, Rafi Bojmel. 1458-1464 [doi]
• A Bayesian Factorised Covariance Model for Image AnalysisJun Li 0010, Dacheng Tao. 1465-1471 [doi]
• Low-Rank Coding with b-Matching Constraint for Semi-Supervised ClassificationSheng Li, Yun Fu. 1472-1478 [doi]
• Active Learning with Multi-Label SVM ClassificationXin Li, Yuhong Guo. 1479-1485 [doi]
• Large-Scale Spectral Clustering on GraphsJialu Liu, Chi Wang, Marina Danilevsky, Jiawei Han. 1486-1492 [doi]
• Learning Discriminative Representations from RGB-D Video DataLi Liu, Ling Shao. 1493-1500 [doi]
• Online Expectation Maximization for Reinforcement Learning in POMDPsMiao Liu, Xuejun Liao, Lawrence Carin. 1501-1507 [doi]
• The Multi-Feature Information Bottleneck with Application to Unsupervised Image CategorizationZhengzheng Lou, Yangdong Ye, Xiaoqiang Yan. 1508-1515 [doi]
• Learning Canonical Correlations of Paired Tensor Sets Via Tensor-to-Vector ProjectionHaiping Lu. 1516-1522 [doi]
• Learning Descriptive Visual Representation by Semantic Regularized Matrix FactorizationZhiwu Lu, Yuxin Peng. 1523-1529 [doi]
• Thinking of Images as What They Are: Compound Matrix Regression for Image ClassificationZhigang Ma, Yi Yang, Feiping Nie, Nicu Sebe. 1530-1536 [doi]
• An Empirical Investigation of Ceteris Paribus LearnabilityLoizos Michael, Elena Papageorgiou. 1537-1543 [doi]
• Statistical Tests for the Detection of the Arrow of Time in Vector Autoregressive ModelsPablo Morales-Mombiela, Daniel Hernández-Lobato, Alberto Suárez. 1544-1550 [doi]
• Meta-Interpretive Learning of Higher-Order Dyadic Datalog: Predicate Invention revisitedStephen H. Muggleton, Dianhuan Lin. 1551-1557 [doi]
• Multi-Modal Image Annotation with Multi-Instance Multi-Label LDACam-Tu Nguyen, De-Chuan Zhan, Zhi-Hua Zhou. 1558-1564 [doi]
• Adaptive Loss Minimization for Semi-Supervised Elastic EmbeddingFeiping Nie, Hua Wang, Heng Huang, Chris H. Q. Ding. 1565-1571 [doi]
• Early Active Learning via Robust Representation and Structured SparsityFeiping Nie, Hua Wang, Heng Huang, Chris H. Q. Ding. 1572-1578 [doi]
• Annealed Importance Sampling for Structure Learning in Bayesian NetworksTeppo Mikael Niinimäki, Mikko Koivisto. 1579-1585 [doi]
• Graph Classification with Imbalanced Class Distributions and NoiseShirui Pan, Xingquan Zhu. 1586-1592 [doi]
• Hierarchical Bayesian Matrix Factorization with Side InformationSunHo Park, Yong-Deok Kim, Seungjin Choi. 1593-1599 [doi]
• A Scalable Approach to Column-Based Low-Rank Matrix ApproximationYifan Pi, Haoruo Peng, Shuchang Zhou, Zhihua Zhang. 1600-1606 [doi]
• Multiple Task Learning Using Iteratively Reweighted Least SquareJian Pu, Yu-Gang Jiang, Jun Wang 0006, Xiangyang Xue. 1607-1613 [doi]
• Active Learning from Relative QueriesBuyue Qian, Xiang Wang, Fei Wang, Hongfei Li, Jieping Ye, Ian Davidson. 1614-1620 [doi]
• Robust Unsupervised Feature SelectionMingjie Qian, ChengXiang Zhai. 1621-1627 [doi]
• Path Integral Control by Reproducing Kernel Hilbert Space EmbeddingKonrad Rawlik, Marc Toussaint, Sethu Vijayakumar. 1628-1634 [doi]
• Machine-Learning-Based Circuit SynthesisLior Rokach, Meir Kalech, Gregory M. Provan, Alexander Feldman. 1635-1641 [doi]
• Weighted Path as a Condensed Pattern in a Single Attributed DAGJérémy Sanhes, Frédéric Flouvat, Claude Pasquier, Nazha Selmaoui-Folcher, Jean-François Boulicaut. 1642-1648 [doi]
• Multi-Dimensional Causal DiscoveryUlrich Schaechtle, Kostas Stathis, Stefano Bromuri. 1649-1655 [doi]
• Better Generalization with ForecastsTom Schaul, Mark B. Ring. 1656-1662 [doi]
• Supervised Hypothesis Discovery Using Syllogistic Patterns in the Biomedical LiteratureKazuhiro Seki, Kuniaki Uehara. 1663-1669 [doi]
• Guarantees of Augmented Trace Norm Models in Tensor RecoveryZiqiang Shi, Jiqing Han, Tieran Zheng, Ji Li. 1670-1676 [doi]
• Hartigan's K-Means Versus Lloyd's K-Means - Is It Time for a Change?Noam Slonim, Ehud Aharoni, Koby Crammer. 1677-1684 [doi]
• One-Class Conditional Random Fields for Sequential Anomaly DetectionYale Song, Zhen Wen, Ching-Yung Lin, Randall Davis. 1685-1691 [doi]
• Measuring Statistical Dependence via the Mutual Information DimensionMahito Sugiyama, Karsten M. Borgwardt. 1692-1698 [doi]
• Unlearning from DemonstrationKeith Sullivan, Ahmed ElMolla, Bill Squires, Sean Luke. 1699-1705 [doi]
• Multi-View Maximum Entropy DiscriminationShiliang Sun, Guoqing Chao. 1706-1712 [doi]
• Non-Negative Multiple Matrix FactorizationKoh Takeuchi, Katsuhiko Ishiguro, Akisato Kimura, Hiroshi Sawada. 1713-1720 [doi]
• Linear Bayesian Reinforcement LearningNikolaos Tziortziotis, Christos Dimitrakakis, Konstantinos Blekas. 1721-1728 [doi]
• Multi Class Learning with Individual SparsityBen Zion Vatashsky, Koby Crammer. 1729-1735 [doi]
• Coupled Attribute Analysis on Numerical DataCan Wang, Zhong She, Longbing Cao. 1736-1742 [doi]
• Manifold Alignment Preserving Global GeometryChang Wang 0001, Sridhar Mahadevan. 1743-1749 [doi]
• Large Scale Online Kernel ClassificationSteven C. H. Hoi, Jialei Wang, Peilin Zhao, Jinfeng Zhuang, Zhi-Yong Liu. 1750-1756 [doi]
• Online Group Feature SelectionJing Wang, Zhong-Qiu Zhao, Xuegang Hu, Yiu-ming Cheung, Meng Wang, Xindong Wu. 1757-1763 [doi]
• Nonconvex Relaxation Approaches to Robust Matrix RecoveryShusen Wang, Dehua Liu, Zhihua Zhang. 1764-1770 [doi]
• A KNN Based Kalman Filter Gaussian Process RegressionYali Wang, Brahim Chaib-draa. 1771-1777 [doi]
• Bayesian Optimization in High Dimensions via Random EmbeddingsZiyu Wang, Masrour Zoghi, Frank Hutter, David Matheson, Nando de Freitas. 1778-1784 [doi]
• Deep Feature Learning Using Target Priors with Applications in ECoG Signal Decoding for BCIZuoguan Wang, Siwei Lyu, Gerwin Schalk, Qiang Ji. 1785-1791 [doi]
• Euler ClusteringJian-Sheng Wu, Wei-Shi Zheng, Jian-Huang Lai. 1792-1798 [doi]
• A Theoretic Framework of K-Means-Based Consensus ClusteringJunjie Wu, Hongfu Liu, Hui Xiong, Jie Cao. 1799-1805 [doi]
• Multi-Modal Distance Metric LearningPengtao Xie, Eric P. Xing. 1806-1812 [doi]
• A Probabilistic Approach to Latent Cluster AnalysisZhipeng Xie, Rui Dong, Zhengheng Deng, Zhenying He, Weidong Yang. 1813-1819 [doi]
• Harmonious HashingBin Xu, Jiajun Bu, Yue Lin, Chun Chen, Xiaofei He, Deng Cai. 1820-1826 [doi]
• Change-Point Detection with Feature Selection in High-Dimensional Time-Series DataMakoto Yamada, Akisato Kimura, Futoshi Naya, Hiroshi Sawada. 1827-1833 [doi]
• On Robust Estimation of High Dimensional Generalized Linear ModelsEunho Yang, Ambuj Tewari, Pradeep D. Ravikumar. 1834-1840 [doi]
• Reduced Heteroscedasticity Linear Regression for Nyström ApproximationHao Yang, Jianxin Wu. 1841-1847 [doi]
• Multi-View Discriminant Transfer LearningPei Yang, Wei Gao. 1848-1854 [doi]
• Smart Hashing Update for Fast ResponseQiang Yang 0010, Long-Kai Huang, Wei-Shi Zheng, Yingbiao Ling. 1855-1861 [doi]
• Multi-Instance Multi-Label Learning with Weak LabelShu-Jun Yang, Yuan Jiang, Zhi-Hua Zhou. 1862-1868 [doi]
• Protein Function Prediction by Integrating Multiple KernelsGuo-Xian Yu, Huzefa Rangwala, Carlotta Domeniconi, Guoji Zhang, Zili Zhang. 1869-1875 [doi]
• Learning Domain Differences Automatically for Dependency Parsing AdaptationMo Yu, Tiejun Zhao, Yalong Bai. 1876-1882 [doi]
• Bilevel Visual Words Coding for Image ClassificationJiemi Zhang, Chenxia Wu, Deng Cai, Jianke Zhu. 1883-1888 [doi]
• Sparse Reconstruction for Weakly Supervised Semantic SegmentationKe Zhang, Wei Zhang, Yingbin Zheng, Xiangyang Xue. 1889-1895 [doi]
• Semi-Supervised Learning with Manifold Fitted GraphsTongtao Zhang, Rongrong Ji, Wei Liu, Dacheng Tao, Gang Hua. 1896-1902 [doi]
• Online Community Detection for Large Complex NetworksWangsheng Zhang, Gang Pan, Zhaohui Wu, Shijian Li. 1903-1909 [doi]
• Multi-View Embedding Learning for Incompletely Labeled DataWei Zhang, Ke Zhang, Pan Gu, Xiangyang Xue. 1910-1916 [doi]
• Learning High-Order Task Relationships in Multi-Task LearningYu Zhang, Dit-Yan Yeung. 1917-1923 [doi]
• Lazy Paired Hyper-Parameter TuningAlice X. Zheng, Mikhail Bilenko. 1924-1931 [doi]
• Adaptive Error-Correcting Output CodesGuoqiang Zhong, Mohamed Cheriet. 1932-1938 [doi]
• Accurate Probability Calibration for Multiple ClassifiersWenliang Zhong, James T. Kwok. 1939-1945 [doi]
• Shifted Subspaces Tracking on Sparse Outlier for Motion SegmentationTianyi Zhou, Dacheng Tao. 1946-1952 [doi]
• Persistent Homology: An Introduction and a New Text Representation for Natural Language ProcessingXiaojin Zhu. 1953-1959 [doi]
• Concept Learning for Cross-Domain Text Classification: A General Probabilistic FrameworkFuzhen Zhuang, Ping Luo, Peifeng Yin, Qing He, Zhongzhi Shi. 1960-1967 [doi]
• Automatically Generating Problems and Solutions for Natural DeductionUmair Z. Ahmed, Sumit Gulwani, Amey Karkare. 1968-1975 [doi]
• Automated Grading of DFA ConstructionsRajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan. 1976-1982 [doi]
• Misleading Opinions Provided by Advisors: Dishonesty or SubjectivityHui Fang, Yang Bao, Jie Zhang. 1983-1989 [doi]
• Personalized Diagnosis for Over-Constrained ProblemsAlexander Felfernig, Monika Schubert, Stefan Reiterer. 1990-1996 [doi]
• A Brain-Computer Interface to a Plan-Based NarrativeStephen William Gilroy, Julie Porteous, Fred Charles, Marc Cavazza, Eyal Soreq, Gal Raz, Limor Ikar, Ayelet Or-Borichov, Udi Ben-Arie, Ilana Klovatch, Talma Hendler. 1997-2005 [doi]
• Robust Median Reversion Strategy for On-Line Portfolio SelectionDingjiang Huang, Junlong Zhou, Bin Li, Steven C. H. Hoi, Shuigeng Zhou. 2006-2012 [doi]
• A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised EnvironmentsPanagiotis Kouvaros, Alessio Lomuscio. 2013-2019 [doi]
• TutorialPlan: Automated Tutorial Generation from CAD DrawingsWei Li, Yuanlin Zhang, George Fitzmaurice. 2020-2027 [doi]
• Probabilistic Equivalence Verification Approach for Automatic Mathematical Solution AssessmentMinh Luan Nguyen, Siu Cheung Hui, Alvis Cheuk M. Fong. 2028-2034 [doi]
• Predicting Human Strategic Decisions Using Facial ExpressionsNoam Peled, Moshe Bitan, Joseph Keshet, Sarit Kraus. 2035-2041 [doi]
• Protein Function Prediction via Laplacian Network Partitioning Incorporating Function Category CorrelationsHua Wang, Heng Huang, Chris H. Q. Ding. 2049-2056 [doi]
• Identifying Useful Human Correction Feedback from an On-Line Machine Translation ServiceAlberto Barrón-Cedeño, Lluís Màrquez, Carlos A. Henríquez Q., Lluís Formiga, Enrique Romero, Jonathan May. 2057-2063 [doi]
• Mining for Analogous Tuples from an Entity-Relation GraphDanushka Bollegala, Mitsuru Kusumoto, Yuichi Yoshida, Ken-ichi Kawarabayashi. 2064-2070 [doi]
• Leveraging Multi-Domain Prior Knowledge in Topic ModelsZhiyuan Chen, Arjun Mukherjee, Bing Liu 0001, Meichun Hsu, Malú Castellanos, Riddhiman Ghosh. 2071-2077 [doi]
• Learning Topical Translation Model for Microblog Hashtag SuggestionZhuoye Ding, Xipeng Qiu, Qi Zhang, Xuanjing Huang. 2078-2084 [doi]
• Smoothing for Bracketing InductionXiangyu Duan, Min Zhang, Wenliang Chen. 2085-2091 [doi]
• Crowdsourcing-Assisted Query Structure InterpretationJun Han, Ju Fan, Lizhu Zhou. 2092-2098 [doi]
• PPSGen: Learning to Generate Presentation Slides for Academic PapersYue Hu, Xiaojun Wan. 2099-2105 [doi]
• End-to-End Coreference Resolution for Clinical NarrativesPrateek Jindal, Dan Roth. 2106-2112 [doi]
• A Clause-Level Hybrid Approach to Chinese Empty Element RecoveryFang Kong, Guodong Zhou. 2113-2119 [doi]
• Joint Modeling of Argument Identification and Role Determination in Chinese Event Extraction with Discourse-Level InformationPeifeng Li, Qiaoming Zhu, Guodong Zhou. 2120-2126 [doi]
• Active Learning for Cross-domain Sentiment ClassificationShoushan Li, Yunxia Xue, Zhongqing Wang, Guodong Zhou. 2127-2133 [doi]
• Opinion Target Extraction Using Partially-Supervised Word Alignment ModelKang Liu, Heng Li Xu, Yang Liu, Jun Zhao. 2134-2140 [doi]
• Joint and Coupled Bilingual Topic Model Based Sentence Representations for Language Model AdaptationShixiang Lu, Xiaoyin Fu, Wei Wei, Xingyuan Peng, Bo Xu. 2141-2147 [doi]
• Integrating Syntactic and Semantic Analysis into the Open Information Extraction ParadigmAndrea Moro 0001, Roberto Navigli. 2148-2154 [doi]
• Combine Constituent and Dependency Parsing via RerankingXiaona Ren, Xiao Chen, Chunyu Kit. 2155-2161 [doi]
• Fast Linearization of Tree Kernels over Large-Scale DataAliaksei Severyn, Alessandro Moschitti. 2162-2168 [doi]
• Answer Extraction from Passage Graph for Question AnsweringHong Sun, Nan Duan, Yajuan Duan, Ming Zhou. 2169-2175 [doi]
• Instance Selection and Instance Weighting for Cross-Domain Sentiment Classification via PU LearningRui Xia, Xuelei Hu, Jianfeng Lu, Jian Yang, Chengqing Zong. 2176-2182 [doi]
• Modeling Lexical Cohesion for Document-Level Machine TranslationDeyi Xiong, Guosheng Ben, Min Zhang, Yajuan Lv, Qun Liu. 2183-2189 [doi]
• A Text Scanning Mechanism Simulating Human Reading ProcessBei Xu, Hai Zhuge. 2190-2196 [doi]
• i, Poet: Automatic Chinese Poetry Composition through a Generative Summarization Framework under Constrained OptimizationRui Yan, Han Jiang, Mirella Lapata, Shou-de Lin, Xueqiang Lv, Xiaoming Li. 2197-2203 [doi]
• Fusion of Word and Letter Based Metrics for Automatic MT EvaluationMuyun Yang, Junguo Zhu, Sheng Li, Tiejun Zhao. 2204-2210 [doi]
• Improving Function Word Alignment with Frequency and Syntactic InformationJingyi Zhang, Hai Zhao. 2211-2217 [doi]
• Cross Lingual Entity Linking with Bilingual Topic ModelTao Zhang, Kang Liu, Jun Zhao. 2218-2224 [doi]
• Integrating Semantic Relatedness and Words' Intrinsic Features for Keyword ExtractionWei Zhang, Wei Feng, Jianyong Wang. 2225-2231 [doi]
• Partial-Tree Linearization: Generalized Word Ordering for Text SynthesisYue Zhang. 2232-2238 [doi]
• Improving Question Retrieval in Community Question Answering Using World KnowledgeGuangyou Zhou, Yang Liu, Fang Liu, Daojian Zeng, Jun Zhao. 2239-2245 [doi]
• Efficient Latent Structural Perceptron with Hybrid Trees for Semantic ParsingJunsheng Zhou, Juhong Xu, Weiguang Qu. 2246-2253 [doi]
• Revisiting Regression in PlanningVidal Alcázar, Daniel Borrajo, Susana Fernández, Raquel Fuentetaja. 2254-2260 [doi]
• Bridging the Gap Between Refinement and Heuristics in AbstractionChrister Bäckström, Peter Jonsson. 2261-2267 [doi]
• An Admissible Heuristic for SAS+ Planning Obtained from the State EquationBlai Bonet. 2268-2274 [doi]
• Causal Belief Decomposition for Planning with Sensing: Completeness Results and Practical ApproximationBlai Bonet, Hector Geffner. 2275-2281 [doi]
• Isomorph-Free Branch and Bound Search for Finite State ControllersMarek Grzes, Pascal Poupart, Jesse Hoey. 2282-2290 [doi]
• Optimal Delete-Relaxed (and Semi-Relaxed) Planning with Conditional EffectsPatrik Haslum. 2291-2297 [doi]
• Interactive POMDP Lite: Towards Practical Planning to Predict and Exploit Intentions for Interacting with Self-Interested AgentsTrong Nghia Hoang, Kian Hsiang Low. 2298-2305 [doi]
• Controlling the Hypothesis Space in Probabilistic Plan RecognitionFroduald Kabanza, Julien Filion, Abder Rezak Benaskeur, Hengameh Irandoust. 2306-2312 [doi]
• Lifelong Learning for Acquiring the Wisdom of the CrowdEce Kamar, Ashish Kapoor, Eric Horvitz. 2313-2320 [doi]
• Pareto-Based Multiobjective AI PlanningMostepha Redouane Khouadjia, Marc Schoenauer, Vincent Vidal, Johann Dréo, Pierre Savéant. 2321-2327 [doi]
• Flexible Execution of Partial Order Plans With Temporal ConstraintsChristian J. Muise, J. Christopher Beck, Sheila A. McIlraith. 2328-2335 [doi]
• Towards a Second Generation Random Walk Planner: An Experimental ExplorationHootan Nakhost, Martin Müller 0003. 2336-2342 [doi]
• Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic PlannersFabio Patrizi, Nir Lipovetzky, Hector Geffner. 2343-2349 [doi]
• Fault-Tolerant Planning under UncertaintyLuis Enrique Pineda, Yi Lu, Shlomo Zilberstein, Claudia V. Goldman. 2350-2356 [doi]
• Getting the Most Out of Pattern Databases for Classical PlanningFlorian Pommerening, Gabriele Röger, Malte Helmert. 2357-2364 [doi]
• Computing Upper Bounds on Lengths of Transition SequencesJussi Rintanen, Charles Orgill Gretton. 2365-2372 [doi]
• Exploring Knowledge Engineering Strategies in Designing and Modelling a Road Traffic Accident Management DomainMohammad Munshi Shahin Shah, Lukás Chrpa, Diane E. Kitchin, Thomas Leo McCluskey, Mauro Vallati. 2373-2379 [doi]
• The GoDeL Planning System: A More Perfect Union of Domain-Independent and Hierarchical PlanningVikas Shivashankar, Ronald Alford, Ugur Kuter, Dana S. Nau. 2380-2386 [doi]
• Plan Quality Optimisation via Block DecompositionFazlul Hasan Siddiqui, Patrik Haslum. 2387-2393 [doi]
• Symbolic Merge-and-Shrink for Cost-Optimal PlanningÁlvaro Torralba Arias de Reyna, Carlos Linares López, Daniel Borrajo. 2394-2400 [doi]
• Problem Splitting Using Heuristic Search in Landmark OrderingsSimon Vernhes, Guillaume Infantes, Vincent Vidal. 2401-2407 [doi]
• Run-Time Improvement of Point-Based POMDP PoliciesMinlue Wang, Richard Dearden. 2408-2414 [doi]
• Interactive Value Iteration for Markov Decision Processes with Unknown RewardsPaul Weng, Bruno Zanuttini. 2415-2421 [doi]
• Flexibility and Decoupling in the Simple Temporal ProblemMichel Wilson, Tomas Klos, Cees Witteveen, Bob Huisman. 2422-2428 [doi]
• Continuously Relaxing Over-Constrained Conditional Temporal Problems through Generalized Conflict Learning and ResolutionPeng Yu, Brian C. Williams. 2429-2436 [doi]
• Robust Optimization for Hybrid MDPs with State-Dependent NoiseZahra Zamani, Scott Sanner, Karina Valdivia Delgado, Leliane Nunes de Barros. 2437-2443 [doi]
• Action-Model Acquisition from Noisy Plan TracesHankz Hankui Zhuo, Subbarao Kambhampati. 2444-2450 [doi]
• Refining Incomplete Planning Domain Models Through Plan TracesHankz Hankui Zhuo, Tuan-Anh Nguyen, Subbarao Kambhampati. 2451-2458 [doi]
• Handling Open Knowledge for Service RobotsXiao-Ping Chen, Jian-Min Ji, Zhi-Qiang Sui, Jiong-kun Xie. 2459-2465 [doi]
• Human Action Recognition Using a Temporal Hierarchy of Covariance Descriptors on 3D Joint LocationsMohamed E. Hussein, Marwan Torki, Mohammad Abdelaziz Gowayyed, Motaz El-Saban. 2466-2472 [doi]
• Rolling Dispersion for Robot TeamsElizabeth A. Jensen, Maria L. Gini. 2473-2479 [doi]
• Accelerated Robust Point Cloud Registration in Natural Environments through Positive and Unlabeled LearningMaxime Latulippe, Alexandre Drouin, Philippe Giguère, François Laviolette. 2480-2487 [doi]
• Upper Confidence Weighted Learning for Efficient Exploration in Multiclass Prediction with Binary FeedbackHung Q. Ngo, Matthew David Luciw, Ngo Anh Vien, Jürgen Schmidhuber. 2488-2494 [doi]
• Towards Active Event RecognitionDimitri Ognibene, Yiannis Demiris. 2495-2501 [doi]
• Hierarchical Object Discovery and Dense Modelling From Motion Cues in RGB-D VideoJörg Stückler, Sven Behnke. 2502-2509 [doi]
• Learning Visual Symbols for Parsing Human Poses in ImagesFang Wang, Yi Li. 2510-2517 [doi]
• A Consensual Linear Opinion PoolArthur Carvalho, Kate Larson. 2518-2524 [doi]
• An Exact Algorithm for Computing the Same-Decision ProbabilitySuming Jeremiah Chen, Arthur Choi, Adnan Darwiche. 2525-2531 [doi]
• Probabilistic Reasoning with Undefined Properties in Ontologically-Based Belief NetworksChia-Li Kuo, David Buchman, Arzoo Katiyar, David Poole. 2532-2539 [doi]
• Inference for a New Probabilistic Constraint LogicSteffen Michels, Arjen Hommersom, Peter J. F. Lucas, Marina Velikova, Pieter W. M. Koopman. 2540-2546 [doi]
• Map Matching with Inverse Reinforcement LearningTakayuki Osogami, Rudy Raymond. 2547-2553 [doi]
• Accurate Integration of Crowdsourced Labels Using Workers' Self-reported Confidence ScoresSatoshi Oyama, Yukino Baba, Yuko Sakurai, Hisashi Kashima. 2554-2560 [doi]
• Look versus Leap: Computing Value of Information with High-Dimensional Streaming EvidenceStephanie Rosenthal, Dan Bohus, Ece Kamar, Eric Horvitz. 2561-2567 [doi]
• The Inclusion-Exclusion Rule and its Application to the Junction Tree AlgorithmDavid Brodie Smith, Vibhav Gogate. 2568-2575 [doi]
• Sample Complexity of Risk-Averse Bandit-Arm SelectionJia Yuan Yu, Evdokia Nikolova. 2576-2582 [doi]
• A Generalization of SAT and #SAT for Robust Policy EvaluationErik Peter Zawadzki, André Platzer, Geoffrey J. Gordon. 2583-2590 [doi]
• Link Label Prediction in Signed Social NetworksPriyanka Agrawal, Vikas K. Garg, Ramasuri Narayanam. 2591-2597 [doi]
• Multi-View K-Means Clustering on Big DataXiao Cai, Feiping Nie, Heng Huang. 2598-2604 [doi]
• Where You Like to Go Next: Successive Point-of-Interest RecommendationChen Cheng, Haiqin Yang, Michael R. Lyu, Irwin King. 2605-2611 [doi]
• Celebrity Recommendation with Collaborative Social Topic RegressionXuetao Ding, Xiaoming Jin, Yujia Li, Lianghao Li. 2612-2618 [doi]
• A Novel Bayesian Similarity Measure for Recommender SystemsGuibing Guo, Jie Zhang, Neil Yorke-Smith. 2619-2625 [doi]
• Cross-Domain Collaborative Filtering via Bilinear Multilevel AnalysisLiang Hu, Jian Cao, Guandong Xu, Jie Wang, Zhiping Gu, Longbing Cao. 2626-2632 [doi]
• Social Spammer Detection in MicrobloggingXia Hu, Jiliang Tang, Yanchao Zhang, Huan Liu. 2633-2639 [doi]
• Listening to the Crowd: Automated Analysis of Events via Aggregated Twitter SentimentYuheng Hu, Fei Wang, Subbarao Kambhampati. 2640-2646 [doi]
• Social Trust Prediction Using Rank-k Matrix RecoveryJin Huang, Feiping Nie, Heng Huang, Yu Lei, Chris H. Q. Ding. 2647-2653 [doi]
• Context-Dependent ConceptualizationDongwoo Kim, Haixun Wang, Alice H. Oh. 2654-2661 [doi]
• Predicting Knowledge in an Ontology StreamFreddy Lécué, Jeff Z. Pan. 2662-2669 [doi]
• A Unified Framework for Reputation Estimation in Online Rating SystemsGuang Ling, Irwin King, Michael R. Lyu. 2670-2676 [doi]
• Synthesizing Union Tables from the WebXiao Ling, Alon Y. Halevy, Fei Wu 0003, Cong Yu. 2677-2683 [doi]
• Recommendation Using Textual OpinionsClaudiu Cristian Musat, Yizhong Liang, Boi Faltings. 2684-2690 [doi]
• GBPR: Group Preference Based Bayesian Personalized Ranking for One-Class Collaborative FilteringWeike Pan, Li Chen. 2691-2697 [doi]
• Promoting Diversity in Recommendation by Entropy RegularizerLijing Qin, Xiaoyan Zhu. 2698-2704 [doi]
• SCMF: Sparse Covariance Matrix Factorization for Collaborative FilteringJianping Shi, Naiyan Wang, Yang Xia, Dit-Yan Yeung, Irwin King, Jiaya Jia. 2705-2711 [doi]
• Exploiting Local and Global Social Context for RecommendationJiliang Tang, Xia Hu, Huiji Gao, Huan Liu. 2712-2718 [doi]
• Collaborative Topic Regression with Social Regularization for Tag RecommendationHao Wang, Binyi Chen, Wu-Jun Li. 2719-2725 [doi]
• Online Egocentric Models for Citation NetworksHao Wang, Wu-Jun Li. 2726-2732 [doi]
• Boosting Cross-Lingual Knowledge Linking via Concept AnnotationZhichun Wang, Juanzi Li, Jie Tang. 2733-2739 [doi]
• PageRank with Priors: An Influence Propagation PerspectiveBiao Xiang, Qi Liu, Enhong Chen, Hui Xiong, Yi Zheng, Yu Yang. 2740-2746 [doi]
• Social Collaborative Filtering by TrustBo Yang 0002, Yu Lei, Dayou Liu, Jiming Liu. 2747-2753 [doi]
• Parametric Local Multimodal Hashing for Cross-View Similarity SearchDeming Zhai, Hong Chang, Yi Zhen, Xianming Liu, Xilin Chen, Wen Gao. 2754-2760 [doi]
• Social Influence Locality for Modeling Retweeting BehaviorsJing Zhang 0001, Biao Liu, Jie Tang, Ting Chen, Juanzi Li. 2761-2767 [doi]
• Automatic Name-Face Alignment to Enable Cross-Media News RetrievalYuejie Zhang, Wei Wu, Yang Li, Cheng Jin, Xiangyang Xue, Jianping Fan. 2768-2775 [doi]
• Assessing the Resilience of Socio-Ecosystems: Coupling Viability Theory and Active Learning with kd-Trees. Application to Bilingual SocietiesIsabelle Alvarez, Ricardo de Aldama, Sophie Martin, Romain Reuillon. 2776-2782 [doi]
• Towards Understanding Global Spread of Disease from Everyday Interpersonal InteractionsSean Padraig Brennan, Adam Sadilek, Henry A. Kautz. 2783-2789 [doi]
• Short-Term Wind Power Forecasting Using Gaussian ProcessesNiya Chen, Zheng Qian, Ian T. Nabney, Xiaofeng Meng. 2790-2796 [doi]
• Semi-Supervised Learning for Integration of Aerosol Predictions from Multiple Satellite InstrumentsNemanja Djuric, Lakesh Kansakar, Slobodan Vucetic. 2797-2803 [doi]
• Deep Sparse Coding based Recursive Disaggregation Model for Water ConservationHaili Dong, Bingsheng Wang, Chang-Tien Lu. 2804-2810 [doi]
• Optimal Pricing for Improving Efficiency of Taxi SystemsJiarui Gan, Bo An, Haizhong Wang, Xiaoming Sun, Zhongzhi Shi. 2811-2818 [doi]
• Estimating Reference Evapotranspiration for Irrigation Management in the Texas High PlainsDaniel Ellis Holman, Mohan Sridharan, Prasanna Gowda, Dana Porter, Thomas Marek, Terry Howell, Jerry Moorhead. 2819-2825 [doi]
• Information Fusion Based Learning for Frugal Traffic State SensingVikas Joshi, Nithya Rajamani, Takayuki Katsuki, Naveen Prathapaneni, L. Venkata Subramaniam. 2826-2832 [doi]
• A Multi-Objective Memetic Algorithm for Vehicle Resource Allocation in Sustainable Transportation PlanningHoong Chuin Lau, Lucas Agussurja, Shih-Fen Cheng, Pang Jin Tan. 2833-2839 [doi]
• Crowdsourcing Backdoor Identification for Combinatorial OptimizationRonan LeBras, Richard Bernstein, Carla P. Gomes, Bart Selman, R. Bruce van Dover. 2840-2847 [doi]
• Evolution of Common-Pool Resources and Social Welfare in Structured PopulationsJean-Sébastien Lerat, The Anh Han, Tom Lenaerts. 2848-2854 [doi]
• Tag-Weighted Topic Model for Mining Semi-Structured DocumentsShuangyin Li, Jiefei Li, Rong Pan. 2855-2861 [doi]
• Manifold Alignment Based on Sparse Local Structures of More Corresponding PairsXiaojie Li, Jian Cheng Lv, Yi Zhang. 2862-2868 [doi]
• A Global Constrained Optimization Method for Designing Road Networks with Small DiametersTeng Ma, Yuexian Hou, Xiaozhao Zhao, Dawei Song. 2869-2876 [doi]
• Bayesian Joint Inversions for the Exploration of Earth ResourcesAlistair Smyth Reid, Simon Timothy O'Callaghan, Edwin V. Bonilla, Lachlan McCalman, Tim Rawling, Fabio Ramos. 2877-2884 [doi]
• Dynamic Taxi and Ridesharing: A Framework and Heuristics for the Optimization ProblemDouglas Oliveira Santos, Eduardo Candido Xavier. 2885-2891 [doi]
• An Active Learning Approach to Home Heating in the Smart GridMike Shann, Sven Seuken. 2892-2899 [doi]
• Planning with MIP for Supply Restoration in Power Distribution SystemsSylvie Thiébaux, Carleton Coffrin, Hassan Hijazi, John K. Slaney. 2900-2907 [doi]
• Forecasting Multi-Appliance Usage for Smart Home Energy ManagementNgoc Cuong Truong, James McInerney, Long Tran-Thanh, Enrico Costanza, Sarvapali D. Ramchurn. 2908-2914 [doi]
• Randomized Load Control: A Simple Distributed Approach for Scheduling Smart AppliancesMenkes van den Briel, Paul Scott, Sylvie Thiébaux. 2915-2922 [doi]
• Parameter Learning for Latent Network DiffusionXiaoJian Wu, Akshat Kumar, Daniel Sheldon, Shlomo Zilberstein. 2923-2930 [doi]
• Towards Effective Prioritizing Water Pipe Replacement and RehabilitationJunchi Yan, Yu Wang, Ke Zhou, Jin Huang, Chun Hua Tian, Hongyuan Zha, Weishan Dong. 2931-2937 [doi]
• Improved Integer Programming Approaches for Chance-Constrained Stochastic ProgrammingHiroki Yanagisawa, Takayuki Osogami. 2938-2944 [doi]
• A Hidden Markov Model-Based Acoustic Cicada Detector for Crowdsourced Smartphone Biodiversity MonitoringDavide Zilli, Oliver Parson, Geoff V. Merrett, Alex Rogers. 2945-2951 [doi]
• Forecast Oriented Classification of Spatio-Temporal Extreme EventsZhengzhang Chen, Yusheng Xie, Yu Cheng, Kunpeng Zhang, Ankit Agrawal, Wei-keng Liao, Nagiza F. Samatova, Alok N. Choudhary. 2952-2954 [doi]
• Adaptive Management of Migratory Birds Under Sea Level RiseSamuel Nicol, Olivier Buffet, Takuya Iwamura, Iadine Chades. 2955-2957 [doi]
• Detecting and Tracking Disease Outbreaks by Mining Social Media DataYusheng Xie, Zhengzhang Chen, Alok N. Choudhary. 2958-2961 [doi]
• Twitter-Based User Modeling for News RecommendationsFabian Abel, Qi Gao, Geert-Jan Houben, Ke Tao. 2962-2966 [doi]
• Language-Based GamesAdam Bjorndahl, Joseph Y. Halpern, Rafael Pass. 2967-2971 [doi]
• An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning (Extended Abstract)Maria Luisa Bonet, Sam Buss. 2972-2976 [doi]
• The Complexity of One-Agent Refinement Modal LogicLaura Bozzelli, Hans P. van Ditmarsch, Sophie Pinchinat. 2977-2981 [doi]
• An Introduction to String Re-Writing KernelFan Bu, Hang Li, Xiaoyan Zhu. 2982-2986 [doi]
• Optimal Valve Placement in Water Distribution Networks with CLP(FD)Massimiliano Cattafi, Marco Gavanelli, Maddalena Nonato, Stefano Alvisi, Marco Franchini. 2987-2991 [doi]
• Bayesian Probabilities for Constraint-Based Causal DiscoveryTom Claassen, Tom Heskes. 2992-2996 [doi]
• Satisfiability Modulo Constraint Handling Rules (Extended Abstract)Gregory James Duck. 2997-3001 [doi]
• Case Adaptation with Qualitative AlgebrasValmi Dufour-Lussier, Florence Le Ber, Jean Lieber, Laura Martin. 3002-3006 [doi]
• Improving the Effectiveness of Time-Based Display AdvertisingDaniel Gray Goldstein, R. Preston McAfee, Siddharth Suri. 3007-3011 [doi]
• Preference-Based CBR: General Ideas and Basic PrinciplesEyke Hüllermeier, Weiwei Cheng. 3012-3016 [doi]
• Sound, Complete, and Minimal Query Rewriting for Existential RulesMélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. 3017-3021 [doi]
• Collaborative Filtering on Ordinal User FeedbackYehuda Koren, Joseph Sill. 3022-3026 [doi]
• Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract)Till Mossakowski, Christoph Lange 0002, Oliver Kutz. 3027-3031 [doi]
• Discovering Alignments in Ontologies of Linked DataRahul Parundekar, Craig A. Knoblock, José Luis Ambite. 3032-3036 [doi]
• A New Trajectory Deformation Algorithm Based on Affine TransformationsQuang-Cuong Pham, Yoshihiko Nakamura. 3037-3041 [doi]
• A Case-Based Solution to the Cold-Start Problem in Group RecommendersLara Quijano Sánchez, Derek G. Bridge, Belén Díaz-Agudo, Juan Antonio Recio-García. 3042-3046 [doi]
• Data Mining a Trillion Time Series Subsequences Under Dynamic Time WarpingThanawin Rakthanmanon, Eamonn J. Keogh. 3047-3051 [doi]
• On Stochastic Optimal Control and Reinforcement Learning by Approximate Inference (Extended Abstract)Konrad Rawlik, Marc Toussaint, Sethu Vijayakumar. 3052-3056 [doi]
• At Home with Agents: Exploring Attitudes Towards Future Smart Energy InfrastructuresTom Rodden, Joel E. Fischer, Nadia Pantidi, Khaled Bachour, Stuart Moran. 3057-3061 [doi]
• Decision Generalisation from Game Logs in No Limit Texas Hold'emJonathan Rubin, Ian Watson. 3062-3066 [doi]
• Modeling The Interplay of People's Location, Interactions, and Social TiesAdam Sadilek, Henry A. Kautz. 3067-3071 [doi]
• Active Evaluation of Ranking Functions Based on Graded Relevance (Extended Abstract)Christoph Sawade, Steffen Bickel, Timo von Oertzen, Tobias Scheffer, Niels Landwehr. 3072-3076 [doi]
• CLiMF: Collaborative Less-Is-More FilteringYue Shi, Alexandros Karatzoglou, Linas Baltrunas, Martha Larson, Nuria Oliver, Alan Hanjalic. 3077-3081 [doi]
• Statistical Parsing with Probabilistic Symbol-Refined Tree Substitution GrammarsHiroyuki Shindo, Yusuke Miyao, Akinori Fujino, Masaaki Nagata. 3082-3086 [doi]
• Exact Recovery of Sparse-Used DictionariesHuan Wang, Daniel A. Spielman, John Wright. 3087-3090 [doi]
• The RoboEarth Language: Representing and Exchanging Knowledge about Actions, Objects, and Environments (Extended Abstract)Moritz Tenorth, Alexander Clifford Perzylo, Reinhard Lafrenz, Michael Beetz. 3091-3095 [doi]
• Socioscope: Spatio-Temporal Signal Recovery from Social Media (Extended Abstract)Jun Ming Xu, Aniruddha Bhargava, Robert Nowak, Xiaojin Zhu. 3096-3100 [doi]
• Using Strategic Logics to Reason about Agent ProgramsNitin Yadav, Sebastian Sardiña. 3101-3105 [doi]
• User-Centered Programming by Demonstration: Stylistic Elements of BehaviorJames Everett Young, Kentaro Ishii, Takeo Igarashi, Ehud Sharlin. 3106-3110 [doi]
• Scalable Dynamic Nonparametric Bayesian Models of Content and UsersAmr Ahmed, Eric P. Xing. 3111-3115 [doi]
• Improving Combinatorial Optimization - Extended AbstractGeoffrey Chu. 3116-3120 [doi]
• Cultural Diversity for Virtual Characters (Extended Abstract)Birgit Endraß. 3121-3125 [doi]
• Landmark-Based Heuristics and Search Control for Automated Planning (Extended Abstract)Silvia Richter. 3126-3130 [doi]
• Learning Probabilistic Models for Mobile Manipulation RobotsJürgen Sturm, Wolfram Burgard. 3131-3135 [doi]
• Social Norms for Self-Policing Multi-agent Systems and Virtual SocietiesDaniel Villatoro. 3136-3141 [doi]
• Evaluating Indirect Strategies for Chinese - Spanish Statistical Machine Translation: Extended AbstractMarta R. Costa-Jussà, Carlos Henríquez, Rafael E. Banchs. 3142-3145 [doi]
• Communicating Open Systems: Extended AbstractMark d'Inverno, Michael Luck, Pablo Noriega, Juan A. Rodríguez-Aguilar, Carles Sierra. 3146-3150 [doi]
• The CQC Algorithm: Cycling in Graphs to Semantically Enrich and Enhance a Bilingual Dictionary: Extended abstractTiziano Flati, Roberto Navigli. 3151-3155 [doi]
• Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures : Extended AbstractPriyankar Ghosh, Amit Sharma, Partha Pratim Chakrabarti, Pallab Dasgupta. 3156-3160 [doi]
• YAGO2: A Spatially and Temporally Enhanced Knowledge Base from Wikipedia: Extended AbstractJohannes Hoffart, Fabian M. Suchanek, Klaus Berberich, Gerhard Weikum. 3161-3165 [doi]
• Modeling Social Causality and Responsibility Judgment in Multi-Agent Interactions: Extended AbstractWenji Mao, Jonathan Gratch. 3166-3170 [doi]
• The Extended Global Cardinality Constraint: An Empirical Survey: Extended AbstractPeter Nightingale. 3171-3174 [doi]
• Revisiting Centrality-as-Relevance: Support Sets and Similarity as Geometric Proximity: Extended abstractRicardo Ribeiro 0001, David Martins de Matos. 3175-3179 [doi]
• Generalized Biwords for Bitext Compression and Translation Spotting: Extended AbstractFelipe Sánchez-Martínez, Rafael C. Carrasco, Miguel A. Martínez-Prieto, Joaquín Adiego. 3180-3184 [doi]
• Computing Text Semantic Relatedness Using the Contents and Links of a Hypertext Encyclopedia: Extended AbstractMajid Yazdani, Andrei Popescu-Belis. 3185-3189 [doi]
• On the Approximation Ability of Evolutionary Optimization with Application to Minimum Set Cover: Extended AbstractYang Yu, Xin Yao, Zhi-Hua Zhou. 3190-3194 [doi]
• Learning Qualitative Models from Numerical Data: Extended abstractJure Zabkar, Martin Mozina, Ivan Bratko, Janez Demsar. 3195-3200 [doi]
• Decision-Theoretic Approximations for Machine LearningEhsan Abbasnejad. 3201-3202 [doi]
• Managing Qualitative Preferences and Constraints in a Dynamic EnvironmentEisa Alanazi, Malek Mouhoub. 3203-3204 [doi]
• Towards a Deeper Understanding of Nonmonotonic Reasoning with DegreesMarjon Blondeel, Steven Schockaert, Dirk Vermeir, Martine De Cock. 3205-3206 [doi]
• Capabilities in Heterogeneous Multi Robot SystemsJennifer Elisabeth Buehler. 3207-3208 [doi]
• Negotiation Algorithms for Large Agreement SpacesDave De Jonge. 3209-3210 [doi]
• Trust Modeling for Opinion Evaluation by Coping with Subjectivity and DishonestyHui Fang. 3211-3212 [doi]
• High-Level Program Execution in Multi-agent SettingsLiangda Fang. 3213-3214 [doi]
• Using Domain Knowledge to Systematically Guide Feature SelectionWilliam Groves. 3215-3216 [doi]
• Improving the Performance of Recommender Systems by Alleviating the Data Sparsity and Cold Start ProblemsGuibing Guo. 3217-3218 [doi]
• Strategic Interactions Among Agents with Bounded RationalityPablo Hernandez-Leal, Enrique Munoz de Cote, Luis Enrique Sucar. 3219-3220 [doi]
• Problem Transformations and Algorithm Selection for CSPsBarry Hurley 0001, Barry O'Sullivan. 3221-3222 [doi]
• Rolling Dispersion and Exploration for Robot TeamsElizabeth A. Jensen. 3223-3224 [doi]
• Towards the Design of Robust Trust and Reputation SystemsSiwei Jiang. 3225-3226 [doi]
• Maintaining Soft Arc Consistencies in BnB-ADOPT+ During SearchKa Man Lei. 3227-3228 [doi]
• Concept Generation in Language EvolutionMartha Anne Flinders Lewis, Jonathan Lawry. 3229-3230 [doi]
• Normative Conflict Detection and Resolution in Cooperating InstitutionsTingting Li. 3231-3232 [doi]
• Dynamic of Argumentation FrameworksJean-Guy Mailly. 3233-3234 [doi]
• Approximation Algorithms for Max-Sum-Product ProblemsDenis Deratani Mauá. 3235-3236 [doi]
• On Teaching Collaboration to a Team of Autonomous Agents via ImitationSaleha Raza. 3237-3238 [doi]
• Semi-Supervised Structuring of Complex DataMarian-Andrei Rizoiu. 3239-3240 [doi]
• Object Recognition Based on Visual Grammars and Bayesian NetworksElias Ruiz, Luis Enrique Sucar. 3241-3242 [doi]
• Adapting Surface Sketch Recognition Techniques for Surfaceless SketchesPaul Piula Taele, Tracy Anne Hammond. 3243-3244 [doi]
• Ontology Based Query Answering with Existential RulesMichaël Thomazo. 3245-3246 [doi]
• Behavior Composition OptimizationNitin Yadav. 3247-3248 [doi]
• Incorporating Expert Judgement into Bayesian Network Machine LearningYun Zhou, Norman E. Fenton, Martin Neil, Cheng Zhu. 3249-3250 [doi]
• Arbitration and Stability in Cooperative Games with Overlapping CoalitionsYair Zick. 3251-3254 [doi]