-
Qiang Yang, Michael Wooldridge. "Preface" | [Home Page] | [PDF]
-
Qiang Yang. "Conference Organization" | [Home Page] | [PDF]
-
Qiang Yang. "Program Committee" | [Home Page] | [PDF]
-
Qiang Yang. "Conference Organizers and Sponsors" | [Home Page] | [PDF]
-
Qiang Yang. "Awards and Distinguished Papers" | [Home Page] | [PDF]
-
Qiang Yang. "IJCAI Organization" | [Home Page] | [PDF]
-
Qiang Yang. "Past IJCAI Conferences" | [Home Page] | [PDF]
-
Tim Baarslag, Enrico H. Gerding. "Optimal Incremental Preference Elicitation during Negotiation" | [Home Page] | [PDF]
-
Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Munindar P. Singh. "Composing and Verifying Commitment-Based Multiagent Protocols" | [Home Page] | [PDF]
-
Florian Brandl, Felix Brandt, Christian Geist, Johannes Hofbauer. "Strategic Abstention Based on Preference Extensions: Positive Results and Computer-Generated Impossibilities" | [Home Page] | [PDF]
-
Ioannis Caragiannis, Xenophon Chatzigeorgiou, Panagiotis Kanellopoulos, George A. Krimpas, Nikos Protopapas, Alexandros A. Voudouris. "Efficiency and Complexity of Price Competition Among Single-Product Vendors" | [Home Page] | [PDF]
-
Adam Clearwater, Clemens Puppe, Arkadii Slinko. "Generalizing the Single-Crossing Property on Lines and Trees to Intermediate Preferences on Median Graphs" | [Home Page] | [PDF]
-
Ross Conroy, Yifeng Zeng, Marc Cavazza, Yingke Chen. "Learning Behaviors in Agents Systems with Interactive Dynamic Influence Diagrams" | [Home Page] | [PDF]
-
Jilles Steeve Dibangoye, Olivier Buffet, Olivier Simonin. "Structural Results for Cooperative Decentralized Control Models" | [Home Page] | [PDF]
-
Barbara Dunin-Kęplicz, Alina Strachocka. "Tractable Inquiry in Information-Rich Environments" | [Home Page] | [PDF]
-
Yilin Kang, Ah-Hwee Tan, Chunyan Miao. "An Adaptive Computational Model for Personalized Persuasion" | [Home Page] | [PDF]
-
Vadim Levit, Zohar Komarovsky, Tal Grinshpoun, Amnon Meisels. "Tradeoffs between Incentive Mechanisms in Boolean Games" | [Home Page] | [PDF]
-
Danyan Lv, Zhaofeng Li, Yichuan Jiang. "Environment-Driven Social Force Model: Lévy Walk Pattern in Collective Behavior" | [Home Page] | [PDF]
-
Timo Mennle, Michael Weiss, Basil Philipp, Sven Seuken. "The Power of Local Manipulation Strategies in Assignment Mechanisms" | [Home Page] | [PDF]
-
Gianpiero Monaco, Piotr Sankowski, Qiang Zhang. "Revenue Maximization Envy-Free Pricing for Homogeneous Resources" | [Home Page] | [PDF]
-
Zhaohong Sun, Hideaki Hata, Taiki Todo, Makoto Yokoo. "Exchange of Indivisible Objects with Asymmetry" | [Home Page] | [PDF]
-
Paolo Viappiani. "Characterization of Scoring Rules with Distances: Application to the Clustering of Rankings" | [Home Page] | [PDF]
-
Dongxia Wang, Tim Muller, Jie Zhang, Yang Liu. "Quantifying Robustness of Trust Systems against Collusive Unfair Rating Attacks Using Information Theory" | [Home Page] | [PDF]
-
Zihe Wang, Pingzhong Tang. "Optimal Auctions for Partially Rational Bidders" | [Home Page] | [PDF]
-
Florian Wisser. "An Expert-Level Card Playing Agent Based on a Variant of Perfect Information Monte Carlo Sampling" | [Home Page] | [PDF]
-
Feng Wu, Sarvapali D. Ramchurn, Wenchao Jiang, Jeol E. Fischer, Tom Rodden, Nicholas R. Jennings. "Agile Planning for Real-World Disaster Response" | [Home Page] | [PDF]
-
Bolei Xu, Tao Qin, Guoping Qiu, Tie-Yan Liu. "Optimal Pricing for the Competitive and Evolutionary Cloud Market" | [Home Page] | [PDF]
-
Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman. "Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery" | [Home Page] | [PDF]
-
Sahbi Benlamine, Maher Chaouachi, Serena Villata, Elena Cabrio, Claude Frasson, Fabien Gandon. "Emotions in Argumentation: an Empirical Evaluation" | [Home Page] | [PDF]
-
Robert Bredereck, Jiehua Chen, Rolf Niedermeier, Toby Walsh. "Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty" | [Home Page] | [PDF]
-
Fabian Hadiji, Martin Mladenov, Christian Bauckhage, Kristian Kersting. "Computer Science on the Move: Inferring Migration Regularities from the Web via Compressed Label Propagation" | [Home Page] | [PDF]
-
Dingjiang Huang, Yan Zhu, Bin Li, Shuigeng Zhou, Steven C.H. Hoi. "Semi-Universal Portfolios with Transaction Costs" | [Home Page] | [PDF]
-
Marco Lippi, Paolo Torroni. "Context-Independent Claim Detection for Argument Mining" | [Home Page] | [PDF]
-
Wen Pu, Jaesik Choi, Yunseong Hwang, Eyal Amir. "A Deterministic Partition Function Approximation for Exponential Random Graph Models" | [Home Page] | [PDF]
-
Ming Yin, Yiling Chen. "Bonus or Not? Learn to Reward in Crowdsourcing" | [Home Page] | [PDF]
-
Suiqian Luo, Pingzhong Tang. "Mechanism Design and Implementation for Lung Exchange" | [Home Page] | [PDF]
-
Catherine Moon, Vincent Conitzer. "Maximal Cooperation in Repeated Games on Social Networks" | [Home Page] | [PDF]
-
Changjun Wang, Weidong Ma, Tao Qin, Xujin Chen, Xiaodong Hu, Tie-Yan Liu. "Selling Reserved Instances in Cloud Computing" | [Home Page] | [PDF]
-
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. "A Multicore Tool for Constraint Solving" | [Home Page] | [PDF]
-
Jeremias Berg, Paul Saikko, Matti Järvisalo. "Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT" | [Home Page] | [PDF]
-
Nikolaj Bjorner, Nina Narodytska. "Maximum Satisfiability Using Cores and Correction Sets" | [Home Page] | [PDF]
-
Abram L. Friesen, Pedro Domingos. "Recursive Decomposition for Nonconvex Optimization" | [Home Page] | [PDF]
-
Thierry Petit, Andrew C. Trapp. "Finding Diverse Solutions of High Quality to Constraint Optimization Problems" | [Home Page] | [PDF]
-
André Abramé, Djamal Habet. "On the Resiliency of Unit Propagation to Max-Resolution" | [Home Page] | [PDF]
-
Michael Abseher, Frederico Dusberger, Nysret Musliu, Stefan Woltran. "Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning" | [Home Page] | [PDF]
-
Carlos Ansotegui, Frederic Didier, Joel Gabas. "Exploiting the Structure of Unsatisfiable Cores in MaxSAT" | [Home Page] | [PDF]
-
Amine Balafrej, Christian Bessiere, Anastasia Paparrizou. "Multi-Armed Bandits for Adaptive Constraint Propagation" | [Home Page] | [PDF]
-
Nawal Benabbou, Patrice Perny. "Combining Preference Elicitation and Search in Multiobjective State-Space Graphs" | [Home Page] | [PDF]
-
Tadhg Fitzgerald, Yuri Malitsky, Barry O'Sullivan. "ReACTR: Realtime Algorithm Configuration through Tournament Rankings" | [Home Page] | [PDF]
-
Pierre Geneves, Alan Schmitt. "Expressive Logical Combinators for Free" | [Home Page] | [PDF]
-
Barry Hurley, Barry O'Sullivan. "Statistical Regimes and Runtime Prediction" | [Home Page] | [PDF]
-
Mikolas Janota, Joao Marques-Silva. "Solving QBF by Clause Selection" | [Home Page] | [PDF]
-
Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas. "Compiling Constraint Networks into Multivalued Decomposable Decision Graphs" | [Home Page] | [PDF]
-
Jimmy H. M. Lee, Zichen Zhu. "Filtering Nogoods Lazily in Dynamic Symmetry Breaking During Search" | [Home Page] | [PDF]
-
Kevin Leo, Guido Tack. "Multi-Pass High-Level Presolving" | [Home Page] | [PDF]
-
Chavalit Likitvivatanavong, Wei Xia, Roland H. C. Yap. "Decomposition of the Factor Encoding for CSPs" | [Home Page] | [PDF]
-
Christopher Mears, Maria Garcia de la Banda. "Towards Automatic Dominance Breaking for Constraint Optimization Problems" | [Home Page] | [PDF]
-
Zongxu Mu, Holger H. Hoos. "On the Empirical Time Complexity of Random 3-SAT at the Phase Transition" | [Home Page] | [PDF]
-
Guillaume Perez, Jean-Charles Régin. "Efficient Operations On MDDs for Building Constraint Programming Models" | [Home Page] | [PDF]
-
Oleksandr Polozov, Eleanor O'Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popović. "Personalized Mathematical Word Problem Generation" | [Home Page] | [PDF]
-
Chao Qian, Yang Yu, Zhi-Hua Zhou. "On Constrained Boolean Pareto Optimization" | [Home Page] | [PDF]
-
Ignacio Antonio Salas Donoso, Gilles Chabert. "Packing Curved Objects" | [Home Page] | [PDF]
-
Long Tran-Thanh, Yingce Xia, Tao Qin, Nicholas R Jennings. "Efficient Algorithms with Performance Guarantees for the Stochastic Multiple-Choice Knapsack Problem" | [Home Page] | [PDF]
-
Supriyo Ghosh, Akshat Kumar, Pradeep Varakantham. "Probabilistic Inference Based Message-Passing for Resource Constrained DCOPs" | [Home Page] | [PDF]
-
Minh Luan Nguyen, Siu Cheung Hui, Alvis C. M. Fong. "Collective Biobjective Optimization Algorithm for Parallel Test Paper Generation" | [Home Page] | [PDF]
-
Tamir Tassa, Roie Zivan, Tal Grinshpoun. "Max-Sum Goes Private" | [Home Page] | [PDF]
-
Roie Zivan, Tomer Parash, Yarden Naveh. "Applying Max-Sum to Asymmetric Distributed Constraint Optimization" | [Home Page] | [PDF]
-
Andres Abeliuk, Gerardo Berbeglia, Pascal Van Hentenryck. "A Bargaining Mechanism for One-Way Games" | [Home Page] | [PDF]
-
Elliot Anshelevich, Onkar Bhardwaj, Koushik Kar. "Strategic Network Formation through an Intermediary" | [Home Page] | [PDF]
-
Haris Aziz, Simina Brânzei, Aris Filos-Ratsikas, Søren Kristoffer Stiil Frederiksen. "The Adjusted Winner Procedure: Characterizations and Equilibria" | [Home Page] | [PDF]
-
Haris Aziz, Serge Gaspers, Joachim Gudmundsson, Julian Mestre, Hanjo Taubig. "Welfare Maximization in Fractional Hedonic Games" | [Home Page] | [PDF]
-
Haris Aziz, Toby Walsh, Lirong Xia. "Possible and Necessary Allocations via Sequential Mechanisms" | [Home Page] | [PDF]
-
Maria Florina Balcan, Ariel D. Procaccia, Yair Zick. "Learning Cooperative Games" | [Home Page] | [PDF]
-
Simina Brânzei, Peter Bro Miltersen. "A Dictatorship Theorem for Cake Cutting" | [Home Page] | [PDF]
-
Noam Brown, Tuomas Sandholm. "Simultaneous Abstraction and Equilibrium Finding in Games" | [Home Page] | [PDF]
-
Alejandro Uriel Carbonara, Anupam Datta, Arunesh Sinha, Yair Zick. "Incentivizing Peer Grading in MOOCS: An Audit Game Approach" | [Home Page] | [PDF]
-
Artur Czumaj, Michail Fasoulakis, Marcin Jurdzinski. "Approximate Nash Equilibria with Near Optimal Social Welfare" | [Home Page] | [PDF]
-
Amit Datta, Anupam Datta, Ariel D. Procaccia, Yair Zick. "Influence in Classification via Cooperative Game Theory" | [Home Page] | [PDF]
-
Joanna Drummond, Andrew Perrault, Fahiem Bacchus. "SAT Is an Effective and Complete Method for Solving Stable Matching Problems with Couples" | [Home Page] | [PDF]
-
Karel Durkota, Viliam Lisý, Branislav Bošanský, Christopher Kiekintveld. "Optimal Network Security Hardening Using Attack Graph Games" | [Home Page] | [PDF]
-
Edith Elkind, Umberto Grandi, Francesca Rossi, Arkadii Slinko. "Gibbard–Satterthwaite Games" | [Home Page] | [PDF]
-
Umberto Grandi, Davide Grossi, Paolo Turrini. "Equilibrium Refinement through Negotiation in Binary Voting" | [Home Page] | [PDF]
-
Gianluigi Greco, Francesco Lupia, Francesco Scarcello. "Structural Tractability of Shapley and Banzhaf Values in Allocation Games" | [Home Page] | [PDF]
-
Johannes Heinrich, David Silver. "Smooth UCT Search in Computer Poker" | [Home Page] | [PDF]
-
Michael P. Kim, Virginia Vassilevska Williams. "Fixing Tournaments for Kings, Chokers, and More" | [Home Page] | [PDF]
-
Annamaria Kovacs, Angelina Vidali. "A Characterization of n-Player Strongly Monotone Scheduling Mechanisms" | [Home Page] | [PDF]
-
Christian Kroer, Tuomas Sandholm. "Limited Lookahead in Imperfect-Information Games" | [Home Page] | [PDF]
-
David Kurokawa, Omer Lev, Jamie Morgenstern, Ariel D. Procaccia. "Impartial Peer Review" | [Home Page] | [PDF]
-
Minming Li, Jialin Zhang, Qiang Zhang. "Truthful Cake Cutting Mechanisms with Externalities: Do Not Make Them Care for Others Too Much!" | [Home Page] | [PDF]
-
Jian Lou, Yevgeniy Vorobeychik. "Equilibrium Analysis of Multi-Defender Security Games" | [Home Page] | [PDF]
-
Matthias Mnich, Yash Raj Shrestha, Yongjie Yang. "When Does Schwartz Conjecture Hold?" | [Home Page] | [PDF]
-
Svetlana Obraztsova, Edith Elkind, Maria Polukarov, Zinovi Rabinovich. "Strategic Candidacy Games with Lazy Candidates" | [Home Page] | [PDF]
-
Dominik Peters, Edith Elkind. "Simple Causes of Complexity in Hedonic Games" | [Home Page] | [PDF]
-
Maria Polukarov, Svetlana Obraztsova, Zinovi Rabinovich, Alexander Kruglyi, Nicholas R. Jennings. "Convergence to Equilibria in Strategic Candidacy" | [Home Page] | [PDF]
-
Oskar Skibski, Tomasz P. Michalak, Yuko Sakurai, Makoto Yokoo. "A Pseudo-Polynomial Algorithm for Computing Power Indices in Graph-Restricted Weighted Voting Games" | [Home Page] | [PDF]
-
Piotr Lech Szczepański, Aleksy Stanisław Barcz, Tomasz Paweł Michalak, Talal Rahwan. "The Game-Theoretic Interaction Index on Social Networks with Applications to Link Prediction and Community Detection" | [Home Page] | [PDF]
-
Oskari Tammelin, Neil Burch, Michael Johanson, Michael Bowling. "Solving Heads-Up Limit Texas Hold'em" | [Home Page] | [PDF]
-
Bo Tang, Jinshan Zhang. "Envy-Free Sponsored Search Auctions with Budgets" | [Home Page] | [PDF]
-
Shoshana Vasserman, Michal Feldman, Avinatan Hassidim. "Implementing the Wisdom of Waze" | [Home Page] | [PDF]
-
Marcin Waniek, Agata Nieścieruk, Tomasz Michalak, Talal Rahwan. "Spiteful Bidding in the Dollar Auction" | [Home Page] | [PDF]
-
Haifeng Xu, Albert Xing Jiang, Arunesh Sinha, Zinovi Rabinovich, Shaddin Dughmi, Milind Tambe. "Security Games with Information Leakage: Modeling and Computation" | [Home Page] | [PDF]
-
Yue Yin, Haifeng Xu, Jiarui Gan, Bo An, Albert Xin Jiang. "Computing Optimal Mixed Strategies for Security Games with Dynamic Payoffs" | [Home Page] | [PDF]
-
Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi. "From Weighted to Unweighted Model Counting" | [Home Page] | [PDF]
-
Radu Marinescu, Rina Dechter, Alexander Ihler. "Pushing Forward Marginal MAP with Best-First Search" | [Home Page] | [PDF]
-
Alexander Motzek, Ralf Möller. "Indirect Causes in Dynamic Bayesian Networks Revisited" | [Home Page] | [PDF]
-
Biao Qin. "Differential Semantics of Intervention in Bayesian Networks" | [Home Page] | [PDF]
-
Matteo Venanzi, Luke Teacy, Alex Rogers, Nick Jennings. "Bayesian Modelling of Community-Based Multidimensional Trust in Participatory Sensing under Data Sparsity" | [Home Page] | [PDF]
-
Yinqing Xu, Bei Shi, Wentao Tian, Wai Lam. "A Unified Model for Unsupervised Opinion Spamming Detection Incorporating Text Generality" | [Home Page] | [PDF]
-
Carlos Ansotegui, Yuri Malitsky, Horst Samulowitz, Meinolf Sellmann, Kevin Tierney. "Model-Based Genetic Algorithms for Algorithm Configuration" | [Home Page] | [PDF]
-
Eli Boyarski, Ariel Felner, Roni Stern, Guni Sharon, David Tolpin, Oded Betzalel, Eyal Shimony,. "ICBS: Improved Conflict-Based Search Algorithm for Multi-Agent Pathfinding" | [Home Page] | [PDF]
-
Shaowei Cai. "Balance between Complexity and Quality: Local Search for Minimum Vertex Cover in Massive Graphs" | [Home Page] | [PDF]
-
Tristan Cazenave. "Generalized Rapid Action Value Estimation" | [Home Page] | [PDF]
-
Yolanda E-Martin, Maria D. R-Moreno, David E. Smith. "A Fast Goal Recognition Technique Based on Interaction Estimates" | [Home Page] | [PDF]
-
Daniel Hennes, Dario Izzo. "Interplanetary Trajectory Planning with Monte Carlo Tree Search" | [Home Page] | [PDF]
-
Dileep Kini, Sumit Gulwani. "FlashNormalize: Programming by Examples for Text Normalization" | [Home Page] | [PDF]
-
Mike Phillips, Venkatraman Narayanan, Sandip Aine, Maxim Likhachev. "Efficient Search with an Ensemble of Heuristics" | [Home Page] | [PDF]
-
Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling. "Compositional Program Synthesis from Natural Language and Examples" | [Home Page] | [PDF]
-
Erik S. Steinmetz, Maria Gini. "Mining Expert Play to Guide Monte Carlo Search in the Opening Moves of Go" | [Home Page] | [PDF]
-
René van Bevern, Christian Komusiewicz, Rolf Niedermeier, Manuel Sorge, Toby Walsh. "H-Index Manipulation by Merging Articles: Models, Theory, and Experiments" | [Home Page] | [PDF]
-
Nic Wilson, Abdul Razak, Radu Marinescu. "Computing Possibly Optimal Solutions for Multi-Objective Constraint Optimisation with Tradeoffs" | [Home Page] | [PDF]
-
Mehwish Alam, Aleksey Buzmakov, Victor Codocedo, Amedeo Napoli. "Mining Definitions from RDF Annotations Using Formal Concept Analysis" | [Home Page] | [PDF]
-
Claudiu Cristian Musat, Boi Faltings. "Personalizing Product Rankings Using Collaborative Filtering on Opinion-Derived Topic Profiles" | [Home Page] | [PDF]
-
Mehdi Samadi, Partha Talukdar, Manuela Veloso, Tom Mitchell. "AskWorld: Budget-Sensitive Query Evaluation for Knowledge-on-Demand" | [Home Page] | [PDF]
-
Yuyin Sun, Adish Singla, Dieter Fox, Andreas Krause. "Building Hierarchies of Concepts via Crowdsourcing" | [Home Page] | [PDF]
-
Francesco Belardinelli, Davide Grossi, Alessio Lomuscio. "Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems" | [Home Page] | [PDF]
-
Francesco Belardinelli, Davide Grossi, Nicolas Maudet. "Formal Analysis of Dialogues on Infinite Argumentation Frameworks" | [Home Page] | [PDF]
-
Davide Grossi, Sanjay Modgil. "On the Graded Acceptability of Arguments" | [Home Page] | [PDF]
-
Antonio Lieto, Daniele Paolo Radicioni, Valentina Rho. "A Common-Sense Conceptual Categorization System Integrating Heterogeneous Proxytypes and the Dual Process of Reasoning" | [Home Page] | [PDF]
-
Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang. "A Simple Probabilistic Extension of Modal Mu-calculus" | [Home Page] | [PDF]
-
Denis Deratani Maua, Cassio Polpo de Campos, Fabio Gagliardi Cozman. "The Complexity of MAP Inference in Bayesian Networks Specified Through Logical Languages" | [Home Page] | [PDF]
-
Marius Pasca, Hylke Buisman. "Dissecting German Grammar and Swiss Passports: Open-Domain Decomposition of Compositional Entries in Large-Scale Knowledge Repositories" | [Home Page] | [PDF]
-
Ke Wang, Zhendong Su. "Automatic Generation of Raven’s Progressive Matrices" | [Home Page] | [PDF]
-
Peng Zhang, Jae Hee Lee, Jochen Renz. "From Raw Sensor Data to Detailed Spatial Knowledge" | [Home Page] | [PDF]
-
Francis Bisson, Hugo Larochelle, Froduald Kabanza. "Using a Recursive Neural Network to Learn an Agent's Decision Model for Plan Recognition" | [Home Page] | [PDF]
-
Matteo Denitto, Alessandro Farinelli, Manuele Bicego. "Biclustering Gene Expressions Using Factor Graphs and the Max-Sum Algorithm" | [Home Page] | [PDF]
-
Aaron Dennis, Dan Ventura. "Greedy Structure Search for Sum-Product Networks" | [Home Page] | [PDF]
-
Wei Gao, Zhi-Hua Zhou. "On the Consistency of AUC Pairwise Optimization" | [Home Page] | [PDF]
-
Sheng-Jun Huang, Songcan Chen, Zhi-Hua Zhou. "Multi-Label Active Learning: Query Type Matters" | [Home Page] | [PDF]
-
Wenbin Jiang, Qun Liu, Thepchai Supnithi. "Joint Learning of Constituency and Dependency Grammars by Decomposed Cross-Lingual Induction" | [Home Page] | [PDF]
-
Miao Lin, Hong Cao, Vincent Zheng, Kevin Chen-Chuan Chang, Shonali Krishnaswamy. "Mobility Profiling for User Verification with Anonymized Location Data" | [Home Page] | [PDF]
-
Deepan Subrahmanian Palguna, Vikas Joshi, Venkatesan Chakaravarthy, Ravi Kothari, LV Subramaniam. "Analysis of Sampling Algorithms for Twitter" | [Home Page] | [PDF]
-
Weiwei Shen, Jun Wang, Yu-Gang Jiang, Hongyuan Zha. "Portfolio Choices with Orthogonal Bandit Learning" | [Home Page] | [PDF]
-
Adish Singla, Eric Horvitz, Pushmeet Kohli, Ryen White, Andreas Krause. "Information Gathering in Networks via Active Exploration" | [Home Page] | [PDF]
-
Chang Wang, Liangliang Cao, Bowen Zhou. "Medical Synonym Extraction with Concept Space Models" | [Home Page] | [PDF]
-
Yichen Wang, Aditya Pal. "Detecting Emotions in Social Media: A Constrained Optimization Approach" | [Home Page] | [PDF]
-
Yue Wang, Cheng Si, Xintao Wu. "Regression Model Fitting under Differential Privacy and Model Inversion Attack" | [Home Page] | [PDF]
-
Junfeng Wen, Russell Greiner, Dale Schuurmans. "Correcting Covariate Shift with the Frank-Wolfe Algorithm" | [Home Page] | [PDF]
-
Runze Wu, Qi Liu, Yuping Liu, Enhong Chen, Yu Su, Zhigang Chen, Guoping Hu. "Cognitive Modelling for Predicting Examinee Performance" | [Home Page] | [PDF]
-
Rui Yan, Yiping Song, Cheng-Te Li, Ming Zhang, Xiaohua Hu. "Opportunities or Risks to Reduce Labor in Crowdsourcing Translation? Characterizing Cost versus Quality via a PageRank-HITS Hybrid Model" | [Home Page] | [PDF]
-
Yang Yang, Han-Jia Ye, De-Chuan Zhan, Yuan Jiang. "Auxiliary Information Regularized Machine for Multiple Modality Feature Learning" | [Home Page] | [PDF]
-
Biao Zhang, Jinsong Su, Deyi Xiong, Hong Duan, Junfeng Yao. "Discriminative Reordering Model Adaptation via Structural Learning" | [Home Page] | [PDF]
-
Jing Zhao, Shiliang Sun. "Revisiting Gaussian Process Dynamical Models" | [Home Page] | [PDF]
-
Xiaoqing Zheng, Haoyuan Peng, Yi Chen, Pengjing Zhang, Wenqiang Zhang. "Character-Based Parsing with Convolutional Neural Network" | [Home Page] | [PDF]
-
Jinhong Zhong, Ke Tang, Zhi-Hua Zhou. "Active Learning from Crowds with Unsure Option" | [Home Page] | [PDF]
-
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi. "Symbolic Model Checking for One-Resource RB+-ATL" | [Home Page] | [PDF]
-
Xiaowei Huang, Qingliang Chen, Kaile Su. "The Complexity of Model Checking Succinct Multiagent Systems" | [Home Page] | [PDF]
-
Panagiotis Kouvaros, Alessio Lomuscio. "Verifying Emergent Properties of Swarms" | [Home Page] | [PDF]
-
Aniello Murano, Giuseppe Perelli. "Pushdown Multi-Agent System Verification" | [Home Page] | [PDF]
-
Muddasser Alam, Enrico H. Gerding, Alex Rogers, Sarvapali D. Ramchurn. "A Scalable Interdependent Multi-Issue Negotiation Protocol for Energy Exchange" | [Home Page] | [PDF]
-
Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh. "Equilibria Under the Probabilistic Serial Rule" | [Home Page] | [PDF]
-
Cen Chen, Shih-Fen Cheng, Hoong Chuin Lau, Archan Misra. "Towards City-Scale Mobile Crowdsourcing: Task Recommendations under Trajectory Uncertainties" | [Home Page] | [PDF]
-
Palash Dey, Y. Narahari. "Estimating the Margin of Victory of an Election Using Sampling" | [Home Page] | [PDF]
-
Nhan-Tam Nguyen, Dorothea Baumeister, Jörg Rothe. "Strategy-Proofness of Scoring Allocation Correspondences for Indivisible Goods" | [Home Page] | [PDF]
-
Lúcio S. Passos, Rui Abreu, Rosaldo J. F. Rossetti. "Spectrum-Based Fault Localisation for Multi-Agent Systems" | [Home Page] | [PDF]
-
Piotr Krzysztof Skowron. "What Do We Elect Committees For? A Voting Committee Model for Multi-Winner Rules" | [Home Page] | [PDF]
-
Omer Geiger, Shaul Markovitch. "Algorithmic Exam Generation" | [Home Page] | [PDF]
-
Eric Hsin-Chun Huang, Jaron Lanier, Yoav Shoham. "The Right to Obscure: A Mechanism and Initial Evaluation" | [Home Page] | [PDF]
-
Guoping Huang, Jiajun Zhang, Yu Zhou, Chengqing Zong. "A New Input Method for Human Translators: Integrating Machine Translation Effectively and Imperceptibly" | [Home Page] | [PDF]
-
Yifei Lu, Wei-Long Zheng, Binbin Li, Bao-Liang Lu. "Combining Eye Movements and EEG to Enhance Emotion Recognition" | [Home Page] | [PDF]
-
Vittorio Perera, Manuela Veloso. "Handling Complex Commands as Service Robot Task Requests" | [Home Page] | [PDF]
-
Sarvapali D. Ramchurn, Joel E Fischer, Yuki Ikuno, Feng Wu, Jack Flann, Antony Waldock. "A Study of Human-Agent Collaboration for Multi-UAV Task Allocation in Dynamic Environments" | [Home Page] | [PDF]
-
Ke Wang, Zhendong Su. "Automated Geometry Theorem Proving for Human-Readable Proofs" | [Home Page] | [PDF]
-
Jie Wu, Changhu Wang, Liqing Zhang, Yong Rui. "Offline Sketch Parsing via Shapeness Estimation" | [Home Page] | [PDF]
-
Siddhartha Banerjee, Prasenjit Mitra, Kazunari Sugiyama. "Multi-Document Abstractive Summarization Using ILP Based Multi-Sentence Compression" | [Home Page] | [PDF]
-
Francesco Barbieri, Francesco Ronzano, Horacio Saggion. "Do We Criticise (and Laugh) in the Same Way? Automatic Detection of Multi-Lingual Satirical News in Twitter" | [Home Page] | [PDF]
-
Danushka Bollegala, Takanori Maehara, Ken-ichi Kawarabayashi. "Embedding Semantic Relations into Word Representations" | [Home Page] | [PDF]
-
Felipe Bravo-Marquez, Eibe Frank, Bernhard Pfahringer. "Positive, Negative, or Neutral: Learning an Expanded Opinion Lexicon from Emoticon-Annotated Tweets" | [Home Page] | [PDF]
-
Xinxiong Chen, Lei Xu, Zhiyuan Liu, Maosong Sun, Huanbo Luan. "Joint Learning of Character and Word Embeddings" | [Home Page] | [PDF]
-
Li Dong, Furu Wei, Hong Sun, Ming Zhou, Ke Xu. "A Hybrid Neural Model for Type Classification of Entity Mentions" | [Home Page] | [PDF]
-
Meiping Dong, Yang Liu, Huanbo Luan, Maosong Sun, Tatsuya Izuha, Dakun Zhang. "Iterative Learning of Parallel Lexicons and Phrases from Non-Parallel Corpora" | [Home Page] | [PDF]
-
Yohei Fusayasu, Katsuyuki Tanaka, Tetsuya Takiguchi, Yasuo Ariki. "Word-Error Correction of Continuous Speech Recognition Based on Normalized Relevance Distance" | [Home Page] | [PDF]
-
Chen Li, Yang Liu. "Joint POS Tagging and Text Normalization for Informal Text" | [Home Page] | [PDF]
-
Piji Li, Lidong Bing, Wai Lam, Hang Li, Yi Liao. "Reader-Aware Multi-Document Summarization via Sparse Coding" | [Home Page] | [PDF]
-
Biao Liu, Minlie Huang, Jiashen Sun, Xuan Zhu. "Incorporating Domain and Sentiment Supervision in Representation Learning for Domain Adaptation" | [Home Page] | [PDF]
-
Pengfei Liu, Xipeng Qiu, Xuanjing Huang. "Learning Context-Sensitive Word Embeddings with Neural Tensor Skip-Gram Model" | [Home Page] | [PDF]
-
Qian Liu, Zhiqiang Gao, Bing Liu, Yuanlin Zhang. "Automated Rule Selection for Aspect Extraction in Opinion Mining" | [Home Page] | [PDF]
-
Daraksha Parveen, Michael Strube. "Integrating Importance, Non-Redundancy and Coherence in Graph-Based Extractive Summarization" | [Home Page] | [PDF]
-
Xipeng Qiu, Xuanjing Huang. "Convolutional Neural Tensor Network Architecture for Community-Based Question Answering" | [Home Page] | [PDF]
-
Mrinmaya Sachan, Eduard Hovy, Eric P. Xing. "An Active Learning Approach to Coreference Resolution" | [Home Page] | [PDF]
-
Arpit Sharma, Nguyen H Vo, Somak Aditya, Chitta Baral. "Towards Addressing the Winograd Schema Challenge — Building and Using a Semantic Parser and a Knowledge Hunting Module" | [Home Page] | [PDF]
-
Xiangyan Sun, Yanghua Xiao, Haixun Wang, Wei Wang. "On Conceptual Labeling of a Bag of Words" | [Home Page] | [PDF]
-
Yaming Sun, Lei Lin, Duyu Tang, Nan Yang, Zhenzhou Ji, Xiaolong Wang. "Modeling Mention, Context and Entity with Neural Networks for Entity Disambiguation" | [Home Page] | [PDF]
-
Duyu Tang, Bing Qin, Ting Liu, Yuekui Yang. "User Modeling with Neural Network for Review Rating Prediction" | [Home Page] | [PDF]
-
Duy-Tin Vo, Yue Zhang. "Target-Dependent Twitter Sentiment Classification with Rich Automatic Features" | [Home Page] | [PDF]
-
Mingxuan Wang, Zhengdong Lu, Hang Li, Qun Liu. "Syntax-Based Deep Matching of Short Texts" | [Home Page] | [PDF]
-
Mengjiao Xie, Yuexian Hou, Peng Zhang, Jingfei Li, Wenjie Li, Dawei Song. "Modeling Quantum Entanglements in Quantum Language Models" | [Home Page] | [PDF]
-
Jiaming Xu, Peng Wang, Guanhua Tian, Bo Xu, Jun Zhao, Fangyuan Wang, Hongwei Hao. "Convolutional Neural Networks for Text Hashing" | [Home Page] | [PDF]
-
Jin-ge Yao, Xiaojun Wan, Jianguo Xiao. "Compressive Document Summarization via Sparse Optimization" | [Home Page] | [PDF]
-
Wenpeng Yin, Yulong Pei. "Optimizing Sentence Modeling and Selection for Document Summarization" | [Home Page] | [PDF]
-
Zheng Yu, Haixun Wang, Xuemin Lin, Min Wang. "Learning Term Embeddings for Hypernymy Identification" | [Home Page] | [PDF]
-
Jiajun Zhang, Dakun Zhang, Jie Hao. "Local Translation Prediction with Global Sentence Representation" | [Home Page] | [PDF]
-
Wei Zhang, Jianyong Wang. "Prior-Based Dual Additive Latent Dirichlet Allocation for User-Item Connected Documents" | [Home Page] | [PDF]
-
Yu Zhao, Zhiyuan Liu, Maosong Sun. "Representation Learning for Measuring Entity Relatedness with Rich Information" | [Home Page] | [PDF]
-
Guangyou Zhou, Tingting He, Wensheng Wu, Xiaohua Tony Hu. "Linking Heterogeneous Input Features with Pivots for Domain Adaptation" | [Home Page] | [PDF]
-
Guangyou Zhou, Tingting He, Jun Zhao, Wensheng Wu. "A Subspace Learning Framework for Cross-Lingual Sentiment Classification with Partial Parallel Data" | [Home Page] | [PDF]
-
Daniele Alfarone, Jesse Davis. "Unsupervised Learning of an IS-A Taxonomy from a Limited Domain-Specific Corpus" | [Home Page] | [PDF]
-
Gregor Behnke, Denis Ponomaryov, Marvin Schiller, Pascal Bercher, Florian Nothdurft, Birte Glimm, Susanne Biundo. "Coherence Across Components in Cognitive Systems — One Ontology to Rule Them All" | [Home Page] | [PDF]
-
Salem Benferhat, Zied Bouraoui, Karim Tabia. "How to Select One Preferred Assertional-Based Repair from Inconsistent and Prioritized DL-Lite Knowledge Bases?" | [Home Page] | [PDF]
-
Freddy Lecue. "Scalable Maintenance of Knowledge Discovery in an Ontology Stream" | [Home Page] | [PDF]
-
Daniil Mirylenka, Andrea Passerini, Luciano Serafini. "Bootstrapping Domain Ontologies from Wikipedia: A Uniform Approach" | [Home Page] | [PDF]
-
Chuncheng Xiang, Baobao Chang, Zhifang Sui. "An Ontology Matching Approach Based on Affinity-Preserving Random Walks" | [Home Page] | [PDF]
-
Mohammad Abdulaziz, Michael Norrish, Charles Gretton. "Exploiting Symmetries by Planning for a Descriptive Quotient" | [Home Page] | [PDF]
-
Meysam Aghighi, Christer Bäckström. "Cost-Optimal and Net-Benefit Planning — A Parameterised Complexity View" | [Home Page] | [PDF]
-
Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen. "On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic" | [Home Page] | [PDF]
-
Ron Alford, Pascal Bercher, David W. Aha. "Tight Bounds for HTN Planning with Task Insertion" | [Home Page] | [PDF]
-
Ankit Anand, Aditya Grover, Mausam, Parag Singla. "ASAP-UCT: Abstraction of State-Action Pairs in UCT" | [Home Page] | [PDF]
-
Spyros Angelopoulos. "Further Connections Between Contract-Scheduling and Ray-Searching Problems" | [Home Page] | [PDF]
-
Josef Bajada, Maria Fox, Derek Long. "Temporal Planning with Semantic Attachment of Non-Linear Monotonic Continuous Behaviours" | [Home Page] | [PDF]
-
Ronen Israel Brafman. "A Privacy Preserving Algorithm for Multi-Agent Planning and Search" | [Home Page] | [PDF]
-
Lukáš Chrpa, Fazlul Hasan Siddiqui. "Exploiting Block Deordering for Improving Planners Efficiency" | [Home Page] | [PDF]
-
Lukáš Chrpa, Mauro Vallati, Thomas Leo McCluskey. "On the Online Generation of Effective Macro-Operators" | [Home Page] | [PDF]
-
Liat Cohen, Solomon Eyal Shimony, Gera Weiss. "Estimating the Probability of Meeting a Deadline in Hierarchical Plans" | [Home Page] | [PDF]
-
Giuseppe De Giacomo, Moshe Vardi. "Synthesis for LTL and LDL on Finite Traces" | [Home Page] | [PDF]
-
Enrique Fernandez-Gonzalez, Erez Karpas, Brian C. Williams. "Mixed Discrete-Continuous Heuristic Generative Planning Based on Flow Tubes" | [Home Page] | [PDF]
-
Florian Geißer, Thomas Keller, Robert Mattmüller. "Delete Relaxations for Planning with State-Dependent Action Costs" | [Home Page] | [PDF]
-
Franc Ivankovic, Patrik Haslum. "Optimal Planning with Axioms" | [Home Page] | [PDF]
-
Bruno Lacerda, David Parker, Nick Hawes. "Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications" | [Home Page] | [PDF]
-
Jérôme Lang, Bruno Zanuttini. "Probabilistic Knowledge-Based Programs" | [Home Page] | [PDF]
-
Christopher H. Lin, Andrey Kolobov, Ece Kamar, Eric Horvitz. "Metareasoning for Planning Under Uncertainty" | [Home Page] | [PDF]
-
Nir Lipovetzky, Miquel Ramirez, Hector Geffner. "Classical Planning with Simulators: Results on the Atari Video Games" | [Home Page] | [PDF]
-
Ye Liu, Liqiang Nie, Lei Han, Luming Zhang, David S. Rosenblum. "Action2Activity: Recognizing Complex Activities from Sensor Data" | [Home Page] | [PDF]
-
Fabrice Mayran de Chamisso, Laurent Soulier, Michaël Aupetit. "Exploratory Digraph Navigation Using A"* | [Home Page] | [PDF]
-
Andrea Micheli, Minh Do, David E. Smith. "Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations" | [Home Page] | [PDF]
-
Sergio Núñez, Daniel Borrajo, Carlos Linares López. "Sorting Sequential Portfolios in Automated Planning" | [Home Page] | [PDF]
-
Frans Adriaan Oliehoek, Matthijs T. J. Spaan, Stefan John Witwicki. "Factored Upper Bounds for Multiagent Planning Problems under Uncertainty with Non-Factored Value Functions" | [Home Page] | [PDF]
-
Santiago Ontanon, Michael Buro. "Adversarial Hierarchical-Task Network Planning for Complex Real-Time Games" | [Home Page] | [PDF]
-
Jussi Rintanen. "Models of Action Concurrency in Temporal Planning" | [Home Page] | [PDF]
-
Diederik Marijn Roijers, Shimon Whiteson, Frans A. Oliehoek. "Point-Based Planning for Multi-Objective POMDPs" | [Home Page] | [PDF]
-
Enrico Scala, Pietro Torasso. "Deordering and Numeric Macro Actions for Plan Repair" | [Home Page] | [PDF]
-
Lei Song, Yuan Feng, Lijun Zhang. "Planning for Stochastic Games with Co-Safe Objectives" | [Home Page] | [PDF]
-
álvaro Torralba, Jörg Hoffmann. "Simulation-Based Admissible Dominance Pruning" | [Home Page] | [PDF]
-
Jorge Torres, Jorge A. Baier. "Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals" | [Home Page] | [PDF]
-
Mauro Vallati, Frank Hutter, Lukas Chrpa, Thomas Leo McCluskey. "On the Effective Configuration of Planning Domain Models" | [Home Page] | [PDF]
-
Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz. "Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning" | [Home Page] | [PDF]
-
Kyle Hollins Wray, Shlomo Zilberstein. "Multi-Objective POMDPs with Lexicographic Reward Preferences" | [Home Page] | [PDF]
-
Bo Wu, Craig A. Knoblock. "An Iterative Approach to Synthesize Data Transformation Programs" | [Home Page] | [PDF]
-
Daqing Yi, Michael A. Goodrich, Kevin D Seppi. "MORRF: Sampling-Based Multi-Objective Motion Planning"* | [Home Page] | [PDF]
-
Azin Ashkan, Branislav Kveton, Shlomo Berkovsky, Zheng Wen. "Optimal Greedy Diversity for Recommendation" | [Home Page] | [PDF]
-
Susan Craw, Ben Horsburgh, Stewart Massie. "Music Recommenders: User Evaluation Without Real Users?" | [Home Page] | [PDF]
-
Guang-Neng Hu, Xin-Yu Dai, Yunya Song, Shu-Jian Huang, Jia-Jun Chen. "A Synthetic Approach for Recommendation: Combining Ratings, Social Relations, and Reviews" | [Home Page] | [PDF]
-
Jingyu Hua, Chang Xia, Sheng Zhong. "Differentially Private Matrix Factorization" | [Home Page] | [PDF]
-
Liping Jing, Peng Wang, Liu Yang. "Sparse Probabilistic Matrix Factorization by Laplace Distribution for Collaborative Filtering" | [Home Page] | [PDF]
-
Kwan Hui Lim, Jeffrey Chan, Christopher Leckie, Shanika Karunasekera. "Personalized Tour Recommendation Based on User Interests and Points of Interest Visit Durations" | [Home Page] | [PDF]
-
Xin Liu. "Modeling Users' Dynamic Preference for Personalized Recommendation" | [Home Page] | [PDF]
-
Yong Liu, Peilin Zhao, Aixin Sun, Chunyan Miao. "A Boosting Algorithm for Item Recommendation with Implicit Feedback" | [Home Page] | [PDF]
-
Zebang Shen, Hui Qian, Tengfei Zhou, Song Wang. "Simple Atom Selection Strategy for Greedy Matrix Completion" | [Home Page] | [PDF]
-
Georgios Theocharous, Philip S. Thomas, Mohammad Ghavamzadeh. "Personalized Ad Recommendation Systems for Life-Time Value Optimization with Guarantees" | [Home Page] | [PDF]
-
Suhang Wang, Jiliang Tang, Yilin Wang, Huan Liu. "Exploring Implicit Hierarchical Structures for Recommender Systems" | [Home Page] | [PDF]
-
Xin Wang, Yunhui Guo, Congfu Xu. "Recommendation Algorithms for Optimizing Hit Rate, User Satisfaction and Website Revenue" | [Home Page] | [PDF]
-
Xin Xin, Zhirun Liu, Chin-Yew Lin, Heyan Huang, Xiaochi Wei, Ping Guo. "Cross-Domain Collaborative Filtering with Review Text" | [Home Page] | [PDF]
-
Luc De Raedt, Anton Dries, Ingo Thon, Guy Van den Broeck, Mathias Verbeke. "Inducing Probabilistic Relational Rules from Probabilistic Examples" | [Home Page] | [PDF]
-
Parisa Kordjamshidi, Dan Roth, Hao Wu. "Saul: Towards Declarative Learning Based Programming" | [Home Page] | [PDF]
-
Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc De Raedt. "Anytime Inference in Probabilistic Logic Programs with Tp-Compilation" | [Home Page] | [PDF]
-
Quan Wang, Bin Wang, Li Guo. "Knowledge Base Completion Using Embeddings and Rules" | [Home Page] | [PDF]
-
Kenneth Bogert, Prashant Doshi. "Toward Estimating Others' Transition Models Under Occlusion for Multi-Robot IRL" | [Home Page] | [PDF]
-
Arunkumar Byravan, Mathew Monfort, Brian Ziebart, Byron Boots, Dieter Fox. "Graph-Based Inverse Optimal Control for Robot Manipulation" | [Home Page] | [PDF]
-
Andreas G. Hofmann, Enrique Fernandez, Justin Helbert, Scott D. Smith, Brian C. Williams. "Reactive Integrated Motion Planning and Execution" | [Home Page] | [PDF]
-
Yong Li, Jing Liu, Yuhang Wang, Hanqing Lu, Songde Ma. "Weakly Supervised RBM for Semantic Segmentation" | [Home Page] | [PDF]
-
Natalie Parde, Adam Hair, Michalis Papakostas, Konstantinos Tsiakas, Maria Dagioglou, Vangelis Karkaletsis, Rodney D. Nielsen. "Grounding the Meaning of Words through Vision and Interactive Gameplay" | [Home Page] | [PDF]
-
Ariel Rosenfeld, Noa Agmon, Oleg Maksimov, Amos Azaria, Sarit Kraus. "Intelligent Agent Supporting Human-Multi-Robot Team Collaboration" | [Home Page] | [PDF]
-
Michael Spranger, Luc Steels. "Co-Acquisition of Syntax and Semantics — An Investigation in Spatial Language" | [Home Page] | [PDF]
-
Pavel Surynek. "Reduced Time-Expansion Graphs and Goal Decomposition for Solving Cooperative Path Finding Sub-Optimally" | [Home Page] | [PDF]
-
Jesse Thomason, Shiqi Zhang, Raymond J Mooney, Peter Stone. "Learning to Interpret Natural Language Commands through Human-Robot Dialog" | [Home Page] | [PDF]
-
Marc Toussaint. "Logic-Geometric Programming: An Optimization-Based Approach to Combined Task and Motion Planning" | [Home Page] | [PDF]
-
Xiaoqin Zhang, Wei Li, Mingyu Fan, Di Wang, Xiuzi Ye. "Multi-Modality Tracker Aggregation: From Generative to Discriminative" | [Home Page] | [PDF]
-
David A. Cohen, Martin C. Cooper, Peter G Jeavons, Stanislav Zivny. "Tractable Classes of Binary CSPs Defined by Excluded Topological Minors" | [Home Page] | [PDF]
-
Jesús Giráldez-Cru, Jordi Levy. "A Modularity-Based Random SAT Instances Generator" | [Home Page] | [PDF]
-
Chu-Min Li, Felip Manyà. "An Exact Inference Scheme for MinSAT" | [Home Page] | [PDF]
-
Joao Marques-Silva, Mikoláš Janota, Alexey Ignatiev, Antonio Morgado. "Efficient Model Based Diagnosis with Maximum Satisfiability" | [Home Page] | [PDF]
-
Carlos Mencía, Alessandro Previti, Joao Marques-Silva. "Literal-Based MCS Extraction" | [Home Page] | [PDF]
-
Alessandro Previti, Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva. "Prime Compilation of Non-Clausal Formulae" | [Home Page] | [PDF]
-
Hugo Gilbert, Olivier Spanjaard, Paolo Viappiani, Paul Weng. "Solving MDPs with Skew Symmetric Bilinear Utility Functions" | [Home Page] | [PDF]
-
Alkis Gotovos, Amin Karbasi, Andreas Krause. "Non-Monotone Adaptive Submodular Maximization" | [Home Page] | [PDF]
-
Emmanuel Hadoux, Aurélie Beynier, Nicolas Maudet, Paul Weng, Anthony Hunter. "Optimization of Probabilistic Argumentation with Markov Decision Models" | [Home Page] | [PDF]
-
Miao Liu, Christopher Amato, Xuejun Liao, Lawrence Carin, Jonathan P. How. "Stick-Breaking Policy Learning in Dec-POMDPs" | [Home Page] | [PDF]
-
Edith Elkind, Martin Lackner. "Structure in Dichotomous Preferences" | [Home Page] | [PDF]
-
David Timothy Lee. "Efficient, Private, and eps-Strategyproof Elicitation of Tournament Voting Rules" | [Home Page] | [PDF]
-
Lihi Naamani-Dery, Svetlana Obraztsova, Zinovi Rabinovich, Meir Kalech. "Lie on the Fly: Iterative Voting Center with Manipulative Voters" | [Home Page] | [PDF]
-
Ariel D. Procaccia, Nisarg Shah, Eric Sodomka. "Ranked Voting on Social Networks" | [Home Page] | [PDF]
-
Yair Zick, Yoram Bachrach, Ian A. Kash, Peter Key. "Non-Myopic Negotiators See What's Best" | [Home Page] | [PDF]
-
Noga Alon, Michal Feldman, Omer Lev, Moshe Tennenholtz. "How Robust Is the Wisdom of the Crowds?" | [Home Page] | [PDF]
-
Zhanpeng Fang, Jie Tang. "Uncovering the Formation of Triadic Closure in Social Networks" | [Home Page] | [PDF]
-
Shanshan Feng, Xutao Li, Yifeng Zeng, Gao Cong, Yeow Meng Chee, Quan Yuan. "Personalized Ranking Metric Embedding for Next New POI Recommendation" | [Home Page] | [PDF]
-
Wei-Xue Lu, Peng Zhang, Chuan Zhou, Chunyi Liu, Li Gao. "Influence Maximization in Big Networks: An Incremental Algorithm for Streaming Subgraph Influence Spread Estimation" | [Home Page] | [PDF]
-
Yulong Pei, Nilanjan Chakraborty, Katia Sycara. "Nonnegative Matrix Tri-Factorization with Graph Regularization for Community Detection in Social Networks" | [Home Page] | [PDF]
-
Chengbin Peng, Zhihua Zhang, Ka-Chun Wong, Xiangliang Zhang, David Keyes. "A Scalable Community Detection Algorithm for Large Graphs Using Stochastic Block Models" | [Home Page] | [PDF]
-
Vishnu Sankar, Balaraman Ravindran, Shivashankar S. "CEIL: A Scalable, Resolution Limit Free Approach for Detecting Communities in Large Networks" | [Home Page] | [PDF]
-
Zhefeng Wang, Enhong Chen, Qi Liu, Yu Yang, Yong Ge, Biao Chang. "Maximizing the Coverage of Information Propagation in Social Networks" | [Home Page] | [PDF]
-
Cheng Yang, Zhiyuan Liu, Deli Zhao, Maosong Sun, Edward Chang. "Network Representation Learning with Rich Text Information" | [Home Page] | [PDF]
-
Yifeng Zeng, Xuefeng Chen, Xin Cao, Shengchao Qin, Marc Cavazza, Yanping Xiang. "Optimal Route Search with the Coverage of Users' Preferences" | [Home Page] | [PDF]
-
Jiawei Zhang, Philip S. Yu. "Integrated Anchor and Social Link Predictions across Social Networks" | [Home Page] | [PDF]
-
Ognjen Arandjelovic, Duc-Son Pham, Svetha Venkatesh. "Groupwise Registration of Aerial Images" | [Home Page] | [PDF]
-
Piotr Bilinski, Francois Bremond. "Video Covariance Matrix Logarithm for Human Action Recognition in Videos" | [Home Page] | [PDF]
-
Ling Cai, Rongrong Ji, Wei Liu, Gang Hua. "Modeling Inter- and Intra-Part Deformations for Object Structure Parsing" | [Home Page] | [PDF]
-
Sheng Li, Ming Shao, Yun Fu. "Cross-View Projective Dictionary Learning for Person Re-Identification" | [Home Page] | [PDF]
-
Gaowen Liu, Yan Yan, Elisa Ricci, Yi Yang, Yahong Han, Stefan Winkler, Nicu Sebe. "Inferring Painting Style with Multi-Task Dictionary Learning" | [Home Page] | [PDF]
-
Zhiwu Lu, Xin Gao, Songfang Huang, Liwei Wang, Ji-Rong Wen. "Social Image Parsing by Cross-Modal Data Refinement" | [Home Page] | [PDF]
-
Tam Van Nguyen, Jose Sepulveda. "Salient Object Detection via Augmented Hypotheses" | [Home Page] | [PDF]
-
Li Shen, Gang Sun, Zhouchen Lin, Qingming Huang, Enhua Wu. "Adaptive Sharing for Image Classification" | [Home Page] | [PDF]
-
Zhiqiang Tang, Yifan Zhang, Zechao Li, Hanqing Lu. "Face Clustering in Videos with Proportion Prior" | [Home Page] | [PDF]
-
Hongteng Xu, Yi Zhen, Hongyuan Zha. "Trailer Generation via a Point Process-Based Visual Attractiveness Model" | [Home Page] | [PDF]
-
Zhiding Yu, Weiyang Liu, Wenbo Liu, Xi Peng, Zhuo Hui, B. V. K. Vijaya Kumar. "Generalized Transitive Distance with Minimum Spanning Random Forest" | [Home Page] | [PDF]
-
Jun Zhang, Meng Wang, Jun Gao, Yi Wang, Xudong Zhang, Xindong Wu. "Saliency Detection with a Deeper Investigation of Light Field" | [Home Page] | [PDF]
-
Handong Zhao, Yun Fu. "Semantic Single Video Segmentation with Robust Graph Representation" | [Home Page] | [PDF]
-
Marti Bosch, Pierre Geneves, Nabil Layaida. "Reasoning with Style" | [Home Page] | [PDF]
-
Xiaojun Chang, Yi Yang, Alexander Hauptmann, Eric P Xing, Yao-Liang Yu. "Semantic Concept Discovery for Large-Scale Zero-Shot Event Detection" | [Home Page] | [PDF]
-
Dustin Dannenhauer, Hector Munoz-Avila. "Raising Expectations in GDA Agents Acting in Dynamic Environments" | [Home Page] | [PDF]
-
Qing-Yuan Jiang, Wu-Jun Li. "Scalable Graph Hashing with Feature Transformation" | [Home Page] | [PDF]
-
Xiao-Yuan Jing, Qian Liu, Fei Wu, Baowen Xu, Yangping Zhu, Songcan Chen. "Web Page Classification Based on Uncorrelated Semi-Supervised Intra-View and Inter-View Manifold Discriminant Feature Extraction" | [Home Page] | [PDF]
-
Andreas Pfandler, Emanuel Sallinger. "Distance-Bounded Consistent Query Answering" | [Home Page] | [PDF]
-
Xiaojun Quan, Chunyu Kit, Yong Ge, Sinno Jialin Pan. "Short and Sparse Text Topic Modeling via Self-Aggregation" | [Home Page] | [PDF]
-
Kaisong Song, Shi Feng, Wei Gao, Daling Wang, Ge Yu, Kam-Fai Wong. "Personalized Sentiment Classification Based on Latent Individuality of Microblog Users" | [Home Page] | [PDF]
-
Ji Wan, Pengcheng Wu, Steven C. H. Hoi, Peilin Zhao, Xingyu Gao, Dayong Wang, Yongdong Zhang, Jintao Li. "Online Learning to Rank for Content-Based Image Retrieval" | [Home Page] | [PDF]
-
Daixin Wang, Peng Cui, Mingdong Ou, Wenwu Zhu. "Deep Multimodal Hashing with Orthogonal Regularization" | [Home Page] | [PDF]
-
Zhe Wang, Ling-Yu Duan, Jie Lin, Xiaofang Wang, Tiejun Huang, Wen Gao. "Hamming Compatible Quantization for Hashing" | [Home Page] | [PDF]
-
Tao Wu, Qifan Wang, Zhiwei Zhang, Luo Si. "Determining Expert Research Areas with Multi-Instance Learning of Hierarchical Multi-Label Classification Model" | [Home Page] | [PDF]
-
Djallel Bouneffouf, Inanc Birol. "Sampling with Minimum Sum of Squared Similarities for Nystrom-Based Large Scale Spectral Clustering" | [Home Page] | [PDF]
-
Danish Contractor, Bhupesh Chawda, Sameep Mehta, L Venkata Subramaniam, Tanveer Afzal Faruquie. "Tracking Political Elections on Social Media: Applications and Experience" | [Home Page] | [PDF]
-
Xiao Ding, Yue Zhang, Ting Liu, Junwen Duan. "Deep Learning for Event-Driven Stock Prediction" | [Home Page] | [PDF]
-
Stefano Faralli, Giovanni Stilo, Paola Velardi. "Large Scale Homophily Analysis in Twitter Using a Twixonomy" | [Home Page] | [PDF]
-
Shoushan Li, Jingjing Wang, Guodong Zhou, Hanxiao Shi. "Interactive Gender Inference with Integer Linear Programming" | [Home Page] | [PDF]
-
Xin Li, Yiqun Liu, Min Zhang, Shaoping Ma, Xuan Zhu, Jiashen Sun. "Detecting Promotion Campaigns in Community Question Answering" | [Home Page] | [PDF]
-
Ming Liu, Lei Chen, Bingquan Liu, Xiaolong Wang. "VRCA: A Clustering Algorithm for Massive Amount of Texts" | [Home Page] | [PDF]
-
Shilad Sen, Isaac Johnson, Rebecca Harper, Huy Mai, Samuel Horlbeck Olsen, Benjamin Mathers, Laura Souza Vonessen, Matthew Wright, Brent Hecht. "Towards Domain-Specific Semantic Relatedness: A Case Study from Geography" | [Home Page] | [PDF]
-
Xuemeng Song, Liqiang Nie, Luming Zhang, Maofu Liu, Tat-Seng Chua. "Interest Inference via Structure-Constrained Multi-Source Multi-Task Learning" | [Home Page] | [PDF]
-
Yilin Wang, Suhang Wang, Jiliang Tang, Huan Liu, Baoxin Li. "Unsupervised Sentiment Analysis for Social Media Images" | [Home Page] | [PDF]
-
Xiaochi Wei, Heyan Huang, Chin-Yew Lin, Xin Xin, Xianling Mao, Shangguang Wang. "Re-Ranking Voting-Based Answers by Discarding User Behavior Biases" | [Home Page] | [PDF]
-
Xiaofeng Yu, Junqing Xie, Shuai Wang. "A Unified Probabilistic Model of User Activities and Relations on Social Networking Sites" | [Home Page] | [PDF]
-
Hongyi Zhang, Michael R. Lyu, Irwin King. "Exploiting k-Degree Locality to Improve Overlapping Community Detection" | [Home Page] | [PDF]
-
Xiaoming Zhang, Xia Hu, Zhoujun Li. "Learning Geographical Hierarchy Features for Social Image Location Prediction" | [Home Page] | [PDF]
-
Yongfeng Zhang, Yunzhi Tan, Min Zhang, Yiqun Liu, Tat-Seng Chua, Shaoping Ma. "Catch the Black Sheep: Unified Framework for Shilling Attack Detection Based on Fraudulent Action Propagation" | [Home Page] | [PDF]
-
Xingwei Zhu, Zhao-Yan Ming, Yu Hao, Xiaoyan Zhu. "Tackling Data Sparseness in Recommendation using Social Media based Topic Hierarchy Modeling" | [Home Page] | [PDF]
-
Andreas Arzt, Harald Frostel, Thassilo Gadermaier, Martin Gasser, Maarten Grachten, Gerhard Widmer. "Artificial Intelligence in the Concertgebouw" | [Home Page] | [PDF]
-
Alexander Berman, Valencia James. "Kinetic Imaginations: Exploring the Possibilities of Combining AI and Dance" | [Home Page] | [PDF]
-
Mark d'Inverno, Jon McCormack. "Heroic versus Collaborative AI for the Arts" | [Home Page] | [PDF]
-
Manfred Eppe, Roberto Confalonieri, Ewen MacLean, Maximos Kaliakatsos, Emilios Cambouropoulos, Marco Schorlemmer, Mihai Codescu, Kai-Uwe Kühnberger. "Computational Invention of Cadences and Chord Progressions by Conceptual Chord-Blending" | [Home Page] | [PDF]
-
Lorenzo Gatti, Gözde özbal, Marco Guerini, Oliviero Stock, Carlo Strapparava. "Slogans Are Not Forever: Adapting Linguistic Expressions to the News" | [Home Page] | [PDF]
-
Stefan Lattner, Carlos Eduardo Cancino Chacón, Maarten Grachten. "Pseudo-Supervised Training Improves Unsupervised Melody Segmentation" | [Home Page] | [PDF]
-
Catarina Maçãs, Pedro Cruz, Pedro Martins, Penousal Machado. "Swarm Systems in the Visualization of Consumption Patterns" | [Home Page] | [PDF]
-
Penousal Machado, Adriano Vinhas, João Correia, Aniko Ekárt. "Evolving Ambiguous Images" | [Home Page] | [PDF]
-
AnneMarie Maes. "The Scaffolded Sound Beehive" | [Home Page] | [PDF]
-
François Pachet, Pierre Roy, Alexandre Papadopoulos, Jason Sakellariou. "Generating" | [Home Page] | [PDF]
-
Alexandre Papadopoulos, Pierre Roy, Jean-Charles Régin, François Pachet. "Generating all Possible Palindromes from Ngram Corpora" | [Home Page] | [PDF]
-
Rafal Rzepka, Kenji Araki. "Haiku Generator that Reads Blogs and Illustrates Them with Sounds and Images" | [Home Page] | [PDF]
-
Andreza Sartori, Yan Yan, Gözde özbal, Alkim Almila Akdag Salah, Albert Ali Salah, Nicu Sebe. "Looking at Mondrian's Victory Boogie-Woogie: What Do I Feel?" | [Home Page] | [PDF]
-
Rongju Sun, Zhouhui Lian, Yingmin Tang, Jianguo Xiao. "Aesthetic Visual Quality Evaluation of Chinese Handwritings" | [Home Page] | [PDF]
-
Josep Valls-Vargas, Jichen Zhu, Santiago Ontanon. "Narrative Hermeneutic Circle: Improving Character Role Identification from Natural Language Text via Feedback Loops" | [Home Page] | [PDF]
-
Dekai Wu, Karteek Addanki. "Learning to Rap Battle with Bilingual Recursive Neural Networks" | [Home Page] | [PDF]
-
Ning Xie, Tingting Zhao, Feng Tian, Xiao Hua Zhang, Masashi Sugiyama. "Stroke-Based Stylization Learning and Rendering with Inverse Reinforcement Learning" | [Home Page] | [PDF]
-
Martin Damyanov Aleksandrov, Haris Aziz, Serge Gaspers, Toby Walsh. "Online Fair Division: Analysing a Food Bank Problem" | [Home Page] | [PDF]
-
Frederik Auffenberg, Sebastian Stein, Alex Rogers. "A Personalised Thermal Comfort Model Using a Bayesian Network" | [Home Page] | [PDF]
-
Sambaran Bandyopadhyay, Ramasuri Narayanam, Ramachandra Kota, Pg Dr Mohammad Iskandarbin Pg Hj Petra, Zainul Charbiwala. "Aggregate Demand-Based Real-Time Pricing Mechanism for the Smart Grid: A Game-Theoretic Analysis" | [Home Page] | [PDF]
-
Heider Berlink, Anna HR Costa. "Batch Reinforcement Learning for Smart Home Energy Management" | [Home Page] | [PDF]
-
Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Toby Walsh. "Reasoning about Connectivity Constraints" | [Home Page] | [PDF]
-
Xi Chen, James H. Faghmous, Ankush Khandelwal, Vipin Kumar. "Clustering Dynamic Spatio-Temporal Patterns in The Presence of Noise and Missing Data" | [Home Page] | [PDF]
-
Yann Dujardin, Tom Dietterich, Iadine Chades. "α-min: A Compact Approximate Solver For Finite-Horizon POMDPs" | [Home Page] | [PDF]
-
Fei Fang, Peter Stone, Milind Tambe. "When Security Games Go Green: Designing Defender Strategies to Prevent Poaching and Illegal Fishing" | [Home Page] | [PDF]
-
Maryam Ghasemi, Benjamin Lubin. "Modeling Multi-Attribute Demand for Sustainable Cloud Computing with Copulae" | [Home Page] | [PDF]
-
Xiaohong Hao, Bangsheng Tang, Yongcai Wang. "On the Balance of Meter Deployment Cost and NILM Accuracy" | [Home Page] | [PDF]
-
Keiichiro Hayakawa, Enrico H. Gerding, Sebastian Stein, Takahiro Shiga. "Online Mechanisms for Charging Electric Vehicles in Settings with Varying Marginal Electricity Costs" | [Home Page] | [PDF]
-
Athirai A. Irissappane, Jie Zhang, Frans A. Oliehoek, Partha S. Dutta. "Secure Routing in Wireless Sensor Networks via POMDPs" | [Home Page] | [PDF]
-
Andrew Perrault, Craig Boutilier. "Approximately Stable Pricing for Coordinated Purchasing of Electricity" | [Home Page] | [PDF]
-
Jose F. Ruiz-Muñoz, Mauricio Orozco Alzate, G. Castellanos-Dominguez. "Multiple Instance Learning-Based Birdsong Classification Using Unsupervised Recording Segmentation" | [Home Page] | [PDF]
-
René Schönfelder, Martin Leucker. "Abstract Routing Models and Abstractions in the Context of Vehicle Routing" | [Home Page] | [PDF]
-
Kalyan Veeramachaneni, Alfredo Cuesta-Infante, Una-May O'Reilly. "Copula Graphical Models for Wind Resource Estimation" | [Home Page] | [PDF]
-
Xiaojian Wu, Daniel Sheldon, Shlomo Zilberstein. "Fast Combinatorial Algorithm for Optimizing the Spread of Cascades" | [Home Page] | [PDF]
-
Yanhai Xiong, Jiarui Gan, Bo An, Chunyan Miao, Ana L. C. Bazzan. "Optimal Electric Vehicle Charging Station Placement" | [Home Page] | [PDF]
-
Ronghuo Zheng, Ying Xu, Nilanjan Chakraborty, Katia Sycara. "A Crowdfunding Model for Green Energy Investment" | [Home Page] | [PDF]
-
Mario Alviano, Carmine Dodaro, Francesco Ricca. "A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size" | [Home Page] | [PDF]
-
Mario Alviano, Wolfgang Faber. "Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective" | [Home Page] | [PDF]
-
Antoine Amarilli, Michael Benedikt. "Combining Existential Rules and Description Logics" | [Home Page] | [PDF]
-
Marcelo Arenas, Gabriel Diéguez, Jorge Pérez. "Bidirectional Constraints for Exchanging Data: Beyond Monotone Queries" | [Home Page] | [PDF]
-
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev. "First-Order Rewritability of Temporal Ontology-Mediated Queries" | [Home Page] | [PDF]
-
Guillaume Aucher, Vaishak Belle. "Multi-Agent Only Knowing on Planet Kripke" | [Home Page] | [PDF]
-
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher. "Combining Existential Rules and Transitivity: Next Steps" | [Home Page] | [PDF]
-
Pietro Baroni, Massimiliano Giacomin, Beishui Liao. "Dealing with Generic Contrariness in Structured Argumentation" | [Home Page] | [PDF]
-
Ringo Baumann, Gerhard Brewka. "AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks" | [Home Page] | [PDF]
-
Harald Beck, Minh Dao-Tran, Thomas Eiter. "Answer Update for Rule-Based Stream Reasoning" | [Home Page] | [PDF]
-
Francesco Belardinelli, Wiebe van der Hoek. "Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results" | [Home Page] | [PDF]
-
Vaishak Belle, Gerhard Lakemeyer. "Only Knowing Meets Common Knowledge" | [Home Page] | [PDF]
-
Vaishak Belle, Hector Levesque. "ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains" | [Home Page] | [PDF]
-
Vaishak Belle, Andrea Passerini, Guy Van den Broeck. "Probabilistic Inference in Hybrid Domains by Weighted Model Integration" | [Home Page] | [PDF]
-
Salem Benferhat, Amélie Levray, Karim Tabia, Vladik Kreinovich. "Compatible-Based Conditioning in Interval-Based Possibilistic Logic" | [Home Page] | [PDF]
-
Bart Bogaerts, Joost Vennekens, Marc Denecker. "Partial Grounded Fixpoints" | [Home Page] | [PDF]
-
Thomas Bolander, Martin Holm Jensen, Francois Schwarzentruber. "Complexity Results in Epistemic Planning" | [Home Page] | [PDF]
-
Blai Bonet, Hector Geffner. "Policies that Generalize: Solving Many Planning Problems with the Same Policy" | [Home Page] | [PDF]
-
Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan José Varzinczak. "On the Entailment Problem for a Logic of Typicality" | [Home Page] | [PDF]
-
Stefan Borgwardt, Marco Cerami, Rafael Peñaloza. "The Complexity of Subsumption in Fuzzy EL" | [Home Page] | [PDF]
-
Stefan Borgwardt, Veronika Thost. "Temporal Query Answering in the Description Logic EL" | [Home Page] | [PDF]
-
Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph. "Reasonable Highly Expressive Query Languages" | [Home Page] | [PDF]
-
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna. "Logic Program Termination Analysis Using Atom Sizes" | [Home Page] | [PDF]
-
Diego Calvanese, Giuseppe De Giacomo, Mikhail Soutchanski. "On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies" | [Home Page] | [PDF]
-
Diego Calvanese, Marco Montali, Ario Santoso. "Verification of Generalized Inconsistency-Aware Knowledge and Action Bases" | [Home Page] | [PDF]
-
Kinzang Chhogyal, Abhaya Nayak, Zhiqiang Zhuang, Abdul Sattar. "Probabilistic Belief Contraction Using Argumentation" | [Home Page] | [PDF]
-
Arthur Choi, Guy Van den Broeck, Adnan Darwiche. "Tractable Learning for Structured Probability Spaces: A Case Study in Learning Preference Distributions" | [Home Page] | [PDF]
-
Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau. "An Algebra of Granular Temporal Relations for Qualitative Reasoning" | [Home Page] | [PDF]
-
Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis. "Extension Enforcement in Abstract Argumentation as an Optimization Problem" | [Home Page] | [PDF]
-
Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov. "Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies" | [Home Page] | [PDF]
-
Sofie De Clercq, Steven Schockaert, Ann Nowé, Martine De Cock. "Multilateral Negotiation in Boolean Games with Incomplete Information Using Generalized Possibilistic Logic" | [Home Page] | [PDF]
-
Ronald de Haan, Martin Kronegger, Andreas Pfandler. "Fixed-Parameter Tractable Reductions to SAT for Planning" | [Home Page] | [PDF]
-
James Delgrande, Bryan Renne. "The Logic of Qualitative Probability" | [Home Page] | [PDF]
-
Jérôme Delobelle, Sébastien Konieczny, Srdjan Vesic. "On the Aggregation of Argumentation Frameworks" | [Home Page] | [PDF]
-
Tommaso Di Noia, Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, Oana Tifrea-Marciuska. "Combining Existential Rules with the Power of CP-Theories" | [Home Page] | [PDF]
-
Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran. "An Extension-Based Approach to Belief Revision in Abstract Argumentation" | [Home Page] | [PDF]
-
Didier Dubois, Henri Prade, Agnès Rico. "The Cube of Opposition: A Structure Underlying Many Knowledge Representation Formalisms" | [Home Page] | [PDF]
-
Alireza Ensan, Eugenia Ternovska. "Modular Systems with Preferences" | [Home Page] | [PDF]
-
Tuan-Fang Fan, Churn-Jung Liau. "A Logic for Reasoning about Justified Uncertain Beliefs" | [Home Page] | [PDF]
-
Liangda Fang, Yongmei Liu, Ximing Wen. "On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus" | [Home Page] | [PDF]
-
Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su. "Epistemic Equilibrium Logic" | [Home Page] | [PDF]
-
Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks. "The Combined Approach to Query Answering Beyond the OWL 2 Profiles" | [Home Page] | [PDF]
-
Paolo Felli, Tim Miller, Christian Muise, Adrian R. Pearce, Liz Sonenberg. "Computing Social Behaviours Using Agent Models" | [Home Page] | [PDF]
-
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass. "On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks" | [Home Page] | [PDF]
-
Georg Gottlob, Marco Manna, Andreas Pieris. "Polynomial Rewritings for Linear Existential Rules" | [Home Page] | [PDF]
-
Georg Gottlob, Andreas Pieris. "Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue" | [Home Page] | [PDF]
-
Gianluigi Greco, Jerome Lang. "Group Decision Making via Weighted Propositional Logic: Complexity and Islands of Tractability" | [Home Page] | [PDF]
-
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider. "Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes" | [Home Page] | [PDF]
-
Joseph Halpern. "A Modification of the Halpern-Pearl Definition of Causality" | [Home Page] | [PDF]
-
Peter Hansen, Carsten Lutz, İnanç Seylan, Frank Wolter. "Efficient Query Rewriting in the Description Logic EL and Beyond" | [Home Page] | [PDF]
-
Adrian Haret, Stefan Rümmele, Stefan Woltran. "Merging in the Horn Fragment" | [Home Page] | [PDF]
-
Andre Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter. "Schema.org as a Description Logic" | [Home Page] | [PDF]
-
Anthony Hunter. "Modelling the Persuadee in Asymmetric Argumentation Dialogues for Persuasion" | [Home Page] | [PDF]
-
Aaron Hunter, Richard Booth. "Trust-Sensitive Belief Revision" | [Home Page] | [PDF]
-
Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan. "Simplifying A Logic Program Using Its Consequences" | [Home Page] | [PDF]
-
Jianmin Ji, Jia-Huai You, Yisong Wang. "On Forgetting Postulates in Answer Set Programming" | [Home Page] | [PDF]
-
Cezary Kaliszyk, Josef Urban, Jiri Vyskocil. "Efficient Semantic Features for Automated Reasoning over Large Theories" | [Home Page] | [PDF]
-
Mark Kaminski, Bernardo Cuenca Grau. "Computing Horn Rewritings of Description Logics Ontologies" | [Home Page] | [PDF]
-
Tobias Kaminski, Matthias Knorr, João Leite. "Efficient Paraconsistent Reasoning with Ontologies and Rules" | [Home Page] | [PDF]
-
Melanie Konig, Michel Leclere, Marie-Laure Mugnier. "Query Rewriting for Existential Rules with Compiled Preorder" | [Home Page] | [PDF]
-
Naiqi Li, Yongmei Liu. "Automatic Verification of Partial Correctness of Golog Programs" | [Home Page] | [PDF]
-
Carsten Lutz, Inanc Seylan, Frank Wolter. "Ontology-Mediated Queries with Closed Predicates" | [Home Page] | [PDF]
-
Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks. "Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality" | [Home Page] | [PDF]
-
Mehrdad Oveisi, James P. Delgrande, Fred Popowich, Francis Jeffry Pelletier. "Kernel Contraction and Base Dependence: Redundancy in the Base Resulting in Different Types of Dependence" | [Home Page] | [PDF]
-
Umut Oztok, Adnan Darwiche. "A Top-Down Compiler for Sentential Decision Diagrams" | [Home Page] | [PDF]
-
Andreas Pfandler, Stefan Rümmele, Johannes Peter Wallner, Stefan Woltran. "On the Parameterized Complexity of Belief Revision" | [Home Page] | [PDF]
-
Nico Potyka, Matthias Thimm. "Probabilistic Reasoning with Inconsistent Beliefs Using Inconsistency Measures" | [Home Page] | [PDF]
-
Abhay Prakash, Manoj Kumar Chinnakotla, Dhaval Patel, Puneet Garg. "Did You Know? — Mining Interesting Trivia for Entities from Wikipedia" | [Home Page] | [PDF]
-
Jörg Pührer. "Realizability of Three-Valued Semantics for Abstract Dialectical Frameworks" | [Home Page] | [PDF]
-
David Rajaratnam, Michael Thielscher. "Execution Monitoring as Meta-Games for General Game-Playing Robots" | [Home Page] | [PDF]
-
Sebastian Rudolph, Christian Sacarea, Diana Troanca. "Membership Constraints in Formal Concept Analysis" | [Home Page] | [PDF]
-
Sebastian Rudolph, Michaël Thomazo. "Characterization of the Expressivity of Existential Rule Queries" | [Home Page] | [PDF]
-
Sebastian Sardina, Nicolas D'Ippolito. "Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis" | [Home Page] | [PDF]
-
Steven Schockaert, Jae Hee Lee. "Qualitative Reasoning about Directions in Semantic Spaces" | [Home Page] | [PDF]
-
Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco. "Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus" | [Home Page] | [PDF]
-
Kostyantyn Shchekotykhin, Dietmar Jannach, Thomas Schmitz. "MergeXplain: Fast Computation of Multiple Conflicts for Diagnosis" | [Home Page] | [PDF]
-
Michael Sioutis, Sanjiang Li, Jean-Francois Condotta. "Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial Networks" | [Home Page] | [PDF]
-
György Turán, Jon Yaggie. "Characterizability in Belief Revision" | [Home Page] | [PDF]
-
Benito van der Zander, Johannes Textor, Maciej Liskiewicz. "Efficiently Finding Conditional Instruments for Causal Inference" | [Home Page] | [PDF]
-
Marc van Zee, Dragan Doder, Mehdi Dastani, Leendert van der Torre. "AGM Revision of Beliefs about Action and Time" | [Home Page] | [PDF]
-
Hai Wan, Rui Yang, Liangda Fang, Yongmei Liu, Huada Xu. "A Complete Epistemic Planner without the Epistemic Closed World Assumption" | [Home Page] | [PDF]
-
Zhongyuan Wang, Kejun Zhao, Haixun Wang, Xiaofeng Meng, Ji-Rong Wen. "Query Understanding through Knowledge-Based Conceptualization" | [Home Page] | [PDF]
-
Nic Wilson, Anne-Marie George, Barry O'Sullivan. "Computation and Complexity of Preference Inference Based on Hierarchical Models" | [Home Page] | [PDF]
-
Benjamin Zarrieß, Jens Claßen. "Verification of Knowledge-Based Programs over Description Logic Actions" | [Home Page] | [PDF]
-
Haodi Zhang, Fangzhen Lin. "Characterizing Causal Action Theories and Their Implementations in Answer Set Programming: Action Languages B, C, and Beyond" | [Home Page] | [PDF]
-
Yi Zhou. "First-Order Disjunctive Logic Programming vs Normal Logic Programming" | [Home Page] | [PDF]
-
Zhiqiang Zhuang, Zhe Wang, Kewen Wang, James P Delgrande. "Extending AGM Contraction to Arbitrary Logics" | [Home Page] | [PDF]
-
Dana Angluin, Sarah Eisenstat, Dana Fisman. "Learning Regular Languages via Alternating Automata" | [Home Page] | [PDF]
-
Julien Audiffren, Michal Valko, Alessandro Lazaric, Mohammad Ghavamzadeh. "Maximum Entropy Semi-Supervised Inverse Reinforcement Learning" | [Home Page] | [PDF]
-
Lu Bai, Zhihong Zhang, Chaoyan Wang, Xiao Bai, Edwin Hancock. "A Graph Kernel Based on the Jensen-Shannon Representation Alignment" | [Home Page] | [PDF]
-
Andre M. S. Barreto, Rafael L. Beirigo, Joelle Pineau, Doina Precup. "An Expectation-Maximization Algorithm to Compute a Stochastic Factorization From Data" | [Home Page] | [PDF]
-
Marc G. Bellemare. "Count-Based Frequency Estimation with Bounded Memory" | [Home Page] | [PDF]
-
Haitham Bou Ammar, Eric Eaton, Jose Marcio Luna, Paul Ruvolo. "Autonomous Cross-Domain Knowledge Transfer in Lifelong Policy Gradient Reinforcement Learning" | [Home Page] | [PDF]
-
Tim Brys, Anna Harutyunyan, Halit Bener Suay, Sonia Chernova, Matthew E. Taylor, Ann Nowé. "Reinforcement Learning from Demonstration through Shaping" | [Home Page] | [PDF]
-
Deng Cai. "Compressed Spectral Regression for Efficient Nonlinear Dimensionality Reduction" | [Home Page] | [PDF]
-
Thomas Cederborg, Ishaan Grover, Charles L Isbell, Andrea L Thomaz. "Policy Shaping with Human Teachers" | [Home Page] | [PDF]
-
Shiyu Chang, Jiayu Zhou, Pirooz Chubak, Junling Hu, Thomas Huang. "A Space Alignment Method for Cold-Start TV Show Recommendations" | [Home Page] | [PDF]
-
Jessica Chemali, Alessandro Lazaric. "Direct Policy Iteration with Demonstrations" | [Home Page] | [PDF]
-
Huanhuan Chen, Fengzhen Tang, Peter Tino, Anthony G. Cohn, Xin Yao. "Model Metric Co-Learning for Time Series Classification" | [Home Page] | [PDF]
-
Xixian Chen, Haiqin Yang, Irwin King, Michael R. Lyu. "Training-Efficient Feature Map for Shift-Invariant Kernels" | [Home Page] | [PDF]
-
Ying-Cong Chen, Wei-Shi Zheng, Jianhuang Lai. "Mirror Representation for Modeling View-Specific Transform in Person Re-Identification" | [Home Page] | [PDF]
-
Yiu-ming Cheung, Jian Lou. "Efficient Generalized Conditional Gradient with Gradient Sliding for Composite Optimization" | [Home Page] | [PDF]
-
Jacob W. Crandall. "Robust Learning for Repeated Stochastic Games via Meta-Gaming" | [Home Page] | [PDF]
-
Andrew Cropper, Stephen H. Muggleton. "Learning Efficient Logical Robot Strategies Involving Composable Objects" | [Home Page] | [PDF]
-
Qi Dai, Jianguo Li, Jun Wang, Yurong Chen, Yu-Gang Jiang. "Optimal Bayesian Hashing for Efficient Face Recognition" | [Home Page] | [PDF]
-
Cheng Deng, Zongting Lv, Wei Liu, Junzhou Huang, Dacheng Tao, Xinbo Gao. "Multi-View Matrix Decomposition: A New Scheme for Exploring Discriminative Information" | [Home Page] | [PDF]
-
Shay Deutsch, Gerard Guy Medioni. "Intersecting Manifolds: Detection, Segmentation, and Labeling" | [Home Page] | [PDF]
-
Zhengming Ding, Ming Shao, Yun Fu. "Deep Low-Rank Coding for Transfer Learning" | [Home Page] | [PDF]
-
Tobias Domhan, Jost Tobias Springenberg, Frank Hutter. "Speeding Up Automatic Hyperparameter Optimization of Deep Neural Networks by Extrapolation of Learning Curves" | [Home Page] | [PDF]
-
Jianguang Du, Jing Jiang, Dandan Song, Lejian Liao. "Topic Modeling with Document Relative Similarities" | [Home Page] | [PDF]
-
Liang Du, Peng Zhou, Lei Shi, Hanmo Wang, Mingyu Fan, Wenjian Wang, Yi-Dong Shen. "Robust Multiple Kernel K-means Using L21-Norm" | [Home Page] | [PDF]
-
Lei Duan, Satoshi Oyama, Masahito Kurihara, Haruhiko Sato. "Crowdsourced Semantic Matching of Multi-Label Annotations" | [Home Page] | [PDF]
-
Chang Feng, Qinghua Hu, Shizhong Liao. "Random Feature Mapping with Signed Circulant Matrix Projection" | [Home Page] | [PDF]
-
Yasuhiro Fujiwara, Dennis Shasha. "Quiet: Faster Belief Propagation for Images and Related Applications" | [Home Page] | [PDF]
-
Yang Gao, Francesca Toni. "Potential Based Reward Shaping for Hierarchical Reinforcement Learning" | [Home Page] | [PDF]
-
Xin Geng, Peng Hou. "Pre-release Prediction of Crowd Opinion on Movies by Label Distribution Learning" | [Home Page] | [PDF]
-
Robby Goetschalckx, Alan Fern, Prasad Tadepalli. "Multitask Coactive Learning" | [Home Page] | [PDF]
-
Andre R. Goncalves, Fernando J. Von Zuben, Arindam Banerjee. "Multi-Label Structure Learning with Ising Model Selection" | [Home Page] | [PDF]
-
Bin Gu, Victor S. Sheng, Shuo Li. "Bi-Parameter Space Partition for Cost-Sensitive SVM" | [Home Page] | [PDF]
-
Xiaojie Guo. "Online Robust Low Rank Matrix Recovery" | [Home Page] | [PDF]
-
Xiaojie Guo. "Robust Subspace Segmentation by Simultaneously Learning Data Representations and Their Affinity Matrix" | [Home Page] | [PDF]
-
Mandana Hamidi, Prasad Tadepalli, Robby Goetschalckx, Alan Fern. "Active Imitation Learning of Hierarchical Policies" | [Home Page] | [PDF]
-
Biwei Huang, Kun Zhang, Bernhard Schölkopf. "Identification of Time-Dependent Causal Model: A Gaussian Process Treatment" | [Home Page] | [PDF]
-
Jin Huang, Feiping Nie, Heng Huang. "A New Simplex Sparse Learning Model to Measure Data Similarity for Clustering" | [Home Page] | [PDF]
-
Wenbing Huang, Deli Zhao, Fuchun Sun, Huaping Liu, Edward Chang. "Scalable Gaussian Process Regression Using Deep Neural Networks" | [Home Page] | [PDF]
-
Yi Huang, Brian Powers, Lev Reyzin. "Training-Time Optimization of a Budgeted Booster" | [Home Page] | [PDF]
-
Wenhao Jiang, Feiping Nie, Heng Huang. "Robust Dictionary Learning with Capped l1-Norm" | [Home Page] | [PDF]
-
Pooria Joulani, Andras Gyorgy, Csaba Szepesvari. "Fast Cross-Validation for Incremental Learning" | [Home Page] | [PDF]
-
Kirthevasan Kandasamy, Jeff Schneider, Barnabas Poczos. "Bayesian Active Learning for Posterior Estimation" | [Home Page] | [PDF]
-
Berk Kapicioglu, David S. Rosenberg, Robert E. Schapire, Tony Jebara. "Collaborative Place Models" | [Home Page] | [PDF]
-
George Konidaris, Leslie Kaelbling, Tomas Lozano-Perez. "Symbol Acquisition for Probabilistic High-Level Planning" | [Home Page] | [PDF]
-
Xiang Li, Huaimin Wang, Bin Gu, Charles X. Ling. "Data Sparseness in Linear SVM" | [Home Page] | [PDF]
-
Xin Li, Yuhong Guo. "Multi-Label Classification with Feature-Aware Non-Linear Label Space Transformation" | [Home Page] | [PDF]
-
Ya Li, Xinmei Tian, Tongliang Liu, Dacheng Tao. "Multi-Task Model and Feature Joint Learning" | [Home Page] | [PDF]
-
Yitan Li, Linli Xu, Fei Tian, Liang Jiang, Xiaowei Zhong, Enhong Chen. "Word Embedding Revisited: A New Representation Learning and Explicit Matrix Factorization Perspective" | [Home Page] | [PDF]
-
Ronghua Liang, Xiao-Xin Li. "Mixed Error Coding for Face Recognition with Mixed Occlusions" | [Home Page] | [PDF]
-
Ming Lin, Zhengzhong Lan, Alexander G. Hauptmann. "Density Corrected Sparse Recovery when R.I.P. Condition Is Broken" | [Home Page] | [PDF]
-
Rongcheng Lin, Huayu Li, Xiaojun Quan, Richang Hong, Zhiang Wu, Yong Ge. "Regularizing Flat Latent Variables with Hierarchical Structures" | [Home Page] | [PDF]
-
Huaping Liu, Jie Qin, Hong Cheng, Fuchun Sun. "Robust Kernel Dictionary Learning Using a Whole Sequence Convergent Algorithm" | [Home Page] | [PDF]
-
Dixin Luo, Hongteng Xu, Yi Zhen, Xia Ning, Hongyuan Zha, Xiaokang Yang, Wenjun Zhang. "Multi-Task Multi-Dimensional Hawkes Processes for Modeling Event Sequences" | [Home Page] | [PDF]
-
James MacGlashan, Michael L. Littman. "Between Imitation and Intention Learning" | [Home Page] | [PDF]
-
Xue Mao, Zhouyu Fu, Ou Wu, Weiming Hu. "Optimizing Locally Linear Classifiers with Supervised Anchor Point Learning" | [Home Page] | [PDF]
-
Deiner Mena, Elena Montañés, José Ramón Quevedo, Juan José del Coz. "Using A for Inference in Probabilistic Classifier Chains"* | [Home Page] | [PDF]
-
Loizos Michael. "Introspective Forecasting" | [Home Page] | [PDF]
-
Adway Mitra, Chiranjib Bhattacharyya, Soma Biswas. "EntScene: Nonparametric Bayesian Temporal Segmentation of Videos Aimed at Entity-Driven Scene Detection" | [Home Page] | [PDF]
-
Kaixiang Mo, Bo Liu, Lei Xiao, Yong Li, Jie Jiang. "Image Feature Learning for Cold Start Problem in Display Advertising" | [Home Page] | [PDF]
-
Thibaut Munzer, Bilal Piot, Matthieu Geist, Olivier Pietquin, Manuel Lopes. "Inverse Reinforcement Learning in Relational Domains" | [Home Page] | [PDF]
-
Frank Neumann, Carsten Witt. "On the Runtime of Randomized Local Search and Simple Evolutionary Algorithms for Dynamic Makespan Scheduling" | [Home Page] | [PDF]
-
Yulei Niu, Zhiwu Lu, Songfang Huang, Peng Han, Ji-Rong Wen. "Weakly Supervised Matrix Factorization for Noisily Tagged Image Parsing" | [Home Page] | [PDF]
-
Francesco Orsini, Paolo Frasconi, Luc De Raedt. "Graph Invariant Kernels" | [Home Page] | [PDF]
-
Hao Peng, Yuan Qi. "EigenGP: Gaussian Process Models with Adaptive Eigenfunctions" | [Home Page] | [PDF]
-
Piyush Rai, Changwei Hu, Matthew Harding, Lawrence Carin. "Scalable Probabilistic Tensor Factorization for Binary and Count Data" | [Home Page] | [PDF]
-
Aaditya Ramdas, Leila Wehbe. "Nonparametric Independence Testing for Small Sample Sizes" | [Home Page] | [PDF]
-
Khaled S. Refaat, Adnan Darwiche. "Data Compression for Learning MRF Parameters" | [Home Page] | [PDF]
-
Sai Nageswar Satchidanand, Harini Ananthapadmanaban, Balaraman Ravindran. "Extended Discriminative Random Walk: A Hypergraph Approach to Multi-View Multi-Relational Transductive Learning" | [Home Page] | [PDF]
-
Ming Shao, Sheng Li, Zhengming Ding, Yun Fu. "Deep Linear Coding for Fast Graph Clustering" | [Home Page] | [PDF]
-
Qiquan Shi, Haiping Lu. "Semi-Orthogonal Multilinear PCA with Relaxed Start" | [Home Page] | [PDF]
-
Kilho Shin, Adrian Pino Angulo. "A Geometric Theory of Feature Selection and Distance-Based Measures" | [Home Page] | [PDF]
-
Yangqiu Song, Shusen Wang, Haixun Wang. "Open Domain Short Text Conceptualization: A Generative + Descriptive Modeling Approach" | [Home Page] | [PDF]
-
Alessandro Sperduti. "Equivalence Results between Feedforward and Recurrent Neural Networks for Sequences" | [Home Page] | [PDF]
-
Lu Sun, Mineichi Kudo. "Polytree-Augmented Classifier Chains for Multi-Label Classification" | [Home Page] | [PDF]
-
Siliang Tang, Fei Wu, Si Li, Weiming Lu, Zhongfei Zhang, Yueting Zhuang. "Sketch the Storyline with CHARCOAL: A Non-Parametric Approach" | [Home Page] | [PDF]
-
Shaozhe Tao, Daniel Boley, Shuzhong Zhang. "Convergence of Common Proximal Methods for L1-Regularized Least Squares" | [Home Page] | [PDF]
-
Nicholay Topin, Nicholas Haltmeyer, Shawn Squire, John Winder, Marie desJardins, James MacGlashan. "Portable Option Discovery for Automated Learning Transfer in Object-Oriented Markov Decision Processes" | [Home Page] | [PDF]
-
Joel Veness, Marcus Hutter, Laurent Orseau, Marc Bellemare. "Online Learning of k-CNF Boolean Functions" | [Home Page] | [PDF]
-
Saulo Moraes Villla, Saul de Castro Leite, Raul Fonseca Neto. "Feature Selection from Microarray Data via an Ordered Search with Projected Margin" | [Home Page] | [PDF]
-
Chenguang Wang, Yangqiu Song, Dan Roth, Chi Wang, Jiawei Han, Heng Ji, Ming Zhang. "Constrained Information-Theoretic Tripartite Graph Clustering to Identify Semantically Similar Relations" | [Home Page] | [PDF]
-
Di Wang, Xinbo Gao, Xiumei Wang, Lihuo He. "Semantic Topic Multimodal Hashing for Cross-Media Retrieval" | [Home Page] | [PDF]
-
Di Wang, Xiaoqin Zhang, Mingyu Fan, Xiuzi Ye. "An Efficient Classifier Based on Hierarchical Mixing Linear Support Vector Machines" | [Home Page] | [PDF]
-
Qifan Wang, Luo Si, Bin Shen. "Learning to Hash on Partial Multi-Modal Data" | [Home Page] | [PDF]
-
Qifan Wang, Zhiwei Zhang, Luo Si. "Ranking Preserving Hashing for Fast Similarity Search" | [Home Page] | [PDF]
-
William Yang Wang, Kathryn Mazaitis, William W. Cohen. "A Soft Version of Predicate Invention Based on Structured Sparsity" | [Home Page] | [PDF]
-
Xiaoqian Wang, Yun Liu, Feiping Nie, Heng Huang. "Discriminative Unsupervised Dimensionality Reduction" | [Home Page] | [PDF]
-
Zhangyang Wang, Yingzhen Yang, Shiyu Chang, Jinyan Li, Simon Fong, Thomas S Huang. "A Joint Optimization Framework of Sparse Coding and Discriminative Clustering" | [Home Page] | [PDF]
-
Zhiguang Wang, Tim Oates. "Imaging Time-Series to Improve Classification and Imputation" | [Home Page] | [PDF]
-
Botong Wu, Qiang Yang, Wei-Shi Zheng, Yizhou Wang, Jingdong Wang. "Quantized Correlation Hashing for Fast Cross-Modal Search" | [Home Page] | [PDF]
-
Jia Wu, Shirui Pan, Xingquan Zhu, Zhihua Cai, Chengqi Zhang. "Multi-Graph-View Learning for Complicated Object Classification" | [Home Page] | [PDF]
-
Yingce Xia, Haifang Li, Tao Qin, Nenghai Yu, Tie-Yan Liu. "Thompson Sampling for Budgeted Multi-Armed Bandits" | [Home Page] | [PDF]
-
Youlu Xing, Furao Shen, Jinxi Zhao. "Perception Evolution Network Adapting to the Emergence of New Sensory Receptor" | [Home Page] | [PDF]
-
Chang Xu, Dacheng Tao, Chao Xu. "Multi-view Self-Paced Learning for Clustering" | [Home Page] | [PDF]
-
Jingwei Xu, Yuan Yao, Hanghang Tong, Xianping Tao, Jian Lu. "Ice-Breaking: Mitigating Cold-Start Recommendation Problem by Rating Comparison" | [Home Page] | [PDF]
-
Yan Yan, Mingkui Tan, Ivor Tsang, Yi Yang, Chengqi Zhang, Qinfeng Shi. "Scalable Maximum Margin Matrix Factorization by Active Riemannian Subspace Search" | [Home Page] | [PDF]
-
Jianbo Yang, Minh Nhut Nguyen, Phyo Phyo San, Xiao Li Li, Shonali Krishnaswamy. "Deep Convolutional Neural Networks on Multichannel Time Series for Human Activity Recognition" | [Home Page] | [PDF]
-
Quanming Yao, James T. Kwok. "Accelerated Inexact Soft-Impute for Fast Large-Scale Matrix Completion" | [Home Page] | [PDF]
-
Chao Yuan. "Unsupervised Machine Condition Monitoring Using Segmental Hidden Markov Models" | [Home Page] | [PDF]
-
Guangxiang Zeng, Hengshu Zhu, Qi Liu, Ping Luo, Enhong Chen, Tong Zhang. "Matrix Factorization with Scale-Invariant Parameters" | [Home Page] | [PDF]
-
Shaodan Zhai, Tian Xia, Zhongliang Li, Shaojun Wang. "A Direct Boosting Approach for Semi-supervised Classification" | [Home Page] | [PDF]
-
Liangpeng Zhang, Ke Tang, Xin Yao. "Increasingly Cautious Optimism for Practical PAC-MDP Exploration" | [Home Page] | [PDF]
-
Min-Ling Zhang, Yu-Kun Li, Xu-Ying Liu. "Towards Class-Imbalance Aware Multi-Label Learning" | [Home Page] | [PDF]
-
Min-Ling Zhang, Fei Yu. "Solving the Partial Label Learning Problem: An Instance-Based Approach" | [Home Page] | [PDF]
-
Xianchao Zhang, Xiaotong Zhang, Han Liu. "Multi-Task Multi-View Clustering for Non-Negative Data" | [Home Page] | [PDF]
-
Feipeng Zhao, Yuhong Guo. "Semi-Supervised Multi-Label Learning with Incomplete Labels" | [Home Page] | [PDF]
-
Han Zhao, Zhengdong Lu, Pascal Poupart. "Self-Adaptive Hierarchical Sentence Model" | [Home Page] | [PDF]
-
Handong Zhao, Yun Fu. "Dual-Regularized Multi-View Outlier Detection" | [Home Page] | [PDF]
-
Zhou Zhao, Ruihua Song, Xing Xie, Xiaofei He, Yueting Zhuang. "Mobile Query Recommendation via Tensor Function Learning" | [Home Page] | [PDF]
-
Xiaodong Zheng, Shanfeng Zhu, Junning Gao, Hiroshi Mamitsuka. "Instance-Wise Weighted Nonnegative Matrix Factorization for Aggregating Partitions with Locally Reliable Clusters" | [Home Page] | [PDF]
-
Dawei Zhou, Jingrui He, K. Seluk Candan, Hasan Davulcu. "MUVIR: Multi-View Rare Category Detection" | [Home Page] | [PDF]
-
Peng Zhou, Liang Du, Lei Shi, Hanmo Wang, Yi-Dong Shen. "Recovery of Corrupted Multiple Kernels for Clustering" | [Home Page] | [PDF]
-
Peng Zhou, Liang Du, Hanmo Wang, Lei Shi, Yi-Dong Shen. "Learning a Robust Consensus Matrix for Clustering Ensemble via Kullback-Leibler Divergence Minimization" | [Home Page] | [PDF]
-
Fuzhen Zhuang, Xiaohu Cheng, Ping Luo, Sinno Jialin Pan, Qing He. "Supervised Representation Learning: Transfer Learning with Deep Autoencoders" | [Home Page] | [PDF]
-
Jingwei Zhuo, Jun Zhu, Bo Zhang. "Adaptive Dropout Rates for Learning with Corrupted Features" | [Home Page] | [PDF]
-
Filipe Assunção, João Correia, Pedro Martins, Penousal Machado. "Evolving Families of Shapes" | [Home Page] | [PDF]
-
Fiammetta Ghedini, François Pachet, Pierre Roy. "Max Order: A Tale of Creativity" | [Home Page] | [PDF]
-
Qi Lyu, Zhiyong Wu, Jun Zhu, Helen Meng. "Modelling High-Dimensional Sequences with LSTM-RTRBM: Application to Polyphonic Music Generation" | [Home Page] | [PDF]
-
Mathieu Ramona, Giordano Cabral, François Pachet. "Capturing a Musician's Groove: Generation of Realistic Accompaniments from Single Song Recordings" | [Home Page] | [PDF]
-
Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti. "Constitutive and Regulative Specifications of Commitment Protocols: A Decoupled Approach (Extended Abstract)" | [Home Page] | [PDF]
-
Marc Bellemare, Yavar Naddaf, Joel Veness, Michael Bowling. "The Arcade Learning Environment: An Evaluation Platform for General Agents (Extended Abstract)" | [Home Page] | [PDF]
-
Shlomo Berkovsky, Jill Freyne, Harri Oinas-Kukkonen. "Influencing Individually: Fusing Personalization and Persuasion (Extended Abstract)" | [Home Page] | [PDF]
-
Cristina Bosco, Viviana Patti, Andrea Bolioli. "Developing Corpora for Sentiment Analysis: The Case of Irony and Senti-TUT (Extended Abstract)" | [Home Page] | [PDF]
-
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. "Data Complexity of Query Answering in Description Logics (Extended Abstract)" | [Home Page] | [PDF]
-
Karthik Dinakar, Rosalind Picard, Henry Lieberman. "Common Sense Reasoning for Detection, Prevention, and Mitigation of Cyberbullying (Extended Abstract)" | [Home Page] | [PDF]
-
Wolfgang Dvořák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran. "Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract)" | [Home Page] | [PDF]
-
Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra. "The Complexity of Manipulative Attacks in Nearly Single-Peaked Electorates (Extended Abstract)" | [Home Page] | [PDF]
-
Paolo Frasconi, Fabrizio Costa, Luc De Raedt, Kurt De Grave. "kLog: A Language for Logical and Relational Learning with Kernels (Extended Abstract)" | [Home Page] | [PDF]
-
Micah Hodosh, Peter Young, Julia Hockenmaier. "Framing Image Description as a Ranking Task: Data, Models and Evaluation Metrics (Extended Abstract)" | [Home Page] | [PDF]
-
Hsun-Ping Hsieh, Cheng-Te Li, Shou-De Lin. "Measuring and Recommending Time-Sensitive Routes from Location-based Data" | [Home Page] | [PDF]
-
Frank Hutter, Lin Xu, Holger Hoos, Kevin Leyton-Brown. "Algorithm Runtime Prediction: Methods and Evaluation (Extended Abstract)" | [Home Page] | [PDF]
-
Massimo Poesio, Jon Chamberlain, Udo Kruschwitz, Livio Robaldo, Luca Ducceschi. "Phrase Detectives: Utilizing Collective Intelligence for Internet-Scale Language Resource Creation (Extended Abstract)" | [Home Page] | [PDF]
-
Munindar P. Singh. "Norms as a Basis for Governing Sociotechnical Systems: Extended Abstract" | [Home Page] | [PDF]
-
Yale Song, Randall Davis. "Continuous Body and Hand Gesture Recognition for Natural Human-Computer Interaction: Extended Abstract" | [Home Page] | [PDF]
-
Michael Winikoff, Stephen Cranefield. "On the Testability of BDI Agent Systems (Extended Abstract)" | [Home Page] | [PDF]
-
Yu Wu, Per Austrin, Toniann Pitassi, David Liu. "Inapproximability of Treewidth and Related Problems (Extended Abstract)" | [Home Page] | [PDF]
-
Rui Xia, Chengqing Zong, Xuelei Hu, Erik Cambria. "Feature Ensemble Plus Sample Selection: Domain Adaptation for Sentiment Classification (Extended Abstract)" | [Home Page] | [PDF]
-
Jie Yin, Sarvnaz Karimi, Andrew Lampert, Mark Cameron, Bella Robinson, Robert Power. "Using Social Media to Enhance Emergency Situation Awareness: Extended Abstract" | [Home Page] | [PDF]
-
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev. "When Are Description Logic Knowledge Bases Indistinguishable?" | [Home Page] | [PDF]
-
Diego Calvanese, Marco Montali, Fabio Patrizi, Giuseppe De Giacomo. "Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis" | [Home Page] | [PDF]
-
Jilles Steeve Dibangoye, Christopher Amato, Olivier Buffet, François Charpillet. "Exploiting Separability in Multiagent Planning with Continuous-State MDPs (Extended Abstract)" | [Home Page] | [PDF]
-
Michael Floyd, Michael Drinkwater, David Aha. "Trust-Guided Behavior Adaptation Using Case-Based Reasoning" | [Home Page] | [PDF]
-
Negar Hariri, Bamshad Mobasher, Robin Burke. "Adapting to User Preference Changes in Interactive Recommendation" | [Home Page] | [PDF]
-
Piotr Krysta, Orestis Telelis, Carmine Ventre. "Near-Optimal Approximation Mechanisms for Multi-Unit Combinatorial Auctions" | [Home Page] | [PDF]
-
Leonid Libkin. "How to Define Certain Answers" | [Home Page] | [PDF]
-
Dougal Maclaurin, Ryan Prescott Adams. "Firefly Monte Carlo: Exact MCMC with Subsets of Data" | [Home Page] | [PDF]
-
Peter Organisciak, Jaime Teevan, Susan Dumais, Robert C. Miller, Adam Tauman Kalai. "Matching and Grokking: Approaches to Personalized Crowdsourcing" | [Home Page] | [PDF]
-
Florian Pommerening, Gabriele Roger, Malte Helmert, Blai Bonet. "Heuristics for Cost-Optimal Classical Planning Based on Linear Programming" | [Home Page] | [PDF]
-
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese. "Reasoning with Probabilistic Ontologies" | [Home Page] | [PDF]
-
Amir Shareghi Najar, Antonija Mitrovic, Bruce McLaren. "Examples and Tutored Problems: Adaptive Support Using Assistance Scores" | [Home Page] | [PDF]
-
Roni Stern, Scott Kiesel, Rami Puzis, Ariel Felner, Wheeler Ruml. "Max Is More than Min: Solving Maximization Problems with Heuristic Search" | [Home Page] | [PDF]
-
Christopher Makoto Wilt, Wheeler Ruml. "Speedy versus Greedy Search" | [Home Page] | [PDF]
-
Martin Damyanov Aleksandrov. "Online Fair Division" | [Home Page] | [PDF]
-
Harald Beck. "Expressive Rule-Based Stream Reasoning" | [Home Page] | [PDF]
-
Lilian Berton, Alneu de Andrade Lopes. "Graph Construction for Semi-Supervised Learning" | [Home Page] | [PDF]
-
Igor Braga. "Stochastic Density Ratio Estimation and Its Application to Feature Selection" | [Home Page] | [PDF]
-
Tim Brys. "Encoding and Combining Knowledge to Speed up Reinforcement Learning" | [Home Page] | [PDF]
-
Joel Luis Carbonera, Mara Abel. "A Cognitively Inspired Approach for Knowledge Representation and Reasoning in Knowledge-Based Systems" | [Home Page] | [PDF]
-
Marc Yu-San Chee. "Distribution of UCT and Its Ramifications" | [Home Page] | [PDF]
-
Alejandro Corbellini. "A Distributed Platform to Ease the Development of Recommendation Algorithms on Large-Scale Graphs" | [Home Page] | [PDF]
-
Cristina Cornelio. "Models for Conditional Preferences as extensions of CP-nets" | [Home Page] | [PDF]
-
Viviana Cotik. "Information Extraction of Texts in the Biomedical Domain" | [Home Page] | [PDF]
-
Andrew Cropper. "Learning Efficient Logic Programs" | [Home Page] | [PDF]
-
Wilton de Paula Filho, Ana Cristina Bicharra Garcia. "RoTuEl: A Semi-Automated Method for Labeling Political Tweets" | [Home Page] | [PDF]
-
Thiago de Paulo Faleiros, Alneu de Andrade Lopes. "Bipartite Graph for Topic Extraction" | [Home Page] | [PDF]
-
Golnoosh Farnadi. "Statistical Relational Learning Towards Modelling Social Media Users" | [Home Page] | [PDF]
-
Nicola Guido. "On the Static Analysis for SPARQL Queries Using Modal Logic" | [Home Page] | [PDF]
-
Athirai A. Irissappane. "Exploiting Trust Information to Cope with Malicious Entities in Multi-Agent Systems" | [Home Page] | [PDF]
-
Fatemeh Jahedpari. "Artificial Prediction Markets for Online Prediction" | [Home Page] | [PDF]
-
Elizabeth A. Jensen. "Multi-Robot Exploration with Communication Restrictions" | [Home Page] | [PDF]
-
Roxane Koitz, Franz Wotawa. "Diagnosis of Technical Systems" | [Home Page] | [PDF]
-
Thomas Linsbichler. "Abstract Argumentation Frameworks — From Theoretical Insights to Practical Implications" | [Home Page] | [PDF]
-
Adrien Maillard. "Flexible Scheduling for an Agile Earth-Observing Satelllite" | [Home Page] | [PDF]
-
Travis Mandel. "Towards More Practical Reinforcement Learning" | [Home Page] | [PDF]
-
Marie D. Manner. "Using Small Humanoid Robots to Detect Autism in Toddlers" | [Home Page] | [PDF]
-
Yoko Nakajima. "Automatic Extraction of References to Future Events from News Articles Using Semantic and Morphological Information" | [Home Page] | [PDF]
-
Aaditya Ramdas. "Advances in Nonparametric Hypothesis Testing" | [Home Page] | [PDF]
-
Diederik Marijn Roijers. "Efficient Methods for Multi-Objective Decision-Theoretic Planning" | [Home Page] | [PDF]
-
Ariel Rosenfeld. "Automated Agents for Advice Provision" | [Home Page] | [PDF]
-
Pedro Henrique Santana, Brian C. Williams. "Dynamic Execution of Temporal Plans with Sensing Actions and Bounded Risk" | [Home Page] | [PDF]
-
Sayan Dev Sen. "An Intelligent and Unified Framework for Multiple Robot and Human Coalition Formation" | [Home Page] | [PDF]
-
Zohreh Shams. "Normative Practical Reasoning: An Argumentation-Based Approach" | [Home Page] | [PDF]
-
Leandro Soriano Marcolino. "Unleashing the Power of Multi-Agent Voting Teams" | [Home Page] | [PDF]
-
Newton Spolaôr, Maria Carolina Monard, Huei Diana Lee. "Feature Selection for Multi-Label Learning" | [Home Page] | [PDF]
-
Marc van Zee. "Rational Architecture = Architecture from a Recommender Perspective" | [Home Page] | [PDF]
-
Dongxia Wang. "Quantifying and Improving the Robustness of Trust Systems" | [Home Page] | [PDF]
-
Leila Wehbe. "The Spatio-Temporal Representation of Natural Reading" | [Home Page] | [PDF]
-
Xiaojian Wu. "Approximate Algorithms for Stochastic Network Design" | [Home Page] | [PDF]
-
Riccardo Zese. "Inference and Learning for Probabilistic Description Logics" | [Home Page] | [PDF]
-
Zichen Zhu. "Improvements of Symmetry Breaking During Search" | [Home Page] | [PDF]
-
Steve Chien, Gregg Rabideau, Daniel Tran, Martina Troesch, Joshua Doubleday, Federico Nespoli, Miguel Perez Ayucar, Marc Costa Sitja, Claire Vallat, Bernhard Geiger, Nico Altobelli, Manuel Fernandez, Fran Vallejo, Rafael Andres, Michael Kueppers. "Activity-Based Scheduling of Science Campaigns for the Rosetta Orbiter" | [Home Page] | [PDF]
-
Manuela Veloso, Joydeep Biswas, Brian Coltin, Stephanie Rosenthal. "CoBots: Robust Symbiotic Autonomous Mobile Service Robots" | [Home Page] | [PDF]