ijcai 2013 论文列表IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. |
Computational Disaster Management.
Soft Robotics: The Next Generation of Intelligent Machines.
Computational Perspectives on Social Phenomena at Global Scales.
Arbitration and Stability in Cooperative Games with Overlapping Coalitions.
Incorporating Expert Judgement into Bayesian Network Machine Learning.
Behavior Composition Optimization.
Ontology Based Query Answering with Existential Rules.
Adapting Surface Sketch Recognition Techniques for Surfaceless Sketches.
Object Recognition Based on Visual Grammars and Bayesian Networks.
Semi-Supervised Structuring of Complex Data.
On Teaching Collaboration to a Team of Autonomous Agents via Imitation.
Approximation Algorithms for Max-Sum-Product Problems.
Dynamic of Argumentation Frameworks.
Normative Conflict Detection and Resolution in Cooperating Institutions.
Concept Generation in Language Evolution.
Maintaining Soft Arc Consistencies in BnB-ADOPT+ During Search.
Towards the Design of Robust Trust and Reputation Systems.
Rolling Dispersion and Exploration for Robot Teams.
Problem Transformations and Algorithm Selection for CSPs.
Strategic Interactions Among Agents with Bounded Rationality.
Improving the Performance of Recommender Systems by Alleviating the Data Sparsity and Cold Start Problems.
Using Domain Knowledge to Systematically Guide Feature Selection.
High-Level Program Execution in Multi-agent Settings.
Trust Modeling for Opinion Evaluation by Coping with Subjectivity and Dishonesty.
Negotiation Algorithms for Large Agreement Spaces.
Capabilities in Heterogeneous Multi Robot Systems.
Towards a Deeper Understanding of Nonmonotonic Reasoning with Degrees.
Managing Qualitative Preferences and Constraints in a Dynamic Environment.
Decision-Theoretic Approximations for Machine Learning.
User-Centered Programming by Demonstration: Stylistic Elements of Behavior.
Using Strategic Logics to Reason about Agent Programs.
Socioscope: Spatio-Temporal Signal Recovery from Social Media (Extended Abstract).
The RoboEarth Language: Representing and Exchanging Knowledge about Actions, Objects, and Environments (Extended Abstract).
Exact Recovery of Sparse-Used Dictionaries.
Statistical Parsing with Probabilistic Symbol-Refined Tree Substitution Grammars.
CLiMF: Collaborative Less-Is-More Filtering.
Active Evaluation of Ranking Functions Based on Graded Relevance (Extended Abstract).
Modeling The Interplay of People's Location, Interactions, and Social Ties.
Decision Generalisation from Game Logs in No Limit Texas Hold'em.
At Home with Agents: Exploring Attitudes Towards Future Smart Energy Infrastructures.
On Stochastic Optimal Control and Reinforcement Learning by Approximate Inference (Extended Abstract).
Data Mining a Trillion Time Series Subsequences Under Dynamic Time Warping.
A Case-Based Solution to the Cold-Start Problem in Group Recommenders.
A New Trajectory Deformation Algorithm Based on Affine Transformations.
Discovering Alignments in Ontologies of Linked Data.
Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract).
Collaborative Filtering on Ordinal User Feedback.
Sound, Complete, and Minimal Query Rewriting for Existential Rules.
Preference-Based CBR: General Ideas and Basic Principles.
Improving the Effectiveness of Time-Based Display Advertising.
Case Adaptation with Qualitative Algebras.
Satisfiability Modulo Constraint Handling Rules (Extended Abstract).
Bayesian Probabilities for Constraint-Based Causal Discovery.
Optimal Valve Placement in Water Distribution Networks with CLP(FD).
An Introduction to String Re-Writing Kernel.
The Complexity of One-Agent Refinement Modal Logic.
An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning (Extended Abstract).
Language-Based Games.
Twitter-Based User Modeling for News Recommendations.
Social Norms for Self-Policing Multi-agent Systems and Virtual Societies.
Learning Probabilistic Models for Mobile Manipulation Robots.
Landmark-Based Heuristics and Search Control for Automated Planning (Extended Abstract).
Cultural Diversity for Virtual Characters (Extended Abstract).
Improving Combinatorial Optimization - Extended Abstract.
Scalable Dynamic Nonparametric Bayesian Models of Content and Users.
Learning Qualitative Models from Numerical Data: Extended abstract.
On the Approximation Ability of Evolutionary Optimization with Application to Minimum Set Cover: Extended Abstract.
Computing Text Semantic Relatedness Using the Contents and Links of a Hypertext Encyclopedia: Extended Abstract.
Generalized Biwords for Bitext Compression and Translation Spotting: Extended Abstract.
Revisiting Centrality-as-Relevance: Support Sets and Similarity as Geometric Proximity: Extended abstract.
The Extended Global Cardinality Constraint: An Empirical Survey: Extended Abstract.
Modeling Social Causality and Responsibility Judgment in Multi-Agent Interactions: Extended Abstract.
YAGO2: A Spatially and Temporally Enhanced Knowledge Base from Wikipedia: Extended Abstract.
Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures : Extended Abstract.
The CQC Algorithm: Cycling in Graphs to Semantically Enrich and Enhance a Bilingual Dictionary: Extended abstract.
Communicating Open Systems: Extended Abstract.
Evaluating Indirect Strategies for Chinese - Spanish Statistical Machine Translation: Extended Abstract.
Detecting and Tracking Disease Outbreaks by Mining Social Media Data.
Adaptive Management of Migratory Birds Under Sea Level Rise.
Forecast Oriented Classification of Spatio-Temporal Extreme Events.
Zhengzhang Chen Yusheng Xie Yu Cheng Kunpeng Zhang Ankit Agrawal Wei-keng Liao Nagiza F. Samatova Alok N. Choudhary
A Hidden Markov Model-Based Acoustic Cicada Detector for Crowdsourced Smartphone Biodiversity Monitoring.
Improved Integer Programming Approaches for Chance-Constrained Stochastic Programming.
Towards Effective Prioritizing Water Pipe Replacement and Rehabilitation.
Parameter Learning for Latent Network Diffusion.
Randomized Load Control: A Simple Distributed Approach for Scheduling Smart Appliances.
Forecasting Multi-Appliance Usage for Smart Home Energy Management.
Planning with MIP for Supply Restoration in Power Distribution Systems.
An Active Learning Approach to Home Heating in the Smart Grid.
Dynamic Taxi and Ridesharing: A Framework and Heuristics for the Optimization Problem.
Bayesian Joint Inversions for the Exploration of Earth Resources.
A Global Constrained Optimization Method for Designing Road Networks with Small Diameters.
Manifold Alignment Based on Sparse Local Structures of More Corresponding Pairs.
Tag-Weighted Topic Model for Mining Semi-Structured Documents.
Evolution of Common-Pool Resources and Social Welfare in Structured Populations.
Crowdsourcing Backdoor Identification for Combinatorial Optimization.
A Multi-Objective Memetic Algorithm for Vehicle Resource Allocation in Sustainable Transportation Planning.
Information Fusion Based Learning for Frugal Traffic State Sensing.
Estimating Reference Evapotranspiration for Irrigation Management in the Texas High Plains.
Daniel Ellis Holman Mohan Sridharan Prasanna Gowda Dana Porter Thomas H. Marek Terry Howell Jerry E. Moorhead
Optimal Pricing for Improving Efficiency of Taxi Systems.
Deep Sparse Coding based Recursive Disaggregation Model for Water Conservation.
Semi-Supervised Learning for Integration of Aerosol Predictions from Multiple Satellite Instruments.
Short-Term Wind Power Forecasting Using Gaussian Processes.
Towards Understanding Global Spread of Disease from Everyday Interpersonal Interactions.
Assessing the Resilience of Socio-Ecosystems: Coupling Viability Theory and Active Learning with kd-Trees. Application to Bilingual Societies.
Automatic Name-Face Alignment to Enable Cross-Media News Retrieval.
Social Influence Locality for Modeling Retweeting Behaviors.
Parametric Local Multimodal Hashing for Cross-View Similarity Search.
Social Collaborative Filtering by Trust.
PageRank with Priors: An Influence Propagation Perspective.
Boosting Cross-Lingual Knowledge Linking via Concept Annotation.
Online Egocentric Models for Citation Networks.
Collaborative Topic Regression with Social Regularization for Tag Recommendation.
Exploiting Local and Global Social Context for Recommendation.
SCMF: Sparse Covariance Matrix Factorization for Collaborative Filtering.
Promoting Diversity in Recommendation by Entropy Regularizer.
GBPR: Group Preference Based Bayesian Personalized Ranking for One-Class Collaborative Filtering.
Recommendation Using Textual Opinions.
Synthesizing Union Tables from the Web.
A Unified Framework for Reputation Estimation in Online Rating Systems.
Predicting Knowledge in an Ontology Stream.
Context-Dependent Conceptualization.
Social Trust Prediction Using Rank-k Matrix Recovery.
Listening to the Crowd: Automated Analysis of Events via Aggregated Twitter Sentiment.
Social Spammer Detection in Microblogging.
Cross-Domain Collaborative Filtering via Bilinear Multilevel Analysis.
A Novel Bayesian Similarity Measure for Recommender Systems.
Celebrity Recommendation with Collaborative Social Topic Regression.
Where You Like to Go Next: Successive Point-of-Interest Recommendation.
Multi-View K-Means Clustering on Big Data.
Link Label Prediction in Signed Social Networks.
A Generalization of SAT and #SAT for Robust Policy Evaluation.
Sample Complexity of Risk-Averse Bandit-Arm Selection.
The Inclusion-Exclusion Rule and its Application to the Junction Tree Algorithm.
Look versus Leap: Computing Value of Information with High-Dimensional Streaming Evidence.
Accurate Integration of Crowdsourced Labels Using Workers' Self-reported Confidence Scores.
Map Matching with Inverse Reinforcement Learning.
Inference for a New Probabilistic Constraint Logic.
Probabilistic Reasoning with Undefined Properties in Ontologically-Based Belief Networks.
An Exact Algorithm for Computing the Same-Decision Probability.
A Consensual Linear Opinion Pool.
Learning Visual Symbols for Parsing Human Poses in Images.
Hierarchical Object Discovery and Dense Modelling From Motion Cues in RGB-D Video.
Towards Active Event Recognition.
Upper Confidence Weighted Learning for Efficient Exploration in Multiclass Prediction with Binary Feedback.
Accelerated Robust Point Cloud Registration in Natural Environments through Positive and Unlabeled Learning.
Rolling Dispersion for Robot Teams.
Human Action Recognition Using a Temporal Hierarchy of Covariance Descriptors on 3D Joint Locations.
Handling Open Knowledge for Service Robots.
Refining Incomplete Planning Domain Models Through Plan Traces.
Action-Model Acquisition from Noisy Plan Traces.
Robust Optimization for Hybrid MDPs with State-Dependent Noise.
Continuously Relaxing Over-Constrained Conditional Temporal Problems through Generalized Conflict Learning and Resolution.
Flexibility and Decoupling in the Simple Temporal Problem.
Interactive Value Iteration for Markov Decision Processes with Unknown Rewards.
Run-Time Improvement of Point-Based POMDP Policies.
Problem Splitting Using Heuristic Search in Landmark Orderings.
Symbolic Merge-and-Shrink for Cost-Optimal Planning.
Plan Quality Optimisation via Block Decomposition.
The GoDeL Planning System: A More Perfect Union of Domain-Independent and Hierarchical Planning.
Exploring Knowledge Engineering Strategies in Designing and Modelling a Road Traffic Accident Management Domain.
Computing Upper Bounds on Lengths of Transition Sequences.
Getting the Most Out of Pattern Databases for Classical Planning.
Fault-Tolerant Planning under Uncertainty.
Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners.
Towards a Second Generation Random Walk Planner: An Experimental Exploration.
Flexible Execution of Partial Order Plans With Temporal Constraints.
Pareto-Based Multiobjective AI Planning.
Lifelong Learning for Acquiring the Wisdom of the Crowd.
Controlling the Hypothesis Space in Probabilistic Plan Recognition.
Interactive POMDP Lite: Towards Practical Planning to Predict and Exploit Intentions for Interacting with Self-Interested Agents.
Optimal Delete-Relaxed (and Semi-Relaxed) Planning with Conditional Effects.
Isomorph-Free Branch and Bound Search for Finite State Controllers.
Causal Belief Decomposition for Planning with Sensing: Completeness Results and Practical Approximation.
An Admissible Heuristic for SAS+ Planning Obtained from the State Equation.
Bridging the Gap Between Refinement and Heuristics in Abstraction.
Revisiting Regression in Planning.
Efficient Latent Structural Perceptron with Hybrid Trees for Semantic Parsing.
Improving Question Retrieval in Community Question Answering Using World Knowledge.
Partial-Tree Linearization: Generalized Word Ordering for Text Synthesis.
Integrating Semantic Relatedness and Words' Intrinsic Features for Keyword Extraction.
Cross Lingual Entity Linking with Bilingual Topic Model.
Improving Function Word Alignment with Frequency and Syntactic Information.
Fusion of Word and Letter Based Metrics for Automatic MT Evaluation.
i, Poet: Automatic Chinese Poetry Composition through a Generative Summarization Framework under Constrained Optimization.
A Text Scanning Mechanism Simulating Human Reading Process.
Modeling Lexical Cohesion for Document-Level Machine Translation.
Instance Selection and Instance Weighting for Cross-Domain Sentiment Classification via PU Learning.
Answer Extraction from Passage Graph for Question Answering.
Fast Linearization of Tree Kernels over Large-Scale Data.
Combine Constituent and Dependency Parsing via Reranking.
Integrating Syntactic and Semantic Analysis into the Open Information Extraction Paradigm.
Joint and Coupled Bilingual Topic Model Based Sentence Representations for Language Model Adaptation.
Opinion Target Extraction Using Partially-Supervised Word Alignment Model.
Active Learning for Cross-domain Sentiment Classification.
Joint Modeling of Argument Identification and Role Determination in Chinese Event Extraction with Discourse-Level Information.
A Clause-Level Hybrid Approach to Chinese Empty Element Recovery.
End-to-End Coreference Resolution for Clinical Narratives.
PPSGen: Learning to Generate Presentation Slides for Academic Papers.
Crowdsourcing-Assisted Query Structure Interpretation.
Smoothing for Bracketing Induction.
Learning Topical Translation Model for Microblog Hashtag Suggestion.
Leveraging Multi-Domain Prior Knowledge in Topic Models.
Mining for Analogous Tuples from an Entity-Relation Graph.
Identifying Useful Human Correction Feedback from an On-Line Machine Translation Service.
Alberto Barrón-Cedeño Lluís Màrquez Carlos A. Henríquez Q. Lluís Formiga Enrique Romero Jonathan May
Protein Function Prediction via Laplacian Network Partitioning Incorporating Function Category Correlations.
Employing Batch Reinforcement Learning to Control Gene Regulation Without Explicitly Constructing Gene Regulatory Networks.
Predicting Human Strategic Decisions Using Facial Expressions.
Probabilistic Equivalence Verification Approach for Automatic Mathematical Solution Assessment.
TutorialPlan: Automated Tutorial Generation from CAD Drawings.
A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments.
Robust Median Reversion Strategy for On-Line Portfolio Selection.
A Brain-Computer Interface to a Plan-Based Narrative.
Stephen William Gilroy Julie Porteous Fred Charles Marc Cavazza Eyal Soreq Gal Raz Limor Ikar Ayelet Or-Borichov Udi Ben-Arie Ilana Klovatch Talma Hendler
Personalized Diagnosis for Over-Constrained Problems.
Misleading Opinions Provided by Advisors: Dishonesty or Subjectivity.
Automated Grading of DFA Constructions.
Automatically Generating Problems and Solutions for Natural Deduction.
Concept Learning for Cross-Domain Text Classification: A General Probabilistic Framework.
Persistent Homology: An Introduction and a New Text Representation for Natural Language Processing.
Shifted Subspaces Tracking on Sparse Outlier for Motion Segmentation.
Accurate Probability Calibration for Multiple Classifiers.
Adaptive Error-Correcting Output Codes.
Lazy Paired Hyper-Parameter Tuning.
Learning High-Order Task Relationships in Multi-Task Learning.
Multi-View Embedding Learning for Incompletely Labeled Data.
Online Community Detection for Large Complex Networks.
Semi-Supervised Learning with Manifold Fitted Graphs.
Sparse Reconstruction for Weakly Supervised Semantic Segmentation.
Bilevel Visual Words Coding for Image Classification.
Learning Domain Differences Automatically for Dependency Parsing Adaptation.
Protein Function Prediction by Integrating Multiple Kernels.
Multi-Instance Multi-Label Learning with Weak Label.
Smart Hashing Update for Fast Response.
Multi-View Discriminant Transfer Learning.
Reduced Heteroscedasticity Linear Regression for Nyström Approximation.
On Robust Estimation of High Dimensional Generalized Linear Models.
Change-Point Detection with Feature Selection in High-Dimensional Time-Series Data.
Harmonious Hashing.
A Probabilistic Approach to Latent Cluster Analysis.
Multi-Modal Distance Metric Learning.
A Theoretic Framework of K-Means-Based Consensus Clustering.
Euler Clustering.
Deep Feature Learning Using Target Priors with Applications in ECoG Signal Decoding for BCI.
Bayesian Optimization in High Dimensions via Random Embeddings.
A KNN Based Kalman Filter Gaussian Process Regression.
Nonconvex Relaxation Approaches to Robust Matrix Recovery.
Online Group Feature Selection.
Large Scale Online Kernel Classification.
Manifold Alignment Preserving Global Geometry.
Coupled Attribute Analysis on Numerical Data.
Multi Class Learning with Individual Sparsity.
Linear Bayesian Reinforcement Learning.
Non-Negative Multiple Matrix Factorization.
Multi-View Maximum Entropy Discrimination.
Unlearning from Demonstration.
Measuring Statistical Dependence via the Mutual Information Dimension.
One-Class Conditional Random Fields for Sequential Anomaly Detection.
Hartigan's K-Means Versus Lloyd's K-Means - Is It Time for a Change?
Guarantees of Augmented Trace Norm Models in Tensor Recovery.
Supervised Hypothesis Discovery Using Syllogistic Patterns in the Biomedical Literature.
Better Generalization with Forecasts.
Multi-Dimensional Causal Discovery.
Weighted Path as a Condensed Pattern in a Single Attributed DAG.
Machine-Learning-Based Circuit Synthesis.
Path Integral Control by Reproducing Kernel Hilbert Space Embedding.
Robust Unsupervised Feature Selection.
Active Learning from Relative Queries.
Multiple Task Learning Using Iteratively Reweighted Least Square.
A Scalable Approach to Column-Based Low-Rank Matrix Approximation.
Hierarchical Bayesian Matrix Factorization with Side Information.
Graph Classification with Imbalanced Class Distributions and Noise.
Annealed Importance Sampling for Structure Learning in Bayesian Networks.
Early Active Learning via Robust Representation and Structured Sparsity.
Adaptive Loss Minimization for Semi-Supervised Elastic Embedding.
Multi-Modal Image Annotation with Multi-Instance Multi-Label LDA.
Meta-Interpretive Learning of Higher-Order Dyadic Datalog: Predicate Invention revisited.
Statistical Tests for the Detection of the Arrow of Time in Vector Autoregressive Models.
An Empirical Investigation of Ceteris Paribus Learnability.
Thinking of Images as What They Are: Compound Matrix Regression for Image Classification.
Learning Descriptive Visual Representation by Semantic Regularized Matrix Factorization.
Learning Canonical Correlations of Paired Tensor Sets Via Tensor-to-Vector Projection.
The Multi-Feature Information Bottleneck with Application to Unsupervised Image Categorization.
Online Expectation Maximization for Reinforcement Learning in POMDPs.
Learning Discriminative Representations from RGB-D Video Data.
Large-Scale Spectral Clustering on Graphs.
Active Learning with Multi-Label SVM Classification.
Low-Rank Coding with b-Matching Constraint for Semi-Supervised Classification.
A Bayesian Factorised Covariance Model for Image Analysis.
Adaptive Thresholding in Structure Learning of a Bayesian Network.
Active Learning for Teaching a Robot Grounded Relational Symbols.
Causal Inference with Rare Events in Large-Scale Time-Series Data.
Prior-Free Exploration Bonus for and beyond Near Bayes-Optimal Behavior.
Discovering Different Types of Topics: Factored Topic Models.
Online Hashing.
Active Learning Based on Local Representation.
Efficient Kernel Learning from Side Information Using ADMM.
What Users Care About: A Framework for Social Content Alignment.
A General Framework for Interacting Bayes-Optimally with Self-Interested Agents using Arbitrary Parametric Model and Model Prior.
Improving Traffic Prediction with Tweet Semantics.
Co-Regularized Ensemble for Feature Selection.
Probabilistic Multi-Label Classification with Sparse Feature Learning.
MiningZinc: A Modeling Language for Constraint-Based Mining.
Multi-Prototype Label Ranking with Novel Pairwise-to-Total-Rank Aggregation.
Histogram of Oriented Displacements (HOD): Describing Trajectories of Human Joints for Action Recognition.
Active Learning for Level Set Estimation.
Uniform Convergence, Stability and Learnability for Ranking Problems.
Optimizing Cepstral Features for Audio Classification.
Learning Finite Beta-Liouville Mixture Models via Variational Bayes for Proportional Data Clustering.
Towards Robust Co-Clustering.
Topic Extraction from Online Reviews for Classification and Recommendation.
Bootstrap Learning via Modular Concept Discovery.
A Lossy Counting Based Approach for Learning on Streams of Graphs on a Budget.
Bayesian Nonparametric Feature Construction for Inverse Reinforcement Learning.
Domain Adaptation with Topical Correspondence Learning.
Generalized Relational Topic Models with Data Augmentation.
Dimensionality Reduction with Generalized Linear Models.
Central Clustering of Categorical Data with Automated Feature Weighting.
Robust Tensor Clustering with Non-Greedy Maximization.
Regularized Latent Least Square Regression for Cross Pose Face Recognition.
Exact Top-k Feature Selection via l2, 0-Norm Constraint.
Basic Level in Formal Concept Analysis: Interesting Concepts and Psychological Ramifications.
Self-Organized Neural Learning of Statistical Inference from High-Dimensional Data.
An Ensemble of Bayesian Networks for Multilabel Classification.
Learning Community-Based Preferences via Dirichlet Process Mixtures of Gaussian Processes.
Definability of Horn Revision from Horn Contraction.
First-Order Expressibility and Boundedness of Disjunctive Logic Programs.
Most Specific Generalizations w.r.t. General EL-TBoxes.
Multi-Agent Epistemic Explanatory Diagnosis via Reasoning about Actions.
Supremal Realizability of Behaviors with Uncontrollable Exogenous Events.
Transition Constraints: A Study on the Computational Complexity of Qualitative Change.
Forgetting for Answer Set Programs Revisited.
Multi-Agent Subset Space Logic.
Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators.
An Alternative Axiomatization of DEL and Its Applications.
A Classification of First-Order Progressable Action Theories in Situation Calculus.
Compact Rewritings for Existential Rules.
A Rational Extension of Stable Model Semantics to the Full Propositional Language.
Granular Description of Qualitative Change.
Nominal Schema Absorption.
On Condensing a Sequence of Updates in Answer-Set Programming.
Interpolative Reasoning with Default Rules.
Combining RCC5 Relations with Betweenness Information.
Efficient Extraction and Representation of Spatial Information from Video Data.
Learning from Polyhedral Sets.
Cyclic Causal Models with Discrete Variables: Markov Chain Equilibrium Semantics and Sample Ordering.
Behavioral Diagnosis of LTL Specifications at Operator Level.
Backdoors to Abduction.
The Route to Success - A Performance Comparison of Diagnosis Algorithms.
Computing Stable Models for Nonmonotonic Existential Rules.
Ontology-Based Data Access with Closed Predicates is Inherently Intractable(Sometimes).
Preference-Based Query Answering in Datalog+/- Ontologies.
An Epistemic Halpern-Shoham Logic.
Analogico-Deductive Generation of Gödel's First Incompleteness Theorem from the Liar Paradox.
Reasoning about State Constraints in the Situation Calculus.
Answer Set Programming Modulo Theories and Reasoning about Continuous Changes.
Action Language BC: Preliminary Report.
StarVars - Effective Reasoning about Relative Directions.
Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals.
Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC.
Parameterized Complexity of Optimal Planning: A Detailed Map.
Knowledge Compilation for Model Counting: Affine Decision Trees.
Implicit Learning of Common Sense for Reasoning.
Iterated Boolean Games.
Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols.
A Strongly-Local Contextual Logic.
Advanced Conflict-Driven Disjunctive Answer Set Solving.
Representation and Reasoning about General Solid Rectangles.
On the Complexity of Probabilistic Abstract Argumentation.
FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions.
Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues.
Towards a Knowledge Compilation Map for Heterogeneous Representation Languages.
Data Repair of Inconsistent DL-Programs.
A Formal Account of Nondeterministic and Failed Actions.
Linear Temporal Logic and Linear Dynamic Logic on Finite Traces.
Bounded Epistemic Situation Calculus Theories.
Sequences of Mechanisms for Causal Reasoning in Artificial Intelligence.
Computing Datalog Rewritings Beyond Horn Ontologies.
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?
Automated Reasoning to Infer all Minimal Keys.
Verification of Inconsistency-Aware Knowledge and Action Bases.
Abstract Dialectical Frameworks Revisited.
The Impact of Disjunction on Query Answering Under Guarded-Based Existential Rules.
Positive Subsumption in Fuzzy EL with General t-Norms.
The Markov Assumption: Formalization and Impact.
Tractable Approximations of Consistent Query Answering for Robust Ontology-based Data Access.
Tractable Queries for Lightweight Description Logics.
Conjunctive Regular Path Queries in Lightweight Description Logics.
First-Order Rewritability of Atomic Queries in Horn Description Logics.
Automating Quantified Conditional Logics in HOL.
Syntactic Computation of Hybrid Possibilistic Conditioning under Uncertain Inputs.
Reasoning about Continuous Uncertainty in the Situation Calculus.
Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems.
Functional Stable Model Semantics and Answer Set Programming Modulo Theories.
Temporal Description Logic for Ontology-Based Data Access.
Exchanging OWL 2 QL Knowledge Bases.
Efficient Approach to Solve the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints.
Verifiable Equilibria in Boolean Games.
A Unified Approximate Nearest Neighbor Search Scheme by Combining Data Structure and Hashing.
Toward Rational Deployment of Multiple Heuristics in A.
Minimizing Writes in Parallel External Memory Search.
Forward Perimeter Search with Controlled Use of Memory.
Improved Bin Completion for Optimal Bin Packing and Number Partitioning.
Semiring-Based Mini-Bucket Partitioning Schemes.
Subset Selection of Search Heuristics.
Three Generalizations of the FOCUS Constraint.
Search Strategies for Optimal Multi-Way Number Partitioning.
On Computing Minimal Correction Subsets.
Algorithm Portfolios Based on Cost-Sensitive Hierarchical Clustering.
Target-Value Search Revisited.
Predicting the Size of Depth-First Branch and Bound Search Trees.
Double-Wheel Graphs Are Graceful.
Monte Carlo *-Minimax Search.
Extending Simple Tabular Reduction with Short Supports.
DeQED: An Efficient Divide-and-Coordinate Algorithm for DCOP.
Sufficiency-Based Selection Strategy for MCTS.
Preserving Partial Solutions While Relaxing Constraint Networks.
Constraint Satisfaction and Fair Multi-Objective Optimization Problems: Foundations, Complexity, and Islands of Tractability.
Dominance Rules for the Choquet Integral in Multiobjective Dynamic Programming.
An Approach to Abductive Reasoning in Equational Logic.
Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability.
Variable Elimination in Binary CSP via Forbidden Patterns.
Breaking Symmetries in Graph Representation.
On the Complexity of Global Scheduling Constraints under Structural Restrictions.
A Tree-Based Tabu Search Algorithm for the Manpower Allocation Problem with TimeWindows and Job-Teaming Constraints.
Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses.
On the Complexity of Trick-Taking Card Games.
Detecting and Exploiting Subproblem Tractability.
Constraint Acquisition via Partial Queries.
Christian Bessiere Remi Coletta Emmanuel Hebrard George Katsirelos Nadjib Lazaar Nina Narodytska Claude-Guy Quimper Toby Walsh
Breakout Local Search for the Vertex Separator Problem.
Maintaining Alternative Values in Constraint-Based Configuration.
Just-In-Time Compilation of Knowledge Bases.
Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics.
On Random Quotas and Proportional Representation in Weighted Voting Games.
Multiwinner Elections Under Preferences That Are Single-Peaked on a Tree.
A Reputation Management Approach for Resource Constrained Trustee Agents.
Automated Generation of Interaction Graphs for Value-Factored Dec-POMDPs.
Scaling-up Security Games with Boundedly Rational Adversaries: A Cutting-plane Approach.
Monte-Carlo Expectation Maximization for Decentralized POMDPs.
Endogenous Boolean Games.
Analysis and Optimization of Multi-Dimensional Percentile Mechanisms.
Multi-Dimensional Single-Peaked Consistency and Its Approximations.
An Efficient Vector-Based Representation for Coalitional Games.
Bimodal Switching for Online Planning in Multiagent Settings.
Fully Proportional Representation as Resource Allocation: Approximability Results.
Efficiently Solving Joint Activity Based Security Games.
Efficient Interdependent Value Combinatorial Auctions with Single Minded Bidders.
Opponent Models with Uncertainty for Strategic Argumentation.
Coalitional Games via Network Flows.
Talal Rahwan Tri-Dung Nguyen Tomasz P. Michalak Maria Polukarov Madalina Croitoru Nicholas R. Jennings
A Proof-Theoretical View of Collective Rationality.
Efficient Vote Elicitation under Candidate Uncertainty.
Sufficient Plan-Time Statistics for Decentralized POMDPs.
Computational Analysis of Connectivity Games with Applications to the Investigation of Terrorist Networks.
Tomasz P. Michalak Talal Rahwan Piotr L. Szczepanski Oskar Skibski Ramasuri Narayanam Nicholas R. Jennings Michael J. Wooldridge
Control Complexity of Schulze Voting.
Multi-Agent Team Formation: Diversity Beats Strength?
An Ambiguity Aversion Framework of Security Games under Ambiguities.
Multi-Winner Social Choice with Incomplete Preferences.
Game-Theoretic Question Selection for Tests.
Efficient Learning in Linearly Solvable MDP Models.
Agent Failures in All-Pay Auctions.
An Intelligent Broker Agent for Energy Trading: An MDP Approach.
A Social Welfare Optimal Sequential Allocation Procedure.
Defender (Mis)coordination in Security Games.
A Framework to Choose Trust Models for Different E-Marketplace Environments.
A Game-Theoretic Machine Learning Approach for Revenue Maximization in Sponsored Search.
How to Change a Group's Collective Decision?
Macau: A Basis for Evaluating Reputation Systems.
The Dynamics of Reinforcement Social Learning in Cooperative Multiagent Systems.
Why Is It So Hard to Say Sorry? Evolution of Apology with Commitments in the iterated Prisoner's Dilemma.
Sequential Equilibrium in Computational Games.
Opponent Modelling in Persuasion Dialogues.
Revenue Maximization via Hiding Item Attributes.
Optimal Airline Ticket Purchasing Using Automated User-Guided Feature Selection.
Audience-Based Uncertainty in Abstract Argument Games.
A Matroid Approach to the Worst Case Allocation of Indivisible Goods.
Bargaining for Revenue Shares on Tree Trading Networks.
Action Translation in Extensive-Form Games with Large Action Spaces: Axioms, Paradoxes, and the Pseudo-Harmonic Mapping.
Control in the Presence of Manipulators: Cooperative and Competitive Cases.
C-Link: A Hierarchical Clustering Approach to Large-scale Near-optimal Coalition Formation.
Elicitation and Approximately Stable Matching with Partial Preferences.
Optimally Solving Dec-POMDPs as Continuous-State MDPs.
Intention-Aware Routing to Minimise Delays at Electric Vehicle Charging Stations.
Kemeny Elections with Bounded Single-Peaked or Single-Crossing Width.
Conditional Restricted Boltzmann Machines for Negotiations in Highly Competitive and Complex Domains.
Are There Any Nicely Structured Preference Profiles Nearby?
Externalities in Cake Cutting.
Using Double-Oracle Method and Serialized Alpha-Beta Search for Pruning in Simultaneous Move Games.
Audit Games.
Maximal Recursive Rule: A New Social Decision Scheme.
Undecidability in Epistemic Planning.
Reasoning about Normative Update.
Past IJCAI Conferences.
IJCAI Organization.
Awards and Distinguished Papers.
Organizers and Sponsors.
Program Committee.
2013 Conference Organization.
Preface.