IJCAI A*

497 papers

YearTitle / Authors
20132013 Conference Organization.
2013A Bayesian Factorised Covariance Model for Image Analysis.
Jun Li, Dacheng Tao
2013A Brain-Computer Interface to a Plan-Based Narrative.
Stephen William Gilroy, Julie Porteous, Fred Charles, Marc Cavazza, Eyal Soreq, Gal Raz, Limor Ikar, Ayelet Or-Borichov, Udi Ben-Arie, Ilana Klovatch, Talma Hendler
2013A Case-Based Solution to the Cold-Start Problem in Group Recommenders.
Lara Quijano Sánchez, Derek G. Bridge, Belén Díaz-Agudo, Juan Antonio Recio-García
2013A Classification of First-Order Progressable Action Theories in Situation Calculus.
Stavros Vassos, Fabio Patrizi
2013A Clause-Level Hybrid Approach to Chinese Empty Element Recovery.
Fang Kong, Guodong Zhou
2013A Consensual Linear Opinion Pool.
Arthur Carvalho, Kate Larson
2013A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments.
Panagiotis Kouvaros, Alessio Lomuscio
2013A Formal Account of Nondeterministic and Failed Actions.
James P. Delgrande, Hector J. Levesque
2013A Framework to Choose Trust Models for Different E-Marketplace Environments.
Athirai Aravazhi Irissappane, Siwei Jiang, Jie Zhang
2013A Game-Theoretic Machine Learning Approach for Revenue Maximization in Sponsored Search.
Di He, Wei Chen, Liwei Wang, Tie-Yan Liu
2013A General Framework for Interacting Bayes-Optimally with Self-Interested Agents using Arbitrary Parametric Model and Model Prior.
Trong Nghia Hoang, Kian Hsiang Low
2013A Generalization of SAT and #SAT for Robust Policy Evaluation.
Erik Peter Zawadzki, André Platzer, Geoffrey J. Gordon
2013A Global Constrained Optimization Method for Designing Road Networks with Small Diameters.
Teng Ma, Yuexian Hou, Xiaozhao Zhao, Dawei Song
2013A Hidden Markov Model-Based Acoustic Cicada Detector for Crowdsourced Smartphone Biodiversity Monitoring.
Davide Zilli, Oliver Parson, Geoff V. Merrett, Alex Rogers
2013A KNN Based Kalman Filter Gaussian Process Regression.
Yali Wang, Brahim Chaib-draa
2013A Lossy Counting Based Approach for Learning on Streams of Graphs on a Budget.
Giovanni Da San Martino, Nicolò Navarin, Alessandro Sperduti
2013A Matroid Approach to the Worst Case Allocation of Indivisible Goods.
Laurent Gourvès, Jérôme Monnot, Lydia Tlilane
2013A Multi-Objective Memetic Algorithm for Vehicle Resource Allocation in Sustainable Transportation Planning.
Hoong Chuin Lau, Lucas Agussurja, Shih-Fen Cheng, Pang Jin Tan
2013A New Trajectory Deformation Algorithm Based on Affine Transformations.
Quang-Cuong Pham, Yoshihiko Nakamura
2013A Novel Bayesian Similarity Measure for Recommender Systems.
Guibing Guo, Jie Zhang, Neil Yorke-Smith
2013A Probabilistic Approach to Latent Cluster Analysis.
Zhipeng Xie, Rui Dong, Zhengheng Deng, Zhenying He, Weidong Yang
2013A Proof-Theoretical View of Collective Rationality.
Daniele Porello
2013A Rational Extension of Stable Model Semantics to the Full Propositional Language.
Shahab Tasharrofi
2013A Reputation Management Approach for Resource Constrained Trustee Agents.
Han Yu, Chunyan Miao, Bo An, Cyril Leung, Victor R. Lesser
2013A Scalable Approach to Column-Based Low-Rank Matrix Approximation.
Yifan Pi, Haoruo Peng, Shuchang Zhou, Zhihua Zhang
2013A Social Welfare Optimal Sequential Allocation Procedure.
Thomas Kalinowski, Nina Narodytska, Toby Walsh
2013A Strongly-Local Contextual Logic.
Michael James Gratton
2013A Text Scanning Mechanism Simulating Human Reading Process.
Bei Xu, Hai Zhuge
2013A Theoretic Framework of K-Means-Based Consensus Clustering.
Junjie Wu, Hongfu Liu, Hui Xiong, Jie Cao
2013A Tree-Based Tabu Search Algorithm for the Manpower Allocation Problem with TimeWindows and Job-Teaming Constraints.
Yilin Cai, Zizhen Zhang, Songshan Guo, Hu Qin, Andrew Lim
2013A Unified Approximate Nearest Neighbor Search Scheme by Combining Data Structure and Hashing.
Debing Zhang, Genmao Yang, Yao Hu, Zhongming Jin, Deng Cai, Xiaofei He
2013A Unified Framework for Reputation Estimation in Online Rating Systems.
Guang Ling, Irwin King, Michael R. Lyu
2013Abstract Dialectical Frameworks Revisited.
Gerhard Brewka, Hannes Strass, Stefan Ellmauthaler, Johannes Peter Wallner, Stefan Woltran
2013Accelerated Robust Point Cloud Registration in Natural Environments through Positive and Unlabeled Learning.
Maxime Latulippe, Alexandre Drouin, Philippe Giguère, François Laviolette
2013Accurate Integration of Crowdsourced Labels Using Workers' Self-reported Confidence Scores.
Satoshi Oyama, Yukino Baba, Yuko Sakurai, Hisashi Kashima
2013Accurate Probability Calibration for Multiple Classifiers.
Wenliang Zhong, James T. Kwok
2013Action Language BC: Preliminary Report.
Joohyung Lee, Vladimir Lifschitz, Fangkai Yang
2013Action Translation in Extensive-Form Games with Large Action Spaces: Axioms, Paradoxes, and the Pseudo-Harmonic Mapping.
Sam Ganzfried, Tuomas Sandholm
2013Action-Model Acquisition from Noisy Plan Traces.
Hankz Hankui Zhuo, Subbarao Kambhampati
2013Active Evaluation of Ranking Functions Based on Graded Relevance (Extended Abstract).
Christoph Sawade, Steffen Bickel, Timo von Oertzen, Tobias Scheffer, Niels Landwehr
2013Active Learning Based on Local Representation.
Yao Hu, Debing Zhang, Zhongming Jin, Deng Cai, Xiaofei He
2013Active Learning for Cross-domain Sentiment Classification.
Shoushan Li, Yunxia Xue, Zhongqing Wang, Guodong Zhou
2013Active Learning for Level Set Estimation.
Alkis Gotovos, Nathalie Casati, Gregory Hitz, Andreas Krause
2013Active Learning for Teaching a Robot Grounded Relational Symbols.
Johannes Kulick, Marc Toussaint, Tobias Lang, Manuel Lopes
2013Active Learning from Relative Queries.
Buyue Qian, Xiang Wang, Fei Wang, Hongfei Li, Jieping Ye, Ian Davidson
2013Active Learning with Multi-Label SVM Classification.
Xin Li, Yuhong Guo
2013Adapting Surface Sketch Recognition Techniques for Surfaceless Sketches.
Paul Piula Taele, Tracy Anne Hammond
2013Adaptive Error-Correcting Output Codes.
Guoqiang Zhong, Mohamed Cheriet
2013Adaptive Loss Minimization for Semi-Supervised Elastic Embedding.
Feiping Nie, Hua Wang, Heng Huang, Chris H. Q. Ding
2013Adaptive Management of Migratory Birds Under Sea Level Rise.
Samuel Nicol, Olivier Buffet, Takuya Iwamura, Iadine Chades
2013Adaptive Thresholding in Structure Learning of a Bayesian Network.
Boaz Lerner, Michal Afek, Rafi Bojmel
2013Advanced Conflict-Driven Disjunctive Answer Set Solving.
Martin Gebser, Benjamin Kaufmann, Torsten Schaub
2013Agent Failures in All-Pay Auctions.
Yoad Lewenberg, Omer Lev, Yoram Bachrach, Jeffrey S. Rosenschein
2013Algorithm Portfolios Based on Cost-Sensitive Hierarchical Clustering.
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
2013Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures : Extended Abstract.
Priyankar Ghosh, Amit Sharma, Partha Pratim Chakrabarti, Pallab Dasgupta
2013An Active Learning Approach to Home Heating in the Smart Grid.
Mike Shann, Sven Seuken
2013An Admissible Heuristic for SAS+ Planning Obtained from the State Equation.
Blai Bonet
2013An Alternative Axiomatization of DEL and Its Applications.
Yanjing Wang, Guillaume Aucher
2013An Ambiguity Aversion Framework of Security Games under Ambiguities.
Wenjun Ma, Xudong Luo, Weiru Liu
2013An Approach to Abductive Reasoning in Equational Logic.
Mnacho Echenim, Nicolas Peltier, Sophie Tourret
2013An Efficient Vector-Based Representation for Coalitional Games.
Long Tran-Thanh, Tri-Dung Nguyen, Talal Rahwan, Alex Rogers, Nicholas R. Jennings
2013An Empirical Investigation of Ceteris Paribus Learnability.
Loizos Michael, Elena Papageorgiou
2013An Ensemble of Bayesian Networks for Multilabel Classification.
Alessandro Antonucci, Giorgio Corani, Denis Deratani Mauá, Sandra Gabaglio
2013An Epistemic Halpern-Shoham Logic.
Alessio Lomuscio, Jakub Michaliszyn
2013An Exact Algorithm for Computing the Same-Decision Probability.
Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche
2013An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning (Extended Abstract).
Maria Luisa Bonet, Sam Buss
2013An Intelligent Broker Agent for Energy Trading: An MDP Approach.
Rodrigue Talla Kuate, Minghua He, Maria Chli, Hai H. Wang
2013An Introduction to String Re-Writing Kernel.
Fan Bu, Hang Li, Xiaoyan Zhu
2013Analogico-Deductive Generation of Gödel's First Incompleteness Theorem from the Liar Paradox.
John Licato, Naveen Sundar Govindarajulu, Selmer Bringsjord, Michael Pomeranz, Logan Gittelson
2013Analysis and Optimization of Multi-Dimensional Percentile Mechanisms.
Xin Sui, Craig Boutilier, Tuomas Sandholm
2013Annealed Importance Sampling for Structure Learning in Bayesian Networks.
Teppo Mikael Niinimäki, Mikko Koivisto
2013Answer Extraction from Passage Graph for Question Answering.
Hong Sun, Nan Duan, Yajuan Duan, Ming Zhou
2013Answer Set Programming Modulo Theories and Reasoning about Continuous Changes.
Joohyung Lee, Yunsong Meng
2013Approximation Algorithms for Max-Sum-Product Problems.
Denis Deratani Mauá
2013Arbitration and Stability in Cooperative Games with Overlapping Coalitions.
Yair Zick
2013Are There Any Nicely Structured Preference Profiles Nearby?
Robert Bredereck, Jiehua Chen, Gerhard J. Woeginger
2013Assessing the Resilience of Socio-Ecosystems: Coupling Viability Theory and Active Learning with kd-Trees. Application to Bilingual Societies.
Isabelle Alvarez, Ricardo de Aldama, Sophie Martin, Romain Reuillon
2013At Home with Agents: Exploring Attitudes Towards Future Smart Energy Infrastructures.
Tom Rodden, Joel E. Fischer, Nadia Pantidi, Khaled Bachour, Stuart Moran
2013Audience-Based Uncertainty in Abstract Argument Games.
Davide Grossi, Wiebe van der Hoek
2013Audit Games.
Jeremiah Blocki, Nicolas Christin, Anupam Datta, Ariel D. Procaccia, Arunesh Sinha
2013Automated Generation of Interaction Graphs for Value-Factored Dec-POMDPs.
William Yeoh, Akshat Kumar, Shlomo Zilberstein
2013Automated Grading of DFA Constructions.
Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan
2013Automated Reasoning to Infer all Minimal Keys.
Pablo Cordero, Manuel Enciso, Ángel Mora
2013Automatic Name-Face Alignment to Enable Cross-Media News Retrieval.
Yuejie Zhang, Wei Wu, Yang Li, Cheng Jin, Xiangyang Xue, Jianping Fan
2013Automatically Generating Problems and Solutions for Natural Deduction.
Umair Z. Ahmed, Sumit Gulwani, Amey Karkare
2013Automating Quantified Conditional Logics in HOL.
Christoph Benzmueller
2013Awards and Distinguished Papers.
2013Backdoors to Abduction.
Andreas Pfandler, Stefan Rümmele, Stefan Szeider
2013Bargaining for Revenue Shares on Tree Trading Networks.
Arpita Ghosh, Satyen Kale, Kevin J. Lang, Benjamin Moseley
2013Basic Level in Formal Concept Analysis: Interesting Concepts and Psychological Ramifications.
Radim Belohlávek, Martin Trnecka
2013Bayesian Joint Inversions for the Exploration of Earth Resources.
Alistair Reid, Simon Timothy O'Callaghan, Edwin V. Bonilla, Lachlan McCalman, Tim Rawling, Fabio Ramos
2013Bayesian Nonparametric Feature Construction for Inverse Reinforcement Learning.
Jaedeug Choi, Kee-Eung Kim
2013Bayesian Optimization in High Dimensions via Random Embeddings.
Ziyu Wang, Masrour Zoghi, Frank Hutter, David Matheson, Nando de Freitas
2013Bayesian Probabilities for Constraint-Based Causal Discovery.
Tom Claassen, Tom Heskes
2013Behavior Composition Optimization.
Nitin Yadav
2013Behavioral Diagnosis of LTL Specifications at Operator Level.
Ingo Pill, Thomas Quaritsch
2013Better Generalization with Forecasts.
Tom Schaul, Mark B. Ring
2013Bilevel Visual Words Coding for Image Classification.
Jiemi Zhang, Chenxia Wu, Deng Cai, Jianke Zhu
2013Bimodal Switching for Online Planning in Multiagent Settings.
Ekhlas Sonu, Prashant Doshi
2013Boosting Cross-Lingual Knowledge Linking via Concept Annotation.
Zhichun Wang, Juanzi Li, Jie Tang
2013Bootstrap Learning via Modular Concept Discovery.
Eyal Dechter, Jonathan Malmaud, Ryan P. Adams, Joshua B. Tenenbaum
2013Bounded Epistemic Situation Calculus Theories.
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
2013Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols.
Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2013Breaking Symmetries in Graph Representation.
Michael Codish, Alice Miller, Patrick Prosser, Peter James Stuckey
2013Breakout Local Search for the Vertex Separator Problem.
Una Benlic, Jin-Kao Hao
2013Bridging the Gap Between Refinement and Heuristics in Abstraction.
Christer Bäckström, Peter Jonsson
2013C-Link: A Hierarchical Clustering Approach to Large-scale Near-optimal Coalition Formation.
Alessandro Farinelli, Manuele Bicego, Sarvapali D. Ramchurn, Mauro Zucchelli
2013CLiMF: Collaborative Less-Is-More Filtering.
Yue Shi, Alexandros Karatzoglou, Linas Baltrunas, Martha A. Larson, Nuria Oliver, Alan Hanjalic
2013Capabilities in Heterogeneous Multi Robot Systems.
Jennifer Elisabeth Buehler
2013Case Adaptation with Qualitative Algebras.
Valmi Dufour-Lussier, Florence Le Ber, Jean Lieber, Laura Martin
2013Causal Belief Decomposition for Planning with Sensing: Completeness Results and Practical Approximation.
Blai Bonet, Hector Geffner
2013Causal Inference with Rare Events in Large-Scale Time-Series Data.
Samantha Kleinberg
2013Celebrity Recommendation with Collaborative Social Topic Regression.
Xuetao Ding, Xiaoming Jin, Yujia Li, Lianghao Li
2013Central Clustering of Categorical Data with Automated Feature Weighting.
Lifei Chen, Shengrui Wang
2013Change-Point Detection with Feature Selection in High-Dimensional Time-Series Data.
Makoto Yamada, Akisato Kimura, Futoshi Naya, Hiroshi Sawada
2013Co-Regularized Ensemble for Feature Selection.
Yahong Han, Yi Yang, Xiaofang Zhou
2013Coalitional Games via Network Flows.
Talal Rahwan, Tri-Dung Nguyen, Tomasz P. Michalak, Maria Polukarov, Madalina Croitoru, Nicholas R. Jennings
2013Collaborative Filtering on Ordinal User Feedback.
Yehuda Koren, Joseph Sill
2013Collaborative Topic Regression with Social Regularization for Tag Recommendation.
Hao Wang, Binyi Chen, Wu-Jun Li
2013Combine Constituent and Dependency Parsing via Reranking.
Xiaona Ren, Xiao Chen, Chunyu Kit
2013Combining RCC5 Relations with Betweenness Information.
Steven Schockaert, Sanjiang Li
2013Communicating Open Systems: Extended Abstract.
Mark d'Inverno, Michael Luck, Pablo Noriega, Juan A. Rodríguez-Aguilar, Carles Sierra
2013Compact Rewritings for Existential Rules.
Michaël Thomazo
2013Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses.
Shaowei Cai, Kaile Su
2013Computational Analysis of Connectivity Games with Applications to the Investigation of Terrorist Networks.
Tomasz P. Michalak, Talal Rahwan, Piotr L. Szczepanski, Oskar Skibski, Ramasuri Narayanam, Nicholas R. Jennings, Michael J. Wooldridge
2013Computational Disaster Management.
Pascal Van Hentenryck
2013Computational Perspectives on Social Phenomena at Global Scales.
Jon M. Kleinberg
2013Computing Datalog Rewritings Beyond Horn Ontologies.
Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks
2013Computing Stable Models for Nonmonotonic Existential Rules.
Despoina Magka, Markus Krötzsch, Ian Horrocks
2013Computing Text Semantic Relatedness Using the Contents and Links of a Hypertext Encyclopedia: Extended Abstract.
Majid Yazdani, Andrei Popescu-Belis
2013Computing Upper Bounds on Lengths of Transition Sequences.
Jussi Rintanen, Charles Orgill Gretton
2013Concept Generation in Language Evolution.
Martha Anne Flinders Lewis, Jonathan Lawry
2013Concept Learning for Cross-Domain Text Classification: A General Probabilistic Framework.
Fuzhen Zhuang, Ping Luo, Peifeng Yin, Qing He, Zhongzhi Shi
2013Conditional Restricted Boltzmann Machines for Negotiations in Highly Competitive and Complex Domains.
Siqi Chen, Haitham Bou-Ammar, Karl Tuyls, Gerhard Weiss
2013Conjunctive Regular Path Queries in Lightweight Description Logics.
Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
2013Constraint Acquisition via Partial Queries.
Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2013Constraint Satisfaction and Fair Multi-Objective Optimization Problems: Foundations, Complexity, and Islands of Tractability.
Gianluigi Greco, Francesco Scarcello
2013Context-Dependent Conceptualization.
Dongwoo Kim, Haixun Wang, Alice Oh
2013Continuously Relaxing Over-Constrained Conditional Temporal Problems through Generalized Conflict Learning and Resolution.
Peng Yu, Brian Charles Williams
2013Control Complexity of Schulze Voting.
Curtis Glen Menton, Preetjot Singh
2013Control in the Presence of Manipulators: Cooperative and Competitive Cases.
Zack Fitzsimmons, Edith Hemaspaandra, Lane A. Hemaspaandra
2013Controlling the Hypothesis Space in Probabilistic Plan Recognition.
Froduald Kabanza, Julien Filion, Abder Rezak Benaskeur, Hengameh Irandoust
2013Coupled Attribute Analysis on Numerical Data.
Can Wang, Zhong She, Longbing Cao
2013Cross Lingual Entity Linking with Bilingual Topic Model.
Tao Zhang, Kang Liu, Jun Zhao
2013Cross-Domain Collaborative Filtering via Bilinear Multilevel Analysis.
Liang Hu, Jian Cao, Guandong Xu, Jie Wang, Zhiping Gu, Longbing Cao
2013Crowdsourcing Backdoor Identification for Combinatorial Optimization.
Ronan LeBras, Richard Bernstein, Carla P. Gomes, Bart Selman, R. Bruce van Dover
2013Crowdsourcing-Assisted Query Structure Interpretation.
Jun Han, Ju Fan, Lizhu Zhou
2013Cultural Diversity for Virtual Characters (Extended Abstract).
Birgit Endrass
2013Cyclic Causal Models with Discrete Variables: Markov Chain Equilibrium Semantics and Sample Ordering.
David Poole, Mark Crowley
2013Data Mining a Trillion Time Series Subsequences Under Dynamic Time Warping.
Thanawin Rakthanmanon, Eamonn J. Keogh
2013Data Repair of Inconsistent DL-Programs.
Thomas Eiter, Michael Fink, Daria Stepanova
2013DeQED: An Efficient Divide-and-Coordinate Algorithm for DCOP.
Daisuke Hatano, Katsutoshi Hirayama
2013Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems.
Francesco Belardinelli, Alessio Lomuscio
2013Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals.
Gerhard Lakemeyer, Hector J. Levesque
2013Decision Generalisation from Game Logs in No Limit Texas Hold'em.
Jonathan Rubin, Ian D. Watson
2013Decision-Theoretic Approximations for Machine Learning.
Ehsan Abbasnejad
2013Deep Feature Learning Using Target Priors with Applications in ECoG Signal Decoding for BCI.
Zuoguan Wang, Siwei Lyu, Gerwin Schalk, Qiang Ji
2013Deep Sparse Coding based Recursive Disaggregation Model for Water Conservation.
Haili Dong, Bingsheng Wang, Chang-Tien Lu
2013Defender (Mis)coordination in Security Games.
Albert Xin Jiang, Ariel D. Procaccia, Yundi Qian, Nisarg Shah, Milind Tambe
2013Definability of Horn Revision from Horn Contraction.
Zhi Qiang Zhuang, Maurice Pagnucco, Yan Zhang
2013Detecting and Exploiting Subproblem Tractability.
Christian Bessiere, Clément Carbonnel, Emmanuel Hebrard, George Katsirelos, Toby Walsh
2013Detecting and Tracking Disease Outbreaks by Mining Social Media Data.
Yusheng Xie, Zhengzhang Chen, Alok N. Choudhary
2013Dimensionality Reduction with Generalized Linear Models.
Mo Chen, Wei Li, Xiaogang Wang, Wei Zhang
2013Discovering Alignments in Ontologies of Linked Data.
Rahul Parundekar, Craig A. Knoblock, José Luis Ambite
2013Discovering Different Types of Topics: Factored Topic Models.
Yun Jiang, Ashutosh Saxena
2013Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?
Nadia Creignou, Reinhard Pichler, Stefan Woltran
2013Domain Adaptation with Topical Correspondence Learning.
Zheng Chen, Weixiong Zhang
2013Dominance Rules for the Choquet Integral in Multiobjective Dynamic Programming.
Lucie Galand, Julien Lesca, Patrice Perny
2013Double-Wheel Graphs Are Graceful.
Ronan LeBras, Carla P. Gomes, Bart Selman
2013Dynamic Taxi and Ridesharing: A Framework and Heuristics for the Optimization Problem.
Douglas Oliveira Santos, Eduardo Candido Xavier
2013Dynamic of Argumentation Frameworks.
Jean-Guy Mailly
2013Early Active Learning via Robust Representation and Structured Sparsity.
Feiping Nie, Hua Wang, Heng Huang, Chris H. Q. Ding
2013Efficient Approach to Solve the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints.
Nouhad Amaneddine, Jean-François Condotta, Michael Sioutis
2013Efficient Extraction and Representation of Spatial Information from Video Data.
Hajar Sadeghi Sokeh, Stephen Gould, Jochen Renz
2013Efficient Interdependent Value Combinatorial Auctions with Single Minded Bidders.
Valentin Robu, David C. Parkes, Takayuki Ito, Nicholas R. Jennings
2013Efficient Kernel Learning from Side Information Using ADMM.
En-Liang Hu, James T. Kwok
2013Efficient Latent Structural Perceptron with Hybrid Trees for Semantic Parsing.
Junsheng Zhou, Juhong Xu, Weiguang Qu
2013Efficient Learning in Linearly Solvable MDP Models.
Ang Li, Paul R. Schrater
2013Efficient Vote Elicitation under Candidate Uncertainty.
Joel Oren, Yuval Filmus, Craig Boutilier
2013Efficiently Solving Joint Activity Based Security Games.
Eric Anyung Shieh, Manish Jain, Albert Xin Jiang, Milind Tambe
2013Elicitation and Approximately Stable Matching with Partial Preferences.
Joanna Drummond, Craig Boutilier
2013Employing Batch Reinforcement Learning to Control Gene Regulation Without Explicitly Constructing Gene Regulatory Networks.
Utku Sirin, Faruk Polat, Reda Alhajj
2013End-to-End Coreference Resolution for Clinical Narratives.
Prateek Jindal, Dan Roth
2013Endogenous Boolean Games.
Paolo Turrini
2013Estimating Reference Evapotranspiration for Irrigation Management in the Texas High Plains.
Daniel Ellis Holman, Mohan Sridharan, Prasanna Gowda, Dana Porter, Thomas H. Marek, Terry Howell, Jerry E. Moorhead
2013Euler Clustering.
Jian-Sheng Wu, Wei-Shi Zheng, Jian-Huang Lai
2013Evaluating Indirect Strategies for Chinese - Spanish Statistical Machine Translation: Extended Abstract.
Marta R. Costa-jussà, Carlos A. Henríquez Q., Rafael E. Banchs
2013Evolution of Common-Pool Resources and Social Welfare in Structured Populations.
Jean-Sébastien Lerat, The Anh Han, Tom Lenaerts
2013Exact Recovery of Sparse-Used Dictionaries.
Huan Wang, Daniel A. Spielman, John Wright
2013Exact Top-k Feature Selection via l2, 0-Norm Constraint.
Xiao Cai, Feiping Nie, Heng Huang
2013Exchanging OWL 2 QL Knowledge Bases.
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
2013Exploiting Local and Global Social Context for Recommendation.
Jiliang Tang, Xia Hu, Huiji Gao, Huan Liu
2013Exploring Knowledge Engineering Strategies in Designing and Modelling a Road Traffic Accident Management Domain.
Mohammad Munshi Shahin Shah, Lukás Chrpa, Diane E. Kitchin, Thomas Leo McCluskey, Mauro Vallati
2013Extending Simple Tabular Reduction with Short Supports.
Christopher Jefferson, Peter Nightingale
2013Externalities in Cake Cutting.
Simina Brânzei, Ariel D. Procaccia, Jie Zhang
2013FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions.
Luis Fariñas del Cerro, David Pearce, Agustín Valverde
2013Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners.
Fabio Patrizi, Nir Lipovetzky, Hector Geffner
2013Fast Linearization of Tree Kernels over Large-Scale Data.
Aliaksei Severyn, Alessandro Moschitti
2013Fault-Tolerant Planning under Uncertainty.
Luis Enrique Pineda, Yi Lu, Shlomo Zilberstein, Claudia V. Goldman
2013First-Order Expressibility and Boundedness of Disjunctive Logic Programs.
Heng Zhang, Yan Zhang
2013First-Order Rewritability of Atomic Queries in Horn Description Logics.
Meghyn Bienvenu, Carsten Lutz, Frank Wolter
2013Flexibility and Decoupling in the Simple Temporal Problem.
Michel Wilson, Tomas Klos, Cees Witteveen, Bob Huisman
2013Flexible Execution of Partial Order Plans With Temporal Constraints.
Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith
2013Forecast Oriented Classification of Spatio-Temporal Extreme Events.
Zhengzhang Chen, Yusheng Xie, Yu Cheng, Kunpeng Zhang, Ankit Agrawal, Wei-keng Liao, Nagiza F. Samatova, Alok N. Choudhary
2013Forecasting Multi-Appliance Usage for Smart Home Energy Management.
Ngoc Cuong Truong, James McInerney, Long Tran-Thanh, Enrico Costanza, Sarvapali D. Ramchurn
2013Forgetting for Answer Set Programs Revisited.
Yisong Wang, Kewen Wang, Mingyi Zhang
2013Forward Perimeter Search with Controlled Use of Memory.
Thorsten Schütt, Robert Döbbelin, Alexander Reinefeld
2013Fully Proportional Representation as Resource Allocation: Approximability Results.
Piotr Krzysztof Skowron, Piotr Faliszewski, Arkadii M. Slinko
2013Functional Stable Model Semantics and Answer Set Programming Modulo Theories.
Michael Bartholomew, Joohyung Lee
2013Fusion of Word and Letter Based Metrics for Automatic MT Evaluation.
Muyun Yang, Junguo Zhu, Sheng Li, Tiejun Zhao
2013GBPR: Group Preference Based Bayesian Personalized Ranking for One-Class Collaborative Filtering.
Weike Pan, Li Chen
2013Game-Theoretic Question Selection for Tests.
Yuqian Li, Vincent Conitzer
2013Generalized Biwords for Bitext Compression and Translation Spotting: Extended Abstract.
Felipe Sánchez-Martínez, Rafael C. Carrasco, Miguel A. Martínez-Prieto, Joaquín Adiego
2013Generalized Relational Topic Models with Data Augmentation.
Ning Chen, Jun Zhu, Fei Xia, Bo Zhang
2013Getting the Most Out of Pattern Databases for Classical Planning.
Florian Pommerening, Gabriele Röger, Malte Helmert
2013Granular Description of Qualitative Change.
John G. Stell
2013Graph Classification with Imbalanced Class Distributions and Noise.
Shirui Pan, Xingquan Zhu
2013Guarantees of Augmented Trace Norm Models in Tensor Recovery.
Ziqiang Shi, Jiqing Han, Tieran Zheng, Ji Li
2013Handling Open Knowledge for Service Robots.
Xiaoping Chen, Jian-Min Ji, Zhiqiang Sui, Jiongkun Xie
2013Harmonious Hashing.
Bin Xu, Jiajun Bu, Yue Lin, Chun Chen, Xiaofei He, Deng Cai
2013Hartigan's K-Means Versus Lloyd's K-Means - Is It Time for a Change?
Noam Slonim, Ehud Aharoni, Koby Crammer
2013Hierarchical Bayesian Matrix Factorization with Side Information.
Sunho Park, Yong-Deok Kim, Seungjin Choi
2013Hierarchical Object Discovery and Dense Modelling From Motion Cues in RGB-D Video.
Jörg Stückler, Sven Behnke
2013High-Level Program Execution in Multi-agent Settings.
Liangda Fang
2013Histogram of Oriented Displacements (HOD): Describing Trajectories of Human Joints for Action Recognition.
Mohammad Abdelaziz Gowayyed, Marwan Torki, Mohamed Elsayed Hussein, Motaz El-Saban
2013How to Change a Group's Collective Decision?
Noam Hazon, Raz Lin, Sarit Kraus
2013Human Action Recognition Using a Temporal Hierarchy of Covariance Descriptors on 3D Joint Locations.
Mohamed E. Hussein, Marwan Torki, Mohammad Abdelaziz Gowayyed, Motaz El-Saban
2013IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013
Francesca Rossi
2013IJCAI Organization.
2013Identifying Useful Human Correction Feedback from an On-Line Machine Translation Service.
Alberto Barrón-Cedeño, Lluís Màrquez, Carlos A. Henríquez Q., Lluís Formiga, Enrique Romero, Jonathan May
2013Implicit Learning of Common Sense for Reasoning.
Brendan Juba
2013Improved Bin Completion for Optimal Bin Packing and Number Partitioning.
Ethan L. Schreiber, Richard E. Korf
2013Improved Integer Programming Approaches for Chance-Constrained Stochastic Programming.
Hiroki Yanagisawa, Takayuki Osogami
2013Improving Combinatorial Optimization - Extended Abstract.
Geoffrey Chu
2013Improving Function Word Alignment with Frequency and Syntactic Information.
Jingyi Zhang, Hai Zhao
2013Improving Question Retrieval in Community Question Answering Using World Knowledge.
Guangyou Zhou, Yang Liu, Fang Liu, Daojian Zeng, Jun Zhao
2013Improving Traffic Prediction with Tweet Semantics.
Jingrui He, Wei Shen, Phani Divakaruni, Laura Wynter, Rick Lawrence
2013Improving the Effectiveness of Time-Based Display Advertising.
Daniel Gray Goldstein, R. Preston McAfee, Siddharth Suri
2013Improving the Performance of Recommender Systems by Alleviating the Data Sparsity and Cold Start Problems.
Guibing Guo
2013Incorporating Expert Judgement into Bayesian Network Machine Learning.
Yun Zhou, Norman E. Fenton, Martin Neil, Cheng Zhu
2013Inference for a New Probabilistic Constraint Logic.
Steffen Michels, Arjen Hommersom, Peter J. F. Lucas, Marina Velikova, Pieter W. M. Koopman
2013Information Fusion Based Learning for Frugal Traffic State Sensing.
Vikas Joshi, Nithya Rajamani, Takayuki Katsuki, Naveen Prathapaneni, L. Venkata Subramaniam
2013Instance Selection and Instance Weighting for Cross-Domain Sentiment Classification via PU Learning.
Rui Xia, Xuelei Hu, Jianfeng Lu, Jian Yang, Chengqing Zong
2013Integrating Semantic Relatedness and Words' Intrinsic Features for Keyword Extraction.
Wei Zhang, Wei Feng, Jianyong Wang
2013Integrating Syntactic and Semantic Analysis into the Open Information Extraction Paradigm.
Andrea Moro, Roberto Navigli
2013Intention-Aware Routing to Minimise Delays at Electric Vehicle Charging Stations.
Mathijs Michiel de Weerdt, Enrico H. Gerding, Sebastian Stein, Valentin Robu, Nicholas R. Jennings
2013Interactive POMDP Lite: Towards Practical Planning to Predict and Exploit Intentions for Interacting with Self-Interested Agents.
Trong Nghia Hoang, Kian Hsiang Low
2013Interactive Value Iteration for Markov Decision Processes with Unknown Rewards.
Paul Weng, Bruno Zanuttini
2013Interpolative Reasoning with Default Rules.
Steven Schockaert, Henri Prade
2013Isomorph-Free Branch and Bound Search for Finite State Controllers.
Marek Grzes, Pascal Poupart, Jesse Hoey
2013Iterated Boolean Games.
Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
2013Joint Modeling of Argument Identification and Role Determination in Chinese Event Extraction with Discourse-Level Information.
Peifeng Li, Qiaoming Zhu, Guodong Zhou
2013Joint and Coupled Bilingual Topic Model Based Sentence Representations for Language Model Adaptation.
Shixiang Lu, Xiaoyin Fu, Wei Wei, Xingyuan Peng, Bo Xu
2013Just-In-Time Compilation of Knowledge Bases.
Gilles Audemard, Jean-Marie Lagniez, Laurent Simon
2013Kemeny Elections with Bounded Single-Peaked or Single-Crossing Width.
Denis Cornaz, Lucie Galand, Olivier Spanjaard
2013Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators.
Yanjing Wang, Jie Fan
2013Knowledge Compilation for Model Counting: Affine Decision Trees.
Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas
2013Landmark-Based Heuristics and Search Control for Automated Planning (Extended Abstract).
Silvia Richter
2013Language-Based Games.
Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass
2013Large Scale Online Kernel Classification.
Steven C. H. Hoi, Jialei Wang, Peilin Zhao, Jinfeng Zhuang, Zhiyong Liu
2013Large-Scale Spectral Clustering on Graphs.
Jialu Liu, Chi Wang, Marina Danilevsky, Jiawei Han
2013Lazy Paired Hyper-Parameter Tuning.
Alice X. Zheng, Mikhail Bilenko
2013Learning Canonical Correlations of Paired Tensor Sets Via Tensor-to-Vector Projection.
Haiping Lu
2013Learning Community-Based Preferences via Dirichlet Process Mixtures of Gaussian Processes.
Ehsan Abbasnejad, Scott Sanner, Edwin V. Bonilla, Pascal Poupart
2013Learning Descriptive Visual Representation by Semantic Regularized Matrix Factorization.
Zhiwu Lu, Yuxin Peng
2013Learning Discriminative Representations from RGB-D Video Data.
Li Liu, Ling Shao
2013Learning Domain Differences Automatically for Dependency Parsing Adaptation.
Mo Yu, Tiejun Zhao, Yalong Bai
2013Learning Finite Beta-Liouville Mixture Models via Variational Bayes for Proportional Data Clustering.
Wentao Fan, Nizar Bouguila
2013Learning High-Order Task Relationships in Multi-Task Learning.
Yu Zhang, Dit-Yan Yeung
2013Learning Probabilistic Models for Mobile Manipulation Robots.
Jürgen Sturm, Wolfram Burgard
2013Learning Qualitative Models from Numerical Data: Extended abstract.
Jure Zabkar, Martin Mozina, Ivan Bratko, Janez Demsar
2013Learning Topical Translation Model for Microblog Hashtag Suggestion.
Zhuoye Ding, Xipeng Qiu, Qi Zhang, Xuanjing Huang
2013Learning Visual Symbols for Parsing Human Poses in Images.
Fang Wang, Yi Li
2013Learning from Polyhedral Sets.
Salvatore Ruggieri
2013Leveraging Multi-Domain Prior Knowledge in Topic Models.
Zhiyuan Chen, Arjun Mukherjee, Bing Liu, Meichun Hsu, Malú Castellanos, Riddhiman Ghosh
2013Lifelong Learning for Acquiring the Wisdom of the Crowd.
Ece Kamar, Ashish Kapoor, Eric Horvitz
2013Linear Bayesian Reinforcement Learning.
Nikolaos Tziortziotis, Christos Dimitrakakis, Konstantinos Blekas
2013Linear Temporal Logic and Linear Dynamic Logic on Finite Traces.
Giuseppe De Giacomo, Moshe Y. Vardi
2013Link Label Prediction in Signed Social Networks.
Priyanka Agrawal, Vikas K. Garg, Ramasuri Narayanam
2013Listening to the Crowd: Automated Analysis of Events via Aggregated Twitter Sentiment.
Yuheng Hu, Fei Wang, Subbarao Kambhampati
2013Look versus Leap: Computing Value of Information with High-Dimensional Streaming Evidence.
Stephanie Rosenthal, Dan Bohus, Ece Kamar, Eric Horvitz
2013Low-Rank Coding with b-Matching Constraint for Semi-Supervised Classification.
Sheng Li, Yun Fu
2013Macau: A Basis for Evaluating Reputation Systems.
Christopher J. Hazard, Munindar P. Singh
2013Machine-Learning-Based Circuit Synthesis.
Lior Rokach, Meir Kalech, Gregory M. Provan, Alexander Feldman
2013Maintaining Alternative Values in Constraint-Based Configuration.
Caroline Becker, Hélène Fargier
2013Maintaining Soft Arc Consistencies in BnB-ADOPT+ During Search.
Ka Man Lei
2013Managing Qualitative Preferences and Constraints in a Dynamic Environment.
Eisa Alanazi, Malek Mouhoub
2013Manifold Alignment Based on Sparse Local Structures of More Corresponding Pairs.
Xiaojie Li, Jiancheng Lv, Yi Zhang
2013Manifold Alignment Preserving Global Geometry.
Chang Wang, Sridhar Mahadevan
2013Map Matching with Inverse Reinforcement Learning.
Takayuki Osogami, Rudy Raymond
2013Maximal Recursive Rule: A New Social Decision Scheme.
Haris Aziz
2013Measuring Statistical Dependence via the Mutual Information Dimension.
Mahito Sugiyama, Karsten M. Borgwardt
2013Meta-Interpretive Learning of Higher-Order Dyadic Datalog: Predicate Invention revisited.
Stephen H. Muggleton, Dianhuan Lin
2013Minimizing Writes in Parallel External Memory Search.
Nathan R. Sturtevant, Matthew J. Rutherford
2013Mining for Analogous Tuples from an Entity-Relation Graph.
Danushka Bollegala, Mitsuru Kusumoto, Yuichi Yoshida, Ken-ichi Kawarabayashi
2013MiningZinc: A Modeling Language for Constraint-Based Mining.
Tias Guns, Anton Dries, Guido Tack, Siegfried Nijssen, Luc De Raedt
2013Misleading Opinions Provided by Advisors: Dishonesty or Subjectivity.
Hui Fang, Yang Bao, Jie Zhang
2013Modeling Lexical Cohesion for Document-Level Machine Translation.
Deyi Xiong, Guosheng Ben, Min Zhang, Yajuan Lv, Qun Liu
2013Modeling Social Causality and Responsibility Judgment in Multi-Agent Interactions: Extended Abstract.
Wenji Mao, Jonathan Gratch
2013Modeling The Interplay of People's Location, Interactions, and Social Ties.
Adam Sadilek, Henry A. Kautz
2013Monte Carlo *-Minimax Search.
Marc Lanctot, Abdallah Saffidine, Joel Veness, Christopher Archibald, Mark H. M. Winands
2013Monte-Carlo Expectation Maximization for Decentralized POMDPs.
Feng Wu, Shlomo Zilberstein, Nicholas R. Jennings
2013Most Specific Generalizations w.r.t. General EL-TBoxes.
Benjamin Zarrieß, Anni-Yasmin Turhan
2013Multi Class Learning with Individual Sparsity.
Ben Zion Vatashsky, Koby Crammer
2013Multi-Agent Epistemic Explanatory Diagnosis via Reasoning about Actions.
Quan Yu, Ximing Wen, Yongmei Liu
2013Multi-Agent Subset Space Logic.
Yi Nicholas Wang, Thomas Ågotnes
2013Multi-Agent Team Formation: Diversity Beats Strength?
Leandro Soriano Marcolino, Albert Xin Jiang, Milind Tambe
2013Multi-Dimensional Causal Discovery.
Ulrich Schaechtle, Kostas Stathis, Stefano Bromuri
2013Multi-Dimensional Single-Peaked Consistency and Its Approximations.
Xin Sui, Alex Francois-Nienaber, Craig Boutilier
2013Multi-Instance Multi-Label Learning with Weak Label.
Shu-Jun Yang, Yuan Jiang, Zhi-Hua Zhou
2013Multi-Modal Distance Metric Learning.
Pengtao Xie, Eric P. Xing
2013Multi-Modal Image Annotation with Multi-Instance Multi-Label LDA.
Cam-Tu Nguyen, De-Chuan Zhan, Zhi-Hua Zhou
2013Multi-Prototype Label Ranking with Novel Pairwise-to-Total-Rank Aggregation.
Mihajlo Grbovic, Nemanja Djuric, Slobodan Vucetic
2013Multi-View Discriminant Transfer Learning.
Pei Yang, Wei Gao
2013Multi-View Embedding Learning for Incompletely Labeled Data.
Wei Zhang, Ke Zhang, Pan Gu, Xiangyang Xue
2013Multi-View K-Means Clustering on Big Data.
Xiao Cai, Feiping Nie, Heng Huang
2013Multi-View Maximum Entropy Discrimination.
Shiliang Sun, Guoqing Chao
2013Multi-Winner Social Choice with Incomplete Preferences.
Tyler Lu, Craig Boutilier
2013Multiple Task Learning Using Iteratively Reweighted Least Square.
Jian Pu, Yu-Gang Jiang, Jun Wang, Xiangyang Xue
2013Multiwinner Elections Under Preferences That Are Single-Peaked on a Tree.
Lan Yu, Hau Chan, Edith Elkind
2013Negotiation Algorithms for Large Agreement Spaces.
Dave de Jonge
2013Nominal Schema Absorption.
Andreas Steigmiller, Birte Glimm, Thorsten Liebig
2013Non-Negative Multiple Matrix Factorization.
Koh Takeuchi, Katsuhiko Ishiguro, Akisato Kimura, Hiroshi Sawada
2013Nonconvex Relaxation Approaches to Robust Matrix Recovery.
Shusen Wang, Dehua Liu, Zhihua Zhang
2013Normative Conflict Detection and Resolution in Cooperating Institutions.
Tingting Li
2013Object Recognition Based on Visual Grammars and Bayesian Networks.
Elias Ruiz, Luis Enrique Sucar
2013On Computing Minimal Correction Subsets.
João Marques-Silva, Federico Heras, Mikolás Janota, Alessandro Previti, Anton Belov
2013On Condensing a Sequence of Updates in Answer-Set Programming.
Martin Slota, João Leite
2013On Random Quotas and Proportional Representation in Weighted Voting Games.
Yair Zick
2013On Robust Estimation of High Dimensional Generalized Linear Models.
Eunho Yang, Ambuj Tewari, Pradeep Ravikumar
2013On Stochastic Optimal Control and Reinforcement Learning by Approximate Inference (Extended Abstract).
Konrad Rawlik, Marc Toussaint, Sethu Vijayakumar
2013On Teaching Collaboration to a Team of Autonomous Agents via Imitation.
Saleha Raza
2013On the Approximation Ability of Evolutionary Optimization with Application to Minimum Set Cover: Extended Abstract.
Yang Yu, Xin Yao, Zhi-Hua Zhou
2013On the Complexity of Global Scheduling Constraints under Structural Restrictions.
Geoffrey Chu, Serge Gaspers, Nina Narodytska, Andreas Schutt, Toby Walsh
2013On the Complexity of Probabilistic Abstract Argumentation.
Bettina Fazzinga, Sergio Flesca, Francesco Parisi
2013On the Complexity of Trick-Taking Card Games.
Edouard Bonnet, Florian Jamain, Abdallah Saffidine
2013One-Class Conditional Random Fields for Sequential Anomaly Detection.
Yale Song, Zhen Wen, Ching-Yung Lin, Randall Davis
2013Online Community Detection for Large Complex Networks.
Wangsheng Zhang, Gang Pan, Zhaohui Wu, Shijian Li
2013Online Egocentric Models for Citation Networks.
Hao Wang, Wu-Jun Li
2013Online Expectation Maximization for Reinforcement Learning in POMDPs.
Miao Liu, Xuejun Liao, Lawrence Carin
2013Online Group Feature Selection.
Jing Wang, Zhong-Qiu Zhao, Xuegang Hu, Yiu-ming Cheung, Meng Wang, Xindong Wu
2013Online Hashing.
Long-Kai Huang, Qiang Yang, Wei-Shi Zheng
2013Ontology Based Query Answering with Existential Rules.
Michaël Thomazo
2013Ontology-Based Data Access with Closed Predicates is Inherently Intractable(Sometimes).
Carsten Lutz, Inanç Seylan, Frank Wolter
2013Opinion Target Extraction Using Partially-Supervised Word Alignment Model.
Kang Liu, Heng Li Xu, Yang Liu, Jun Zhao
2013Opponent Modelling in Persuasion Dialogues.
Christos Hadjinikolis, Yiannis Siantos, Sanjay Modgil, Elizabeth Black, Peter McBurney
2013Opponent Models with Uncertainty for Strategic Argumentation.
Tjitze Rienstra, Matthias Thimm, Nir Oren
2013Optimal Airline Ticket Purchasing Using Automated User-Guided Feature Selection.
William Groves, Maria L. Gini
2013Optimal Delete-Relaxed (and Semi-Relaxed) Planning with Conditional Effects.
Patrik Haslum
2013Optimal Pricing for Improving Efficiency of Taxi Systems.
Jiarui Gan, Bo An, Haizhong Wang, Xiaoming Sun, Zhongzhi Shi
2013Optimal Valve Placement in Water Distribution Networks with CLP(FD).
Massimiliano Cattafi, Marco Gavanelli, Maddalena Nonato, Stefano Alvisi, Marco Franchini
2013Optimally Solving Dec-POMDPs as Continuous-State MDPs.
Jilles Steeve Dibangoye, Christopher Amato, Olivier Buffet, François Charpillet
2013Optimizing Cepstral Features for Audio Classification.
Zhouyu Fu, Guojun Lu, Kai Ming Ting, Dengsheng Zhang
2013Organizers and Sponsors.
2013PPSGen: Learning to Generate Presentation Slides for Academic Papers.
Yue Hu, Xiaojun Wan
2013PageRank with Priors: An Influence Propagation Perspective.
Biao Xiang, Qi Liu, Enhong Chen, Hui Xiong, Yi Zheng, Yu Yang
2013Parameter Learning for Latent Network Diffusion.
Xiaojian Wu, Akshat Kumar, Daniel Sheldon, Shlomo Zilberstein
2013Parameterized Complexity of Optimal Planning: A Detailed Map.
Martin Kronegger, Andreas Pfandler, Reinhard Pichler
2013Parametric Local Multimodal Hashing for Cross-View Similarity Search.
Deming Zhai, Hong Chang, Yi Zhen, Xianming Liu, Xilin Chen, Wen Gao
2013Pareto-Based Multiobjective AI Planning.
Mostepha Redouane Khouadjia, Marc Schoenauer, Vincent Vidal, Johann Dréo, Pierre Savéant
2013Partial-Tree Linearization: Generalized Word Ordering for Text Synthesis.
Yue Zhang
2013Past IJCAI Conferences.
2013Path Integral Control by Reproducing Kernel Hilbert Space Embedding.
Konrad Rawlik, Marc Toussaint, Sethu Vijayakumar
2013Persistent Homology: An Introduction and a New Text Representation for Natural Language Processing.
Xiaojin Zhu
2013Personalized Diagnosis for Over-Constrained Problems.
Alexander Felfernig, Monika Schubert, Stefan Reiterer
2013Plan Quality Optimisation via Block Decomposition.
Fazlul Hasan Siddiqui, Patrik Haslum
2013Planning with MIP for Supply Restoration in Power Distribution Systems.
Sylvie Thiébaux, Carleton Coffrin, Hassan L. Hijazi, John K. Slaney
2013Positive Subsumption in Fuzzy EL with General t-Norms.
Stefan Borgwardt, Rafael Peñaloza
2013Predicting Human Strategic Decisions Using Facial Expressions.
Noam Peled, Moshe Bitan, Joseph Keshet, Sarit Kraus
2013Predicting Knowledge in an Ontology Stream.
Freddy Lécué, Jeff Z. Pan
2013Predicting the Size of Depth-First Branch and Bound Search Trees.
Levi H. S. Lelis, Lars Otten, Rina Dechter
2013Preface.
2013Preference-Based CBR: General Ideas and Basic Principles.
Eyke Hüllermeier, Weiwei Cheng
2013Preference-Based Query Answering in Datalog+/- Ontologies.
Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo Ignacio Simari
2013Preserving Partial Solutions While Relaxing Constraint Networks.
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
2013Prior-Free Exploration Bonus for and beyond Near Bayes-Optimal Behavior.
Kenji Kawaguchi, Hiroshi Sato
2013Probabilistic Equivalence Verification Approach for Automatic Mathematical Solution Assessment.
Minh Luan Nguyen, Siu Cheung Hui, Alvis Cheuk M. Fong
2013Probabilistic Multi-Label Classification with Sparse Feature Learning.
Yuhong Guo, Wei Xue
2013Probabilistic Reasoning with Undefined Properties in Ontologically-Based Belief Networks.
Chia-Li Kuo, David Buchman, Arzoo Katiyar, David Poole
2013Problem Splitting Using Heuristic Search in Landmark Orderings.
Simon Vernhes, Guillaume Infantes, Vincent Vidal
2013Problem Transformations and Algorithm Selection for CSPs.
Barry Hurley, Barry O'Sullivan
2013Program Committee.
2013Promoting Diversity in Recommendation by Entropy Regularizer.
Lijing Qin, Xiaoyan Zhu
2013Protein Function Prediction by Integrating Multiple Kernels.
Guo-Xian Yu, Huzefa Rangwala, Carlotta Domeniconi, Guoji Zhang, Zili Zhang
2013Protein Function Prediction via Laplacian Network Partitioning Incorporating Function Category Correlations.
Hua Wang, Heng Huang, Chris H. Q. Ding
2013Randomized Load Control: A Simple Distributed Approach for Scheduling Smart Appliances.
Menkes van den Briel, Paul Scott, Sylvie Thiébaux
2013Reasoning about Continuous Uncertainty in the Situation Calculus.
Vaishak Belle, Hector J. Levesque
2013Reasoning about Normative Update.
Natasha Alechina, Mehdi Dastani, Brian Logan
2013Reasoning about State Constraints in the Situation Calculus.
Naiqi Li, Yi Fan, Yongmei Liu
2013Recommendation Using Textual Opinions.
Claudiu Cristian Musat, Yizhong Liang, Boi Faltings
2013Reduced Heteroscedasticity Linear Regression for Nyström Approximation.
Hao Yang, Jianxin Wu
2013Refining Incomplete Planning Domain Models Through Plan Traces.
Hankz Hankui Zhuo, Tuan Anh Nguyen, Subbarao Kambhampati
2013Regularized Latent Least Square Regression for Cross Pose Face Recognition.
Xinyuan Cai, Chunheng Wang, Baihua Xiao, Xue Chen, Ji Zhou
2013Representation and Reasoning about General Solid Rectangles.
Xiaoyu Ge, Jochen Renz
2013Revenue Maximization via Hiding Item Attributes.
Mingyu Guo, Argyrios Deligkas
2013Revisiting Centrality-as-Relevance: Support Sets and Similarity as Geometric Proximity: Extended abstract.
Ricardo Ribeiro, David Martins de Matos
2013Revisiting Regression in Planning.
Vidal Alcázar, Daniel Borrajo, Susana Fernández, Raquel Fuentetaja
2013Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics.
Samson Abramsky, Georg Gottlob, Phokion G. Kolaitis
2013Robust Median Reversion Strategy for On-Line Portfolio Selection.
Dingjiang Huang, Junlong Zhou, Bin Li, Steven C. H. Hoi, Shuigeng Zhou
2013Robust Optimization for Hybrid MDPs with State-Dependent Noise.
Zahra Zamani, Scott Sanner, Karina Valdivia Delgado, Leliane Nunes de Barros
2013Robust Tensor Clustering with Non-Greedy Maximization.
Xiaochun Cao, Xingxing Wei, Yahong Han, Yi Yang, Dongdai Lin
2013Robust Unsupervised Feature Selection.
Mingjie Qian, ChengXiang Zhai
2013Rolling Dispersion and Exploration for Robot Teams.
Elizabeth A. Jensen
2013Rolling Dispersion for Robot Teams.
Elizabeth A. Jensen, Maria L. Gini
2013Run-Time Improvement of Point-Based POMDP Policies.
Minlue Wang, Richard Dearden
2013SCMF: Sparse Covariance Matrix Factorization for Collaborative Filtering.
Jianping Shi, Naiyan Wang, Yang Xia, Dit-Yan Yeung, Irwin King, Jiaya Jia
2013Sample Complexity of Risk-Averse Bandit-Arm Selection.
Jia Yuan Yu, Evdokia Nikolova
2013Satisfiability Modulo Constraint Handling Rules (Extended Abstract).
Gregory James Duck
2013Scalable Dynamic Nonparametric Bayesian Models of Content and Users.
Amr Ahmed, Eric P. Xing
2013Scaling-up Security Games with Boundedly Rational Adversaries: A Cutting-plane Approach.
Rong Yang, Albert Xin Jiang, Milind Tambe, Fernando Ordóñez
2013Search Strategies for Optimal Multi-Way Number Partitioning.
Michael D. Moffitt
2013Self-Organized Neural Learning of Statistical Inference from High-Dimensional Data.
Johannes Bauer, Stefan Wermter
2013Semi-Supervised Learning for Integration of Aerosol Predictions from Multiple Satellite Instruments.
Nemanja Djuric, Lakesh Kansakar, Slobodan Vucetic
2013Semi-Supervised Learning with Manifold Fitted Graphs.
Tongtao Zhang, Rongrong Ji, Wei Liu, Dacheng Tao, Gang Hua
2013Semi-Supervised Structuring of Complex Data.
Marian-Andrei Rizoiu
2013Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues.
Hélène Fargier, Pierre Marquis, Nicolas Schmidt
2013Semiring-Based Mini-Bucket Partitioning Schemes.
Emma Rollon, Javier Larrosa, Rina Dechter
2013Sequences of Mechanisms for Causal Reasoning in Artificial Intelligence.
Denver Dash, Mark Voortman, Martijn de Jongh
2013Sequential Equilibrium in Computational Games.
Joseph Y. Halpern, Rafael Pass
2013Shifted Subspaces Tracking on Sparse Outlier for Motion Segmentation.
Tianyi Zhou, Dacheng Tao
2013Short-Term Wind Power Forecasting Using Gaussian Processes.
Niya Chen, Zheng Qian, Ian T. Nabney, Xiaofeng Meng
2013Smart Hashing Update for Fast Response.
Qiang Yang, Long-Kai Huang, Wei-Shi Zheng, Yingbiao Ling
2013Smoothing for Bracketing Induction.
Xiangyu Duan, Min Zhang, Wenliang Chen
2013Social Collaborative Filtering by Trust.
Bo Yang, Yu Lei, Dayou Liu, Jiming Liu
2013Social Influence Locality for Modeling Retweeting Behaviors.
Jing Zhang, Biao Liu, Jie Tang, Ting Chen, Juanzi Li
2013Social Norms for Self-Policing Multi-agent Systems and Virtual Societies.
Daniel Villatoro
2013Social Spammer Detection in Microblogging.
Xia Hu, Jiliang Tang, Yanchao Zhang, Huan Liu
2013Social Trust Prediction Using Rank-k Matrix Recovery.
Jin Huang, Feiping Nie, Heng Huang, Yu Lei, Chris H. Q. Ding
2013Socioscope: Spatio-Temporal Signal Recovery from Social Media (Extended Abstract).
Jun-Ming Xu, Aniruddha Bhargava, Robert D. Nowak, Xiaojin Zhu
2013Soft Robotics: The Next Generation of Intelligent Machines.
Rolf Pfeifer, Hugo Gravato Marques, Fumiya Iida
2013Sound, Complete, and Minimal Query Rewriting for Existential Rules.
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
2013Sparse Reconstruction for Weakly Supervised Semantic Segmentation.
Ke Zhang, Wei Zhang, Yingbin Zheng, Xiangyang Xue
2013StarVars - Effective Reasoning about Relative Directions.
Jae Hee Lee, Jochen Renz, Diedrich Wolter
2013Statistical Parsing with Probabilistic Symbol-Refined Tree Substitution Grammars.
Hiroyuki Shindo, Yusuke Miyao, Akinori Fujino, Masaaki Nagata
2013Statistical Tests for the Detection of the Arrow of Time in Vector Autoregressive Models.
Pablo Morales-Mombiela, Daniel Hernández-Lobato, Alberto Suárez
2013Strategic Interactions Among Agents with Bounded Rationality.
Pablo Hernandez-Leal, Enrique Munoz de Cote, Luis Enrique Sucar
2013Subset Selection of Search Heuristics.
D. Chris Rayner, Nathan R. Sturtevant, Michael Bowling
2013Sufficiency-Based Selection Strategy for MCTS.
Stefan Freyr Gudmundsson, Yngvi Björnsson
2013Sufficient Plan-Time Statistics for Decentralized POMDPs.
Frans Adriaan Oliehoek
2013Supervised Hypothesis Discovery Using Syllogistic Patterns in the Biomedical Literature.
Kazuhiro Seki, Kuniaki Uehara
2013Supremal Realizability of Behaviors with Uncontrollable Exogenous Events.
Nitin Yadav, Paolo Felli, Giuseppe De Giacomo, Sebastian Sardiña
2013Symbolic Merge-and-Shrink for Cost-Optimal Planning.
Álvaro Torralba Arias de Reyna, Carlos Linares López, Daniel Borrajo
2013Syntactic Computation of Hybrid Possibilistic Conditioning under Uncertain Inputs.
Salem Benferhat, Célia da Costa Pereira, Andrea G. B. Tettamanzi
2013Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC.
Agnieszka Kulacka, Dirk Pattinson, Lutz Schröder
2013Synthesizing Union Tables from the Web.
Xiao Ling, Alon Y. Halevy, Fei Wu, Cong Yu
2013Tag-Weighted Topic Model for Mining Semi-Structured Documents.
Shuangyin Li, Jiefei Li, Rong Pan
2013Target-Value Search Revisited.
Carlos Linares López, Roni Stern, Ariel Felner
2013Temporal Description Logic for Ontology-Based Data Access.
Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2013The CQC Algorithm: Cycling in Graphs to Semantically Enrich and Enhance a Bilingual Dictionary: Extended abstract.
Tiziano Flati, Roberto Navigli
2013The Complexity of One-Agent Refinement Modal Logic.
Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat
2013The Dynamics of Reinforcement Social Learning in Cooperative Multiagent Systems.
Jianye Hao, Ho-fung Leung
2013The Extended Global Cardinality Constraint: An Empirical Survey: Extended Abstract.
Peter Nightingale
2013The GoDeL Planning System: A More Perfect Union of Domain-Independent and Hierarchical Planning.
Vikas Shivashankar, Ronald Alford, Ugur Kuter, Dana S. Nau
2013The Impact of Disjunction on Query Answering Under Guarded-Based Existential Rules.
Pierre Bourhis, Michael Morak, Andreas Pieris
2013The Inclusion-Exclusion Rule and its Application to the Junction Tree Algorithm.
David B. Smith, Vibhav Gogate
2013The Markov Assumption: Formalization and Impact.
Alexander Bochman
2013The Multi-Feature Information Bottleneck with Application to Unsupervised Image Categorization.
Zhengzheng Lou, Yangdong Ye, Xiaoqiang Yan
2013The RoboEarth Language: Representing and Exchanging Knowledge about Actions, Objects, and Environments (Extended Abstract).
Moritz Tenorth, Alexander Clifford Perzylo, Reinhard Lafrenz, Michael Beetz
2013The Route to Success - A Performance Comparison of Diagnosis Algorithms.
Iulia Nica, Ingo Pill, Thomas Quaritsch, Franz Wotawa
2013Thinking of Images as What They Are: Compound Matrix Regression for Image Classification.
Zhigang Ma, Yi Yang, Feiping Nie, Nicu Sebe
2013Three Generalizations of the FOCUS Constraint.
Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh
2013Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract).
Till Mossakowski, Christoph Lange, Oliver Kutz
2013Topic Extraction from Online Reviews for Classification and Recommendation.
Ruihai Dong, Markus Schaal, Michael P. O'Mahony, Barry Smyth
2013Toward Rational Deployment of Multiple Heuristics in A.
David Tolpin, Tal Beja, Solomon Eyal Shimony, Ariel Felner, Erez Karpas
2013Towards Active Event Recognition.
Dimitri Ognibene, Yiannis Demiris
2013Towards Effective Prioritizing Water Pipe Replacement and Rehabilitation.
Junchi Yan, Yu Wang, Ke Zhou, Jin Huang, Chunhua Tian, Hongyuan Zha, Weishan Dong
2013Towards Robust Co-Clustering.
Liang Du, Yi-Dong Shen
2013Towards Understanding Global Spread of Disease from Everyday Interpersonal Interactions.
Sean Brennan, Adam Sadilek, Henry A. Kautz
2013Towards a Deeper Understanding of Nonmonotonic Reasoning with Degrees.
Marjon Blondeel, Steven Schockaert, Dirk Vermeir, Martine De Cock
2013Towards a Knowledge Compilation Map for Heterogeneous Representation Languages.
Hélène Fargier, Pierre Marquis, Alexandre Niveau
2013Towards a Second Generation Random Walk Planner: An Experimental Exploration.
Hootan Nakhost, Martin Müller
2013Towards the Design of Robust Trust and Reputation Systems.
Siwei Jiang
2013Tractable Approximations of Consistent Query Answering for Robust Ontology-based Data Access.
Meghyn Bienvenu, Riccardo Rosati
2013Tractable Queries for Lightweight Description Logics.
Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao
2013Transition Constraints: A Study on the Computational Complexity of Qualitative Change.
Matthias Westphal, Julien Hué, Stefan Wölfl, Bernhard Nebel
2013Trust Modeling for Opinion Evaluation by Coping with Subjectivity and Dishonesty.
Hui Fang
2013TutorialPlan: Automated Tutorial Generation from CAD Drawings.
Wei Li, Yuanlin Zhang, George W. Fitzmaurice
2013Twitter-Based User Modeling for News Recommendations.
Fabian Abel, Qi Gao, Geert-Jan Houben, Ke Tao
2013Undecidability in Epistemic Planning.
Guillaume Aucher, Thomas Bolander
2013Uniform Convergence, Stability and Learnability for Ranking Problems.
Wei Gao, Zhi-Hua Zhou
2013Unlearning from Demonstration.
Keith Sullivan, Ahmed ElMolla, Bill Squires, Sean Luke
2013Upper Confidence Weighted Learning for Efficient Exploration in Multiclass Prediction with Binary Feedback.
Hung Quoc Ngo, Matthew David Luciw, Ngo Anh Vien, Jürgen Schmidhuber
2013User-Centered Programming by Demonstration: Stylistic Elements of Behavior.
James Everett Young, Kentaro Ishii, Takeo Igarashi, Ehud Sharlin
2013Using Domain Knowledge to Systematically Guide Feature Selection.
William Groves
2013Using Double-Oracle Method and Serialized Alpha-Beta Search for Pruning in Simultaneous Move Games.
Branislav Bosanský, Viliam Lisý, Jiri Cermak, Roman Vitek, Michal Pechoucek
2013Using Strategic Logics to Reason about Agent Programs.
Nitin Yadav, Sebastian Sardiña
2013Variable Elimination in Binary CSP via Forbidden Patterns.
David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivný
2013Verifiable Equilibria in Boolean Games.
Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael J. Wooldridge
2013Verification of Inconsistency-Aware Knowledge and Action Bases.
Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov
2013Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability.
Thach-Thao Nguyen Duong, Duc Nghia Pham, Abdul Sattar, M. A. Hakim Newton
2013Weighted Path as a Condensed Pattern in a Single Attributed DAG.
Jérémy Sanhes, Frédéric Flouvat, Claude Pasquier, Nazha Selmaoui-Folcher, Jean-François Boulicaut
2013What Users Care About: A Framework for Social Content Alignment.
Lei Hou, Juanzi Li, Xiaoli Li, Jiangfeng Qu, Xiaofei Guo, Ou Hui, Jie Tang
2013Where You Like to Go Next: Successive Point-of-Interest Recommendation.
Chen Cheng, Haiqin Yang, Michael R. Lyu, Irwin King
2013Why Is It So Hard to Say Sorry? Evolution of Apology with Commitments in the iterated Prisoner's Dilemma.
The Anh Han, Luís Moniz Pereira, Francisco C. Santos, Tom Lenaerts
2013YAGO2: A Spatially and Temporally Enhanced Knowledge Base from Wikipedia: Extended Abstract.
Johannes Hoffart, Fabian M. Suchanek, Klaus Berberich, Gerhard Weikum
2013i, Poet: Automatic Chinese Poetry Composition through a Generative Summarization Framework under Constrained Optimization.
Rui Yan, Han Jiang, Mirella Lapata, Shou-De Lin, Xueqiang Lv, Xiaoming Li