ijcai 2015 论文列表Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. |
CoBots: Robust Symbiotic Autonomous Mobile Service Robots.
Activity-Based Scheduling of Science Campaigns for the Rosetta Orbiter.
Steve A. 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
Improvements of Symmetry Breaking During Search.
Inference and Learning for Probabilistic Description Logics.
Approximate Algorithms for Stochastic Network Design.
The Spatio-Temporal Representation of Natural Reading.
Quantifying and Improving the Robustness of Trust Systems.
Rational Architecture = Architecture from a Recommender Perspective.
Feature Selection for Multi-Label Learning.
Unleashing the Power of Multi-Agent Voting Teams.
Normative Practical Reasoning: An Argumentation-Based Approach.
An Intelligent and Unified Framework for Multiple Robot and Human Coalition Formation.
Dynamic Execution of Temporal Plans with Sensing Actions and Bounded Risk.
Automated Agents for Advice Provision.
Efficient Methods for Multi-Objective Decision-Theoretic Planning.
Advances in Nonparametric Hypothesis Testing.
Automatic Extraction of References to Future Events from News Articles Using Semantic and Morphological Information.
Using Small Humanoid Robots to Detect Autism in Toddlers.
Towards More Practical Reinforcement Learning.
Flexible Scheduling for an Agile Earth-Observing Satelllite.
Abstract Argumentation Frameworks - From Theoretical Insights to Practical Implications.
Diagnosis of Technical Systems.
Multi-Robot Exploration with Communication Restrictions.
Artificial Prediction Markets for Online Prediction.
Exploiting Trust Information to Cope with Malicious Entities in Multi-Agent Systems.
On the Static Analysis for SPARQL Queries Using Modal Logic.
Statistical Relational Learning Towards Modelling Social Media Users.
Bipartite Graph for Topic Extraction.
RoTuEl: A Semi-Automated Method for Labeling Political Tweets.
Learning Efficient Logic Programs.
Information Extraction of Texts in the Biomedical Domain.
Models for Conditional Preferences as extensions of CP-nets.
A Distributed Platform to Ease the Development of Recommendation Algorithms on Large-Scale Graphs.
Distribution of UCT and Its Ramifications.
A Cognitively Inspired Approach for Knowledge Representation and Reasoning in Knowledge-Based Systems.
Encoding and Combining Knowledge to Speed up Reinforcement Learning.
Stochastic Density Ratio Estimation and Its Application to Feature Selection.
Graph Construction for Semi-Supervised Learning.
Expressive Rule-Based Stream Reasoning.
Online Fair Division.
Speedy versus Greedy Search.
Max Is More than Min: Solving Maximization Problems with Heuristic Search.
Examples and Tutored Problems: Adaptive Support Using Assistance Scores.
Reasoning with Probabilistic Ontologies.
Heuristics for Cost-Optimal Classical Planning Based on Linear Programming.
Matching and Grokking: Approaches to Personalized Crowdsourcing.
Firefly Monte Carlo: Exact MCMC with Subsets of Data.
How to Define Certain Answers.
Near-Optimal Approximation Mechanisms for Multi-Unit Combinatorial Auctions.
Adapting to User Preference Changes in Interactive Recommendation.
Trust-Guided Behavior Adaptation Using Case-Based Reasoning.
Exploiting Separability in Multiagent Planning with Continuous-State MDPs (Extended Abstract).
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis.
When Are Description Logic Knowledge Bases Indistinguishable?
Using Social Media to Enhance Emergency Situation Awareness: Extended Abstract.
Feature Ensemble Plus Sample Selection: Domain Adaptation for Sentiment Classification (Extended Abstract).
Inapproximability of Treewidth and Related Problems (Extended Abstract).
On the Testability of BDI Agent Systems (Extended Abstract).
Continuous Body and Hand Gesture Recognition for Natural Human-Computer Interaction: Extended Abstract.
Norms as a Basis for Governing Sociotechnical Systems: Extended Abstract.
Phrase Detectives: Utilizing Collective Intelligence for Internet-Scale Language Resource Creation (Extended Abstract).
Algorithm Runtime Prediction: Methods and Evaluation (Extended Abstract).
Measuring and Recommending Time-Sensitive Routes from Location-based Data.
Framing Image Description as a Ranking Task: Data, Models and Evaluation Metrics (Extended Abstract).
kLog: A Language for Logical and Relational Learning with Kernels (Extended Abstract).
The Complexity of Manipulative Attacks in Nearly Single-Peaked Electorates (Extended Abstract).
Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract).
Common Sense Reasoning for Detection, Prevention, and Mitigation of Cyberbullying (Extended Abstract).
Data Complexity of Query Answering in Description Logics (Extended Abstract).
Developing Corpora for Sentiment Analysis: The Case of Irony and Senti-TUT (Extended Abstract).
Influencing Individually: Fusing Personalization and Persuasion (Extended Abstract).
The Arcade Learning Environment: An Evaluation Platform for General Agents (Extended Abstract).
Constitutive and Regulative Specifications of Commitment Protocols: A Decoupled Approach (Extended Abstract).
Capturing a Musician's Groove: Generation of Realistic Accompaniments from Single Song Recordings.
Modelling High-Dimensional Sequences with LSTM-RTRBM: Application to Polyphonic Music Generation.
Max Order: A Tale of Creativity.
Evolving Families of Shapes.
Adaptive Dropout Rates for Learning with Corrupted Features.
Supervised Representation Learning: Transfer Learning with Deep Autoencoders.
Learning a Robust Consensus Matrix for Clustering Ensemble via Kullback-Leibler Divergence Minimization.
Recovery of Corrupted Multiple Kernels for Clustering.
MUVIR: Multi-View Rare Category Detection.
Instance-Wise Weighted Nonnegative Matrix Factorization for Aggregating Partitions with Locally Reliable Clusters.
Mobile Query Recommendation via Tensor Function Learning.
Dual-Regularized Multi-View Outlier Detection.
Self-Adaptive Hierarchical Sentence Model.
Semi-Supervised Multi-Label Learning with Incomplete Labels.
Multi-Task Multi-View Clustering for Non-Negative Data.
Solving the Partial Label Learning Problem: An Instance-Based Approach.
Towards Class-Imbalance Aware Multi-Label Learning.
Increasingly Cautious Optimism for Practical PAC-MDP Exploration.
A Direct Boosting Approach for Semi-supervised Classification.
Matrix Factorization with Scale-Invariant Parameters.
Unsupervised Machine Condition Monitoring Using Segmental Hidden Markov Models.
Accelerated Inexact Soft-Impute for Fast Large-Scale Matrix Completion.
Deep Convolutional Neural Networks on Multichannel Time Series for Human Activity Recognition.
Scalable Maximum Margin Matrix Factorization by Active Riemannian Subspace Search.
Ice-Breaking: Mitigating Cold-Start Recommendation Problem by Rating Comparison.
Multi-view Self-Paced Learning for Clustering.
Perception Evolution Network Adapting to the Emergence of New Sensory Receptor.
Thompson Sampling for Budgeted Multi-Armed Bandits.
Multi-Graph-View Learning for Complicated Object Classification.
Quantized Correlation Hashing for Fast Cross-Modal Search.
Imaging Time-Series to Improve Classification and Imputation.
A Joint Optimization Framework of Sparse Coding and Discriminative Clustering.
Discriminative Unsupervised Dimensionality Reduction.
A Soft Version of Predicate Invention Based on Structured Sparsity.
Ranking Preserving Hashing for Fast Similarity Search.
Learning to Hash on Partial Multi-Modal Data.
An Efficient Classifier Based on Hierarchical Mixing Linear Support Vector Machines.
Semantic Topic Multimodal Hashing for Cross-Media Retrieval.
Constrained Information-Theoretic Tripartite Graph Clustering to Identify Semantically Similar Relations.
Feature Selection from Microarray Data via an Ordered Search with Projected Margin.
Online Learning of k-CNF Boolean Functions.
Portable Option Discovery for Automated Learning Transfer in Object-Oriented Markov Decision Processes.
Convergence of Common Proximal Methods for L1-Regularized Least Squares.
Sketch the Storyline with CHARCOAL: A Non-Parametric Approach.
Polytree-Augmented Classifier Chains for Multi-Label Classification.
Equivalence Results between Feedforward and Recurrent Neural Networks for Sequences.
Open Domain Short Text Conceptualization: A Generative + Descriptive Modeling Approach.
A Geometric Theory of Feature Selection and Distance-Based Measures.
Semi-Orthogonal Multilinear PCA with Relaxed Start.
Deep Linear Coding for Fast Graph Clustering.
Extended Discriminative Random Walk: A Hypergraph Approach to Multi-View Multi-Relational Transductive Learning.
Data Compression for Learning MRF Parameters.
Nonparametric Independence Testing for Small Sample Sizes.
Scalable Probabilistic Tensor Factorization for Binary and Count Data.
EigenGP: Gaussian Process Models with Adaptive Eigenfunctions.
Graph Invariant Kernels.
Weakly Supervised Matrix Factorization for Noisily Tagged Image Parsing.
On the Runtime of Randomized Local Search and Simple Evolutionary Algorithms for Dynamic Makespan Scheduling.
Inverse Reinforcement Learning in Relational Domains.
Image Feature Learning for Cold Start Problem in Display Advertising.
EntScene: Nonparametric Bayesian Temporal Segmentation of Videos Aimed at Entity-Driven Scene Detection.
Introspective Forecasting.
Using A* for Inference in Probabilistic Classifier Chains.
Optimizing Locally Linear Classifiers with Supervised Anchor Point Learning.
Between Imitation and Intention Learning.
Multi-Task Multi-Dimensional Hawkes Processes for Modeling Event Sequences.
Robust Kernel Dictionary Learning Using a Whole Sequence Convergent Algorithm.
Regularizing Flat Latent Variables with Hierarchical Structures.
Density Corrected Sparse Recovery when R.I.P. Condition Is Broken.
Mixed Error Coding for Face Recognition with Mixed Occlusions.
Word Embedding Revisited: A New Representation Learning and Explicit Matrix Factorization Perspective.
Multi-Task Model and Feature Joint Learning.
Multi-Label Classification with Feature-Aware Non-Linear Label Space Transformation.
Data Sparseness in Linear SVM.
Symbol Acquisition for Probabilistic High-Level Planning.
Collaborative Place Models.
Bayesian Active Learning for Posterior Estimation - IJCAI-15 Distinguished Paper.
Fast Cross-Validation for Incremental Learning.
Robust Dictionary Learning with Capped l1-Norm.
Training-Time Optimization of a Budgeted Booster.
Scalable Gaussian Process Regression Using Deep Neural Networks.
A New Simplex Sparse Learning Model to Measure Data Similarity for Clustering.
Identification of Time-Dependent Causal Model: A Gaussian Process Treatment.
Active Imitation Learning of Hierarchical Policies.
Robust Subspace Segmentation by Simultaneously Learning Data Representations and Their Affinity Matrix.
Online Robust Low Rank Matrix Recovery.
Bi-Parameter Space Partition for Cost-Sensitive SVM.
Multi-Label Structure Learning with Ising Model Selection.
Multitask Coactive Learning.
Pre-release Prediction of Crowd Opinion on Movies by Label Distribution Learning.
Potential Based Reward Shaping for Hierarchical Reinforcement Learning.
Quiet: Faster Belief Propagation for Images and Related Applications.
Random Feature Mapping with Signed Circulant Matrix Projection.
Crowdsourced Semantic Matching of Multi-Label Annotations.
Robust Multiple Kernel K-means Using L21-Norm.
Topic Modeling with Document Relative Similarities.
Speeding Up Automatic Hyperparameter Optimization of Deep Neural Networks by Extrapolation of Learning Curves.
Deep Low-Rank Coding for Transfer Learning.
Intersecting Manifolds: Detection, Segmentation, and Labeling.
Multi-View Matrix Decomposition: A New Scheme for Exploring Discriminative Information.
Optimal Bayesian Hashing for Efficient Face Recognition.
Learning Efficient Logical Robot Strategies Involving Composable Objects.
Robust Learning for Repeated Stochastic Games via Meta-Gaming.
Efficient Generalized Conditional Gradient with Gradient Sliding for Composite Optimization.
Mirror Representation for Modeling View-Specific Transform in Person Re-Identification.
Training-Efficient Feature Map for Shift-Invariant Kernels.
Model Metric Co-Learning for Time Series Classification.
Direct Policy Iteration with Demonstrations.
A Space Alignment Method for Cold-Start TV Show Recommendations.
Policy Shaping with Human Teachers.
Compressed Spectral Regression for Efficient Nonlinear Dimensionality Reduction.
Reinforcement Learning from Demonstration through Shaping.
Autonomous Cross-Domain Knowledge Transfer in Lifelong Policy Gradient Reinforcement Learning.
Count-Based Frequency Estimation with Bounded Memory.
An Expectation-Maximization Algorithm to Compute a Stochastic Factorization From Data.
A Graph Kernel Based on the Jensen-Shannon Representation Alignment.
Maximum Entropy Semi-Supervised Inverse Reinforcement Learning.
Learning Regular Languages via Alternating Automata.
Extending AGM Contraction to Arbitrary Logics.
First-Order Disjunctive Logic Programming vs Normal Logic Programming.
Characterizing Causal Action Theories and Their Implementations in Answer Set Programming: Action Languages B, C, and Beyond.
Verification of Knowledge-Based Programs over Description Logic Actions.
Computation and Complexity of Preference Inference Based on Hierarchical Models.
Query Understanding through Knowledge-Based Conceptualization.
A Complete Epistemic Planner without the Epistemic Closed World Assumption.
AGM Revision of Beliefs about Action and Time.
Efficiently Finding Conditional Instruments for Causal Inference.
Characterizability in Belief Revision.
Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial Networks.
MergeXplain: Fast Computation of Multiple Conflicts for Diagnosis.
Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus.
Qualitative Reasoning about Directions in Semantic Spaces.
Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis.
Characterization of the Expressivity of Existential Rule Queries.
Membership Constraints in Formal Concept Analysis.
Execution Monitoring as Meta-Games for General Game-Playing Robots.
Realizability of Three-Valued Semantics for Abstract Dialectical Frameworks.
Did You Know? - Mining Interesting Trivia for Entities from Wikipedia.
Probabilistic Reasoning with Inconsistent Beliefs Using Inconsistency Measures.
On the Parameterized Complexity of Belief Revision.
A Top-Down Compiler for Sentential Decision Diagrams.
Kernel Contraction and Base Dependence: Redundancy in the Base Resulting in Different Types of Dependence.
Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality.
Ontology-Mediated Queries with Closed Predicates.
Automatic Verification of Partial Correctness of Golog Programs.
Query Rewriting for Existential Rules with Compiled Preorder.
Efficient Paraconsistent Reasoning with Ontologies and Rules.
Computing Horn Rewritings of Description Logics Ontologies.
Efficient Semantic Features for Automated Reasoning over Large Theories.
On Forgetting Postulates in Answer Set Programming.
Simplifying A Logic Program Using Its Consequences.
Trust-Sensitive Belief Revision.
Modelling the Persuadee in Asymmetric Argumentation Dialogues for Persuasion.
Schema.org as a Description Logic.
Merging in the Horn Fragment.
Efficient Query Rewriting in the Description Logic EL and Beyond.
A Modification of the Halpern-Pearl Definition of Causality.
Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes.
Group Decision Making via Weighted Propositional Logic: Complexity and Islands of Tractability.
Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue.
Polynomial Rewritings for Linear Existential Rules.
On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks.
Computing Social Behaviours Using Agent Models.
The Combined Approach to Query Answering Beyond the OWL 2 Profiles.
Epistemic Equilibrium Logic.
On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus.
A Logic for Reasoning about Justified Uncertain Beliefs.
Modular Systems with Preferences.
The Cube of Opposition: A Structure Underlying Many Knowledge Representation Formalisms.
An Extension-Based Approach to Belief Revision in Abstract Argumentation.
Combining Existential Rules with the Power of CP-Theories.
On the Aggregation of Argumentation Frameworks.
The Logic of Qualitative Probability.
Fixed-Parameter Tractable Reductions to SAT for Planning.
Multilateral Negotiation in Boolean Games with Incomplete Information Using Generalized Possibilistic Logic.
Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies.
Extension Enforcement in Abstract Argumentation as an Optimization Problem.
An Algebra of Granular Temporal Relations for Qualitative Reasoning.
Tractable Learning for Structured Probability Spaces: A Case Study in Learning Preference Distributions.
Probabilistic Belief Contraction Using Argumentation.
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases.
On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies.
Logic Program Termination Analysis Using Atom Sizes.
Reasonable Highly Expressive Query Languages - IJCAI-15 Distinguished Paper (Honorary Mention).
Temporal Query Answering in the Description Logic EL.
The Complexity of Subsumption in Fuzzy EL.
On the Entailment Problem for a Logic of Typicality.
Policies that Generalize: Solving Many Planning Problems with the Same Policy.
Complexity Results in Epistemic Planning.
Partial Grounded Fixpoints.
Compatible-Based Conditioning in Interval-Based Possibilistic Logic.
Probabilistic Inference in Hybrid Domains by Weighted Model Integration.
ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains.
Only Knowing Meets Common Knowledge.
Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results.
Answer Update for Rule-Based Stream Reasoning.
AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks.
Dealing with Generic Contrariness in Structured Argumentation.
Combining Existential Rules and Transitivity: Next Steps.
Multi-Agent Only Knowing on Planet Kripke.
First-Order Rewritability of Temporal Ontology-Mediated Queries.
Alessandro Artale Roman Kontchakov Alisa Kovtunova Vladislav Ryzhikov Frank Wolter Michael Zakharyaschev
Bidirectional Constraints for Exchanging Data: Beyond Monotone Queries.
Combining Existential Rules and Description Logics.
Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective.
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size.
A Crowdfunding Model for Green Energy Investment.
Optimal Electric Vehicle Charging Station Placement.
Fast Combinatorial Algorithm for Optimizing the Spread of Cascades.
Copula Graphical Models for Wind Resource Estimation.
Abstract Routing Models and Abstractions in the Context of Vehicle Routing.
Multiple Instance Learning-Based Birdsong Classification Using Unsupervised Recording Segmentation.
Approximately Stable Pricing for Coordinated Purchasing of Electricity.
Secure Routing in Wireless Sensor Networks via POMDPs.
Online Mechanisms for Charging Electric Vehicles in Settings with Varying Marginal Electricity Costs.
On the Balance of Meter Deployment Cost and NILM Accuracy.
Modeling Multi-Attribute Demand for Sustainable Cloud Computing with Copulae.
When Security Games Go Green: Designing Defender Strategies to Prevent Poaching and Illegal Fishing.
α-min: A Compact Approximate Solver For Finite-Horizon POMDPs.
Clustering Dynamic Spatio-Temporal Patterns in The Presence of Noise and Missing Data.
Reasoning about Connectivity Constraints.
Batch Reinforcement Learning for Smart Home Energy Management.
Aggregate Demand-Based Real-Time Pricing Mechanism for the Smart Grid: A Game-Theoretic Analysis.
Sambaran Bandyopadhyay Ramasuri Narayanam Ramachandra Kota Pg Mohammad Iskandarbin Pg Hj Petra Zainul Charbiwala
A Personalised Thermal Comfort Model Using a Bayesian Network.
Online Fair Division: Analysing a Food Bank Problem.
Stroke-Based Stylization Learning and Rendering with Inverse Reinforcement Learning.
Learning to Rap Battle with Bilingual Recursive Neural Networks.
Narrative Hermeneutic Circle: Improving Character Role Identification from Natural Language Text via Feedback Loops.
Aesthetic Visual Quality Evaluation of Chinese Handwritings.
Looking at Mondrian's Victory Boogie-Woogie: What Do I Feel?
Haiku Generator that Reads Blogs and Illustrates Them with Sounds and Images.
Generating all Possible Palindromes from Ngram Corpora.
Generating 1/f Noise Sequences as Constraint Satisfaction: The Voss Constraint.
The Scaffolded Sound Beehive.
Evolving Ambiguous Images.
Swarm Systems in the Visualization of Consumption Patterns.
Pseudo-Supervised Training Improves Unsupervised Melody Segmentation.
Slogans Are Not Forever: Adapting Linguistic Expressions to the News.
Computational Invention of Cadences and Chord Progressions by Conceptual Chord-Blending.
Manfred Eppe Roberto Confalonieri Ewen Maclean Maximos A. Kaliakatsos-Papakostas Emilios Cambouropoulos W. Marco Schorlemmer Mihai Codescu Kai-Uwe Kühnberger
Heroic versus Collaborative AI for the Arts.
Kinetic Imaginations: Exploring the Possibilities of Combining AI and Dance.
Artificial Intelligence in the Concertgebouw.
Tackling Data Sparseness in Recommendation using Social Media based Topic Hierarchy Modeling.
Catch the Black Sheep: Unified Framework for Shilling Attack Detection Based on Fraudulent Action Propagation.
Learning Geographical Hierarchy Features for Social Image Location Prediction.
Exploiting k-Degree Locality to Improve Overlapping Community Detection.
A Unified Probabilistic Model of User Activities and Relations on Social Networking Sites.
Re-Ranking Voting-Based Answers by Discarding User Behavior Biases.
Unsupervised Sentiment Analysis for Social Media Images.
Interest Inference via Structure-Constrained Multi-Source Multi-Task Learning.
Towards Domain-Specific Semantic Relatedness: A Case Study from Geography.
Shilad Sen Isaac L. Johnson Rebecca Harper Huy Mai Samuel Horlbeck Olsen Benjamin Mathers Laura Souza Vonessen Matthew Wright Brent J. Hecht
VRCA: A Clustering Algorithm for Massive Amount of Texts.
Detecting Promotion Campaigns in Community Question Answering.
Interactive Gender Inference with Integer Linear Programming.
Large Scale Homophily Analysis in Twitter Using a Twixonomy.
Deep Learning for Event-Driven Stock Prediction.
Tracking Political Elections on Social Media: Applications and Experience.
Sampling with Minimum Sum of Squared Similarities for Nystrom-Based Large Scale Spectral Clustering.
Determining Expert Research Areas with Multi-Instance Learning of Hierarchical Multi-Label Classification Model.
Hamming Compatible Quantization for Hashing.
Deep Multimodal Hashing with Orthogonal Regularization.
Online Learning to Rank for Content-Based Image Retrieval.
Personalized Sentiment Classification Based on Latent Individuality of Microblog Users.
Short and Sparse Text Topic Modeling via Self-Aggregation.
Distance-Bounded Consistent Query Answering.
Web Page Classification Based on Uncorrelated Semi-Supervised Intra-View and Inter-View Manifold Discriminant Feature Extraction.
Scalable Graph Hashing with Feature Transformation.
Raising Expectations in GDA Agents Acting in Dynamic Environments.
Semantic Concept Discovery for Large-Scale Zero-Shot Event Detection.
Reasoning with Style.
Semantic Single Video Segmentation with Robust Graph Representation.
Saliency Detection with a Deeper Investigation of Light Field.
Generalized Transitive Distance with Minimum Spanning Random Forest.
Trailer Generation via a Point Process-Based Visual Attractiveness Model.
Face Clustering in Videos with Proportion Prior.
Adaptive Sharing for Image Classification.
Salient Object Detection via Augmented Hypotheses.
Social Image Parsing by Cross-Modal Data Refinement.
Inferring Painting Style with Multi-Task Dictionary Learning.
Cross-View Projective Dictionary Learning for Person Re-Identification.
Modeling Inter- and Intra-Part Deformations for Object Structure Parsing.
Video Covariance Matrix Logarithm for Human Action Recognition in Videos.
Groupwise Registration of Aerial Images.
Integrated Anchor and Social Link Predictions across Social Networks.
Optimal Route Search with the Coverage of Users' Preferences.
Network Representation Learning with Rich Text Information.
Maximizing the Coverage of Information Propagation in Social Networks.
CEIL: A Scalable, Resolution Limit Free Approach for Detecting Communities in Large Networks.
A Scalable Community Detection Algorithm for Large Graphs Using Stochastic Block Models.
Nonnegative Matrix Tri-Factorization with Graph Regularization for Community Detection in Social Networks.
Influence Maximization in Big Networks: An Incremental Algorithm for Streaming Subgraph Influence Spread Estimation.
Personalized Ranking Metric Embedding for Next New POI Recommendation.
Uncovering the Formation of Triadic Closure in Social Networks.
How Robust Is the Wisdom of the Crowds?
Non-Myopic Negotiators See What's Best.
Ranked Voting on Social Networks.
Lie on the Fly: Iterative Voting Center with Manipulative Voters.
Efficient, Private, and eps-Strategyproof Elicitation of Tournament Voting Rules.
Structure in Dichotomous Preferences.
Stick-Breaking Policy Learning in Dec-POMDPs.
Optimization of Probabilistic Argumentation with Markov Decision Models.
Non-Monotone Adaptive Submodular Maximization.
Solving MDPs with Skew Symmetric Bilinear Utility Functions.
Prime Compilation of Non-Clausal Formulae.
Literal-Based MCS Extraction.
Efficient Model Based Diagnosis with Maximum Satisfiability.
An Exact Inference Scheme for MinSAT.
A Modularity-Based Random SAT Instances Generator.
Tractable Classes of Binary CSPs Defined by Excluded Topological Minors.
Multi-Modality Tracker Aggregation: From Generative to Discriminative.
Logic-Geometric Programming: An Optimization-Based Approach to Combined Task and Motion Planning.
Learning to Interpret Natural Language Commands through Human-Robot Dialog.
Reduced Time-Expansion Graphs and Goal Decomposition for Solving Cooperative Path Finding Sub-Optimally.
Co-Acquisition of Syntax and Semantics - An Investigation in Spatial Language.
Intelligent Agent Supporting Human-Multi-Robot Team Collaboration.
Grounding the Meaning of Words through Vision and Interactive Gameplay.
Natalie Parde Adam Hair Michalis Papakostas Konstantinos Tsiakas Maria Dagioglou Vangelis Karkaletsis Rodney D. Nielsen
Weakly Supervised RBM for Semantic Segmentation.
Reactive Integrated Motion Planning and Execution.
Graph-Based Inverse Optimal Control for Robot Manipulation.
Toward Estimating Others' Transition Models Under Occlusion for Multi-Robot IRL.
Knowledge Base Completion Using Embeddings and Rules.
Anytime Inference in Probabilistic Logic Programs with Tp-Compilation.
Saul: Towards Declarative Learning Based Programming.
Inducing Probabilistic Relational Rules from Probabilistic Examples.
Cross-Domain Collaborative Filtering with Review Text.
Recommendation Algorithms for Optimizing Hit Rate, User Satisfaction and Website Revenue.
Exploring Implicit Hierarchical Structures for Recommender Systems.
Personalized Ad Recommendation Systems for Life-Time Value Optimization with Guarantees.
Simple Atom Selection Strategy for Greedy Matrix Completion.
A Boosting Algorithm for Item Recommendation with Implicit Feedback.
Modeling Users' Dynamic Preference for Personalized Recommendation.
Personalized Tour Recommendation Based on User Interests and Points of Interest Visit Durations.
Sparse Probabilistic Matrix Factorization by Laplace Distribution for Collaborative Filtering.
Differentially Private Matrix Factorization.
A Synthetic Approach for Recommendation: Combining Ratings, Social Relations, and Reviews.
Music Recommenders: User Evaluation Without Real Users?
Optimal Greedy Diversity for Recommendation.
MORRF*: Sampling-Based Multi-Objective Motion Planning.
An Iterative Approach to Synthesize Data Transformation Programs.
Multi-Objective POMDPs with Lexicographic Reward Preferences.
Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning.
On the Effective Configuration of Planning Domain Models.
Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals.
Simulation-Based Admissible Dominance Pruning.
Planning for Stochastic Games with Co-Safe Objectives.
Deordering and Numeric Macro Actions for Plan Repair.
Point-Based Planning for Multi-Objective POMDPs.
Models of Action Concurrency in Temporal Planning.
Adversarial Hierarchical-Task Network Planning for Complex Real-Time Games.
Factored Upper Bounds for Multiagent Planning Problems under Uncertainty with Non-Factored Value Functions.
Sorting Sequential Portfolios in Automated Planning.
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations.
Exploratory Digraph Navigation Using A.
Action2Activity: Recognizing Complex Activities from Sensor Data.
Classical Planning with Simulators: Results on the Atari Video Games.
Metareasoning for Planning Under Uncertainty.
Probabilistic Knowledge-Based Programs.
Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications.
Optimal Planning with Axioms.
Delete Relaxations for Planning with State-Dependent Action Costs.
Mixed Discrete-Continuous Heuristic Generative Planning Based on Flow Tubes.
Synthesis for LTL and LDL on Finite Traces.
Estimating the Probability of Meeting a Deadline in Hierarchical Plans.
On the Online Generation of Effective Macro-Operators.
Exploiting Block Deordering for Improving Planners Efficiency.
A Privacy Preserving Algorithm for Multi-Agent Planning and Search.
Temporal Planning with Semantic Attachment of Non-Linear Monotonic Continuous Behaviours.
Further Connections Between Contract-Scheduling and Ray-Searching Problems.
ASAP-UCT: Abstraction of State-Action Pairs in UCT.
Tight Bounds for HTN Planning with Task Insertion.
On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic.
Cost-Optimal and Net-Benefit Planning - A Parameterised Complexity View.
Exploiting Symmetries by Planning for a Descriptive Quotient.
An Ontology Matching Approach Based on Affinity-Preserving Random Walks.
Bootstrapping Domain Ontologies from Wikipedia: A Uniform Approach.
Scalable Maintenance of Knowledge Discovery in an Ontology Stream.
How to Select One Preferred Assertional-Based Repair from Inconsistent and Prioritized DL-Lite Knowledge Bases?
Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All.
Gregor Behnke Denis K. Ponomaryov Marvin R. G. Schiller Pascal Bercher Florian Nothdurft Birte Glimm Susanne Biundo
Unsupervised Learning of an IS-A Taxonomy from a Limited Domain-Specific Corpus.
A Subspace Learning Framework for Cross-Lingual Sentiment Classification with Partial Parallel Data.
Linking Heterogeneous Input Features with Pivots for Domain Adaptation.
Representation Learning for Measuring Entity Relatedness with Rich Information.
Prior-Based Dual Additive Latent Dirichlet Allocation for User-Item Connected Documents.
Local Translation Prediction with Global Sentence Representation.
Learning Term Embeddings for Hypernymy Identification.
Optimizing Sentence Modeling and Selection for Document Summarization.
Compressive Document Summarization via Sparse Optimization.
Convolutional Neural Networks for Text Hashing.
Modeling Quantum Entanglements in Quantum Language Models.
Syntax-Based Deep Matching of Short Texts.
Target-Dependent Twitter Sentiment Classification with Rich Automatic Features.
User Modeling with Neural Network for Review Rating Prediction.
Modeling Mention, Context and Entity with Neural Networks for Entity Disambiguation.
On Conceptual Labeling of a Bag of Words.
Towards Addressing the Winograd Schema Challenge - Building and Using a Semantic Parser and a Knowledge Hunting Module.
An Active Learning Approach to Coreference Resolution.
Convolutional Neural Tensor Network Architecture for Community-Based Question Answering.
Integrating Importance, Non-Redundancy and Coherence in Graph-Based Extractive Summarization.
Automated Rule Selection for Aspect Extraction in Opinion Mining.
Learning Context-Sensitive Word Embeddings with Neural Tensor Skip-Gram Model.
Incorporating Domain and Sentiment Supervision in Representation Learning for Domain Adaptation.
Reader-Aware Multi-Document Summarization via Sparse Coding.
Joint POS Tagging and Text Normalization for Informal Text.
Word-Error Correction of Continuous Speech Recognition Based on Normalized Relevance Distance.
Iterative Learning of Parallel Lexicons and Phrases from Non-Parallel Corpora.
A Hybrid Neural Model for Type Classification of Entity Mentions.
Joint Learning of Character and Word Embeddings.
Positive, Negative, or Neutral: Learning an Expanded Opinion Lexicon from Emoticon-Annotated Tweets.
Embedding Semantic Relations into Word Representations.
Do We Criticise (and Laugh) in the Same Way? Automatic Detection of Multi-Lingual Satirical News in Twitter.
Multi-Document Abstractive Summarization Using ILP Based Multi-Sentence Compression.
Offline Sketch Parsing via Shapeness Estimation.
Automated Geometry Theorem Proving for Human-Readable Proofs.
A Study of Human-Agent Collaboration for Multi-UAV Task Allocation in Dynamic Environments.
Handling Complex Commands as Service Robot Task Requests.
Combining Eye Movements and EEG to Enhance Emotion Recognition.
A New Input Method for Human Translators: Integrating Machine Translation Effectively and Imperceptibly.
The Right to Obscure: A Mechanism and Initial Evaluation.
Algorithmic Exam Generation.
What Do We Elect Committees For? A Voting Committee Model for Multi-Winner Rules.
Spectrum-Based Fault Localisation for Multi-Agent Systems.
Strategy-Proofness of Scoring Allocation Correspondences for Indivisible Goods.
Estimating the Margin of Victory of an Election Using Sampling.
Towards City-Scale Mobile Crowdsourcing: Task Recommendations under Trajectory Uncertainties.
Equilibria Under the Probabilistic Serial Rule.
A Scalable Interdependent Multi-Issue Negotiation Protocol for Energy Exchange.
Pushdown Multi-Agent System Verification.
Verifying Emergent Properties of Swarms.
The Complexity of Model Checking Succinct Multiagent Systems.
Symbolic Model Checking for One-Resource RB+-ATL.
Active Learning from Crowds with Unsure Option.
Character-Based Parsing with Convolutional Neural Network.
Revisiting Gaussian Process Dynamical Models.
Discriminative Reordering Model Adaptation via Structural Learning.
Auxiliary Information Regularized Machine for Multiple Modality Feature Learning.
Opportunities or Risks to Reduce Labor in Crowdsourcing Translation? Characterizing Cost versus Quality via a PageRank-HITS Hybrid Model.
Cognitive Modelling for Predicting Examinee Performance.
Correcting Covariate Shift with the Frank-Wolfe Algorithm.
Regression Model Fitting under Differential Privacy and Model Inversion Attack.
Detecting Emotions in Social Media: A Constrained Optimization Approach.
Medical Synonym Extraction with Concept Space Models.
Information Gathering in Networks via Active Exploration.
Portfolio Choices with Orthogonal Bandit Learning.
Analysis of Sampling Algorithms for Twitter.
Deepan Subrahmanian Palguna Vikas Joshi Venkatesan T. Chakaravarthy Ravi Kothari L. Venkata Subramaniam
Mobility Profiling for User Verification with Anonymized Location Data.
Joint Learning of Constituency and Dependency Grammars by Decomposed Cross-Lingual Induction.
Multi-Label Active Learning: Query Type Matters.
On the Consistency of AUC Pairwise Optimization.
Greedy Structure Search for Sum-Product Networks.
Biclustering Gene Expressions Using Factor Graphs and the Max-Sum Algorithm.
Using a Recursive Neural Network to Learn an Agent's Decision Model for Plan Recognition.
From Raw Sensor Data to Detailed Spatial Knowledge.
Automatic Generation of Raven's Progressive Matrices.
Dissecting German Grammar and Swiss Passports: Open-Domain Decomposition of Compositional Entries in Large-Scale Knowledge Repositories.
The Complexity of MAP Inference in Bayesian Networks Specified Through Logical Languages.
A Simple Probabilistic Extension of Modal Mu-calculus.
A Common-Sense Conceptual Categorization System Integrating Heterogeneous Proxytypes and the Dual Process of Reasoning.
On the Graded Acceptability of Arguments.
Formal Analysis of Dialogues on Infinite Argumentation Frameworks.
Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems.
Building Hierarchies of Concepts via Crowdsourcing.
AskWorld: Budget-Sensitive Query Evaluation for Knowledge-on-Demand.
Personalizing Product Rankings Using Collaborative Filtering on Opinion-Derived Topic Profiles.
Mining Definitions from RDF Annotations Using Formal Concept Analysis.
Computing Possibly Optimal Solutions for Multi-Objective Constraint Optimisation with Tradeoffs.
H-Index Manipulation by Merging Articles: Models, Theory, and Experiments.
Mining Expert Play to Guide Monte Carlo Search in the Opening Moves of Go.
Compositional Program Synthesis from Natural Language and Examples.
Efficient Search with an Ensemble of Heuristics.
FlashNormalize: Programming by Examples for Text Normalization.
Interplanetary Trajectory Planning with Monte Carlo Tree Search.
A Fast Goal Recognition Technique Based on Interaction Estimates.
Generalized Rapid Action Value Estimation.
Balance between Complexity and Quality: Local Search for Minimum Vertex Cover in Massive Graphs.
ICBS: Improved Conflict-Based Search Algorithm for Multi-Agent Pathfinding.
Model-Based Genetic Algorithms for Algorithm Configuration.
A Unified Model for Unsupervised Opinion Spamming Detection Incorporating Text Generality.
Bayesian Modelling of Community-Based Multidimensional Trust in Participatory Sensing under Data Sparsity.
Differential Semantics of Intervention in Bayesian Networks.
Indirect Causes in Dynamic Bayesian Networks Revisited.
Pushing Forward Marginal MAP with Best-First Search.
From Weighted to Unweighted Model Counting.
Computing Optimal Mixed Strategies for Security Games with Dynamic Payoffs.
Security Games with Information Leakage: Modeling and Computation.
Spiteful Bidding in the Dollar Auction.
Implementing the Wisdom of Waze.
Envy-Free Sponsored Search Auctions with Budgets.
Solving Heads-Up Limit Texas Hold'em.
The Game-Theoretic Interaction Index on Social Networks with Applications to Link Prediction and Community Detection.
A Pseudo-Polynomial Algorithm for Computing Power Indices in Graph-Restricted Weighted Voting Games.
Convergence to Equilibria in Strategic Candidacy.
Simple Causes of Complexity in Hedonic Games.
Strategic Candidacy Games with Lazy Candidates.
When Does Schwartz Conjecture Hold?
Equilibrium Analysis of Multi-Defender Security Games.
Truthful Cake Cutting Mechanisms with Externalities: Do Not Make Them Care for Others Too Much!
Impartial Peer Review.
Limited Lookahead in Imperfect-Information Games.
A Characterization of n-Player Strongly Monotone Scheduling Mechanisms.
Fixing Tournaments for Kings, Chokers, and More.
Smooth UCT Search in Computer Poker.
Structural Tractability of Shapley and Banzhaf Values in Allocation Games.
Equilibrium Refinement through Negotiation in Binary Voting.
Gibbard-Satterthwaite Games.
Optimal Network Security Hardening Using Attack Graph Games.
SAT Is an Effective and Complete Method for Solving Stable Matching Problems with Couples.
Influence in Classification via Cooperative Game Theory.
Approximate Nash Equilibria with Near Optimal Social Welfare.
Incentivizing Peer Grading in MOOCS: An Audit Game Approach.
Simultaneous Abstraction and Equilibrium Finding in Games.
A Dictatorship Theorem for Cake Cutting.
Learning Cooperative Games.
Possible and Necessary Allocations via Sequential Mechanisms.
Welfare Maximization in Fractional Hedonic Games.
The Adjusted Winner Procedure: Characterizations and Equilibria.
Strategic Network Formation through an Intermediary.
A Bargaining Mechanism for One-Way Games.
Applying Max-Sum to Asymmetric Distributed Constraint Optimization.
Max-Sum Goes Private.
Collective Biobjective Optimization Algorithm for Parallel Test Paper Generation.
Probabilistic Inference Based Message-Passing for Resource Constrained DCOPs.
Efficient Algorithms with Performance Guarantees for the Stochastic Multiple-Choice Knapsack Problem.
Packing Curved Objects.
On Constrained Boolean Pareto Optimization.
Personalized Mathematical Word Problem Generation.
Efficient Operations On MDDs for Building Constraint Programming Models.
On the Empirical Time Complexity of Random 3-SAT at the Phase Transition.
Towards Automatic Dominance Breaking for Constraint Optimization Problems.
Decomposition of the Factor Encoding for CSPs.
Multi-Pass High-Level Presolving.
Filtering Nogoods Lazily in Dynamic Symmetry Breaking During Search.
Compiling Constraint Networks into Multivalued Decomposable Decision Graphs.
Solving QBF by Clause Selection.
Statistical Regimes and Runtime Prediction.
Expressive Logical Combinators for Free.
ReACTR: Realtime Algorithm Configuration through Tournament Rankings.
Combining Preference Elicitation and Search in Multiobjective State-Space Graphs.
Multi-Armed Bandits for Adaptive Constraint Propagation.
Exploiting the Structure of Unsatisfiable Cores in MaxSAT.
Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning.
On the Resiliency of Unit Propagation to Max-Resolution.
Finding Diverse Solutions of High Quality to Constraint Optimization Problems.
Recursive Decomposition for Nonconvex Optimization - IJCAI-15 Distinguished Paper.
Maximum Satisfiability Using Cores and Correction Sets.
Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT.
A Multicore Tool for Constraint Solving.
Selling Reserved Instances in Cloud Computing.
Maximal Cooperation in Repeated Games on Social Networks.
Mechanism Design and Implementation for Lung Exchange.
Bonus or Not? Learn to Reward in Crowdsourcing.
A Deterministic Partition Function Approximation for Exponential Random Graph Models.
Context-Independent Claim Detection for Argument Mining.
Semi-Universal Portfolios with Transaction Costs.
Computer Science on the Move: Inferring Migration Regularities from the Web via Compressed Label Propagation.
Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty.
Emotions in Argumentation: an Empirical Evaluation.
Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery.
Optimal Pricing for the Competitive and Evolutionary Cloud Market.
Agile Planning for Real-World Disaster Response.
An Expert-Level Card Playing Agent Based on a Variant of Perfect Information Monte Carlo Sampling.
Optimal Auctions for Partially Rational Bidders.
Quantifying Robustness of Trust Systems against Collusive Unfair Rating Attacks Using Information Theory.
Characterization of Scoring Rules with Distances: Application to the Clustering of Rankings.
Exchange of Indivisible Objects with Asymmetry.
Revenue Maximization Envy-Free Pricing for Homogeneous Resources.
The Power of Local Manipulation Strategies in Assignment Mechanisms.
Environment-Driven Social Force Model: Lévy Walk Pattern in Collective Behavior.
Tradeoffs between Incentive Mechanisms in Boolean Games.
An Adaptive Computational Model for Personalized Persuasion.
Tractable Inquiry in Information-Rich Environments.
Structural Results for Cooperative Decentralized Control Models.
Learning Behaviors in Agents Systems with Interactive Dynamic Influence Diagrams.
Generalizing the Single-Crossing Property on Lines and Trees to Intermediate Preferences on Median Graphs.
Efficiency and Complexity of Price Competition Among Single-Product Vendors.
Ioannis Caragiannis Xenophon Chatzigeorgiou Panagiotis Kanellopoulos George A. Krimpas Nikos Protopapas Alexandros A. Voudouris
Strategic Abstention Based on Preference Extensions: Positive Results and Computer-Generated Impossibilities.
Composing and Verifying Commitment-Based Multiagent Protocols.
Optimal Incremental Preference Elicitation during Negotiation.