ijcai 2011 论文列表IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. |
Mechanism Design for Dynamic Environments: Online Double Auctions.
Trust Mechanisms for Online Systems (Extended Abstract).
Transfer Learning in Spatial Reasoning Puzzles.
Input Parameter Calibration in Forest Fire Spread Prediction: Taking the Intelligent Way.
Tractable Massively Multi-Agent Pathfinding with Solution Quality and Completeness Guarantees.
Autonomous Object Manipulation: A Semantic-Driven Approach.
On the Impact of Belief State Representation in Planning under Uncertainty.
Heuristic Search under Quality and Time Bounds.
Multiagent Hierarchical Learning from Demonstration.
Sensorimotor Models of Space and Object Geometry.
Towards a Model-Centric Cognitive Architecture for Service Robots.
A Method for Evaluating and Standardizing Ontologies.
Agent-Based Negotiation Teams.
From an Agent Logic to an Agent Programming Language for Partially Observable Stochastic Domains.
Bayesian Abductive Logic Programs: A Probabilistic Logic for Abductive Reasoning.
Multi-Agent Coordination: DCOPs and Beyond.
Human Behavior Analysis from Video Data Using Bag-of-Gestures.
Temporal Defeasible Argumentation in Multi-Agent Planning.
Research Proposal: Cooperation among Self Interested Agents.
RDFKB: A Semantic Web Knowledge Base.
Decision Making under Uncertainty: Social Choice and Manipulation.
Contributions to Personalizable Knowledge Integration.
On Temporal Regulations and Commitment Protocols.
An Analysis of Multiobjective Search Algorithms and Heuristics.
Talking about Trust in Heterogeneous Multi-Agent Systems.
Towards Scalable MDP Algorithms.
Graph Pruning and Symmetry Breaking on Grid Maps.
A Trust and Reputation Model for Supply Chain Management.
Distributed Constraint Optimization Problems Related with Soft Arc Consistency.
Belief Revision on Computation Tree Logic.
A Decision-Theoretic Academic Advisor: Extended Abstract.
Combining Spatial and Temporal Aspects of Prediction Problems to Improve Prediction Performance.
Combinatorial Aggregation.
Regret Minimization in Multiplayer Extensive Games.
Towards Spatial Methods for Socially Assistive Robotics: Validation with Children with Autism Spectrum Disorders.
Towards Social Problem-Solving with Human Subjects.
An Agent-Oriented Software Engineering Methodology to Develop Adaptive Virtual Organizations.
Combining Machine Learning and Optimization Techniques to Determine 3-D Structures of Polypeptides.
Control of Robotic Systems for Safe Interaction with Human Operators.
Statement of Thesis Research: Multi-Robot Sampling Strategies for Large-Scale Oceanographic Experiments.
Behaviour Recognition in Smart Homes.
Decision Support through Argumentation-Based Practical Reasoning.
Solving the Multiagent Selection and Scheduling Problem.
Large Linear Classification When Data Cannot Fit in Memory.
Analysis of Adjective-Noun Word Pair Extraction Methods for Online Review Summarization.
WSABIE: Scaling Up to Large Vocabulary Image Annotation.
A Framework for Longitudinal Influence Measurement between Communication Content and Social Networks.
Active Exploration for Robust Object Detection.
Adaptive Data Compression for Robot Perception.
Learning Linear and Kernel Predictors with the 0-1 Loss Function.
Connecting the Dots between News Articles.
Evaluation of Group Profiling Strategies.
Theoretical Justification of Popular Link Prediction Heuristics.
Norm Compliance of Rule-Based Cognitive Agents.
GUARDS - Innovative Application of Game Theory for National Airport Security.
An On-Line Algorithm for Semantic Forgetting.
Ties Matter: Complexity of Voting Manipulation Revisited.
Mind the Eigen-Gap, or How to Accelerate Semi-Supervised Spectral Learning Algorithms.
Recommender Systems, Missing Data and Statistical Model Estimation.
Enhancing Case Adaptation with Introspective Reasoning and Web Mining.
Flexible Tree Matching.
Efficient Rule-Based Inferencing for OWL EL.
Reasoning and Proofing Services for Semantic Web Agents.
The Combined Approach to Ontology-Based Data Access.
Reinforcement Learning to Adjust Robot Movements to New Situations.
A Transitivity Aware Matrix Factorization Model for Recommendation in Social Networks.
A Correctness Result for Reasoning about One-Dimensional Planning Problems.
Measuring the Good and the Bad in Inconsistent Information.
Finite Model Computation via Answer Set Programming.
Automatic Construction of Efficient Multiple Battery Usage Policies.
picoTrans: Using Pictures as Input for Machine Translation on Mobile Devices.
A Flat Histogram Method for Computing the Density of States of Combinatorial Problems.
Incentive Engineering for Boolean Games.
Translation-Based Constraint Answer Set Solving.
Exploring Protein Fragment Assembly Using CLP.
An Algorithm for Adapting Cases Represented in ALC.
Community Detection in Social Networks through Community Formation Games.
Lower Bounds for Width-Restricted Clause Learning on Formulas of Small Width.
Human-Guided Machine Learning for Fast and Accurate Network Alarm Triage.
A Geometric View of Conjugate Priors.
CHIME: An Efficient Error-Tolerant Chinese Pinyin Input Method.
Cross-People Mobile-Phone Based Activity Recognition.
Kinship Verification through Transfer Learning.
Embedding System Dynamics in Agent Based Models for Complex Adaptive Systems.
Maarika Teose Kiyan Ahmadizadeh Eoin O'Mahony Rebecca L. Smith Zhao Lu Stephen P. Ellner Carla P. Gomes Yrjö T. Gröhn
Integrating Learning into a BDI Agent for Environments with Changing Dynamics.
Extending Computer Assisted Assessment Systems with Natural Language Processing, User Modeling, and Recommendations Based on Human Computer Interaction and Data Mining.
An Agent Architecture for Prognostic Reasoning Assistance.
Interest Prediction on Multinomial, Time-Evolving Social Graph.
Learning 3D Geological Structure from Drill-Rig Sensors for Automated Mining.
A System for Providing Differentiated QoS in Retail Banking.
Learning to Identify Review Spam.
Coordinating Logistics Operations with Privacy Guarantees.
A Real-Time Opponent Modeling System for Rush Football.
Resource-Bounded Crowd-Sourcing of Commonsense Knowledge.
A New Search Engine Integrating Hierarchical Browsing and Keyword Search.
Learning Compact Visual Descriptor for Low Bit Rate Mobile Landmark Search.
Integrated Learning for Goal-Driven Autonomy.
Exploiting Probabilistic Knowledge under Uncertain Sensing for Efficient Robot Behaviour.
Marc Hanheide Charles Gretton Richard Dearden Nick Hawes Jeremy L. Wyatt Andrzej Pronobis Alper Aydemir Moritz Göbelbecker Hendrik Zender
Sketch Recognition Algorithms for Comparing Complex and Unpredictable Shapes.
A Natural Language Question Answering System as a Participant in Human Q&A Portals.
Simulation-Based Data Mining Solution to the Structure of Water Surrounding Proteins.
Enhancing Search Results with Semantic Annotation Using Augmented Browsing.
Buried Utility Pipeline Mapping Based on Multiple Spatial Data Sources: A Bayesian Data Fusion Approach.
Non-Linear Monte-Carlo Search in Civilization II.
A Comprehensive Approach to On-Board Autonomy Verification and Validation.
Plan Recognition in Virtual Laboratories.
Integrating Task Planning and Interactive Learning for Robots to Work in Human Environments.
Recommender Systems from "Words of Few Mouths".
Efficient Searching Top-k Semantic Similar Words.
Mining User Dwell Time for Personalized Web Search Re-Ranking.
Predicting Epidemic Tendency through Search Behavior Analysis.
Source-Selection-Free Transfer Learning.
Line Orthogonality in Adjacency Eigenspace with Application to Community Partition.
Matching Large Ontologies Based on Reduction Anchors.
A Wikipedia Based Semantic Graph Model for Topic Tracking in Blogsphere.
Short Text Conceptualization Using a Probabilistic Knowledgebase.
Making Better Informed Trust Decisions with Generalized Fact-Finding.
Transfer Learning to Predict Missing Ratings via Heterogeneous User Feedbacks.
LIMES - A Time-Efficient Approach for Large-Scale Link Discovery on the Web of Data.
User Similarity from Linked Taxonomies: Subjective Assessments of Items.
Minimally Complete Recommendations.
Cross-Domain Collaborative Filtering over Time.
Social Abstract Argumentation.
Multi-Perspective Linking of News Articles within a Repository.
Context Sensitive Topic Models for Author Influence in Document Networks.
Mining Longitudinal Network for Predicting Company Value.
Fashion Coordinates Recommender System Using Photographs from Fashion Magazines.
Finding the Hidden Gems: Recommending Untagged Music.
Relevance Feedback between Web Search and the Semantic Web.
Mining the Web for the "Voice of the Herd" to Track Stock Market Bubbles.
Fast Algorithm for Affinity Propagation.
The Modular Structure of an Ontology: Atomic Decomposition.
What to Ask to an Incomplete Semantic Web Reasoner?.
A Convex Formulation of Modularity Maximization for Community Detection.
Leveraging Unlabeled Data to Scale Blocking for Record Linkage.
Relation Adaptation: Learning to Extract Novel Relations with Minimum Supervision.
CCR - A Content-Collaborative Reciprocal Recommender for Online Dating.
Bayesian Chain Classifiers for Multidimensional Classification.
Learning Optimal Bayesian Networks Using A* Search.
Lifted Probabilistic Inference by First-Order Knowledge Compilation.
Finding (α, ϑ)-Solutions via Sampled SCSPs.
Robust Online Optimization of Reward-Uncertain MDPs.
Eliciting Additive Reward Functions for Markov Decision Processes.
Log-Linear Description Logics.
A Trust Prediction Approach Capturing Agents' Dynamic Behavior.
Scalable Multiagent Planning Using Probabilistic Inference.
Randomized Sensing in Adversarial Environments.
Pairwise Decomposition for Combinatorial Optimization in Graphical Models.
Resolute Choice in Sequential Decision Problems with Multiple Priors.
Motor Simulation via Coupled Internal Models Using Sequential Monte Carlo.
Inference with Multinomial Data: Why to Weaken the Prior Strength.
New Complexity Results for MAP in Bayesian Networks.
Lifted Relational Kalman Filtering.
User-Dependent Aspect Model for Collaborative Activity Recognition.
Conics with a Common Axis of Symmetry: Properties and Applications to Camera Calibration.
Robotic Object Detection: Learning to Improve the Classifiers Using Sparse Graphs for Path Planning.
Accommodating Human Variability in Human-Robot Teams through Theory of Mind.
Aesthetic Guideline Driven Photography by Robots.
Capturing an Evader in a Polygonal Environment with Obstacles.
Probabilistic Goal Markov Decision Processes.
Bounded Intention Planning.
On the Effectiveness of CNF and DNF Representations in Contingent Planning.
Scaling Up Optimal Heuristic Search in Dec-POMDPs via Incremental Expansion.
Replanning in Domains with Partial Information and Sensing Actions.
Planning with SAT, Admissible Heuristics and A*.
Goal Recognition over POMDPs: Inferring the Intention of a POMDP Agent.
Computing Infinite Plans for LTL Goals Using a Classical Planner.
Large Neighborhood Search and Adaptive Randomized Decompositions for Flexible Jobshop Scheduling.
Iterative Flattening Search for the Flexible Job Shop Scheduling Problem.
Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning.
Monitoring the Execution of Partial-Order Plans via Regression.
Point-Based Value Iteration for Constrained POMDPs.
Transfer Learning for Activity Recognition via Sensor Mapping.
On the Decidability of HTN Planning with Task Insertion.
Simple and Fast Strong Cyclic Planning for Fully-Observable Nondeterministic Planning Problems.
Risk-Sensitive Policies for Sustainable Renewable Resource Allocation.
Planning under Partial Observability by Classical Replanning: Theory and Experiments.
DetH*: Approximate Hierarchical Solution of Large Markov Decision Processes.
Fusion of Multiple Features and Supervised Learning for Chinese OOV Term Detection and POS Guessing.
Learning Inter-Related Statistical Query Translation Models for English-Chinese Bi-Directional CLIR.
Entity Linking with Effective Acronym Expansion, Instance Selection, and Topic Modeling.
Affect Sensing in Metaphorical Phenomena and Dramatic Interaction Context.
Interfacing Virtual Agents with Collaborative Knowledge: Open Domain Question Answering Using Wikipedia-Based Topic Models.
Unsupervised Lexicon Acquisition for HPSG-Based Relation Extraction.
Ensemble-Based Coreference Resolution.
Sample Efficient On-Line Learning of Optimal Dialogue Policies with Kalman Temporal Differences.
A Graph-Based Algorithm for Inducing Lexical Taxonomies from Scratch.
Improving Topic Evaluation Using Conceptual Knowledge.
Learning for Deep Language Understanding.
An Approach to Answer Selection in Question-Answering Based on Semantic Relations.
Constraint Optimization Approach to Context Based Word Selection.
SMT Versus AI Redux: How Semantic Frames Evaluate MT More Accurately.
Collective Semantic Role Labeling for Tweets with Clustering.
Semi-Supervised Learning for Imbalanced Sentiment Classification.
Incorporating Reviewer and Product Information for Review Rating Prediction.
Improve Tree Kernel-Based Event Pronoun Resolution with Competitive Information.
Unsupervised Modeling of Dialog Acts in Asynchronous Conversations.
Automatic Discovery of Fuzzy Synsets from Dictionary Definitions.
Learning from Natural Instructions.
Predicting Globally-Coherent Temporal Structures from Texts via Endpoint Inference and Graph Decomposition.
Online Latent Structure Training for Language Acquisition.
Short Text Classification Improved by Learning Multi-Granularity Topics.
Semantic Relationship Discovery with Wikipedia Structure.
Learning Bilingual Lexicons Using the Visual Similarity of Labeled Web Images.
Learning Cause Identifiers from Annotator Rationales.
Active Graph Reachability Reduction for Network Security and Software Engineering.
A Cognitive Agent Model Incorporating Prior and Retrospective Ownership States for Actions.
A Cognitive Agent Model Displaying and Regulating Different Social Response Patterns.
Feature Learning for Activity Recognition in Ubiquitous Computing.
Using Multiple Models to Understand Data.
On the Role of Domain Knowledge in Analogy-Based Story Generation.
Modeling Multivariate Spatio-Temporal Remote Sensing Data with Large Gaps.
Generalized Latent Factor Models for Social Network Analysis.
Modeling Situation Awareness in Human-Like Agents Using Mental Models.
Multi-Select Faceted Navigation Based on Minimum Description Length Principle.
The Role of Intention Recognition in the Evolution of Cooperative Behavior.
Visual Task Inference Using Hidden Markov Models.
Effective and Efficient Microprocessor Design Space Exploration Using Unlabeled Design Configurations.
OCS-14 : You Can Get Occluded in Fourteen Ways.
Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle.
A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning.
A Hierarchical Architecture for Adaptive Brain-Computer Interfacing.
Just an Artifact: Why Machines Are Perceived as Moral Agents.
Explaining Genetic Knock-Out Effects Using Cost-Based Abduction.
Finding "Unexplained" Activities in Video.
Pattern Field Classification with Style Normalized Transformation.
Multi-Kernel Multi-Label Learning with Max-Margin Concept Network.
LIFT: Multi-Label Learning with Label-Specific Features.
Diversity Regularized Machine.
Matrix Co-Factorization on Compressed Sensing.
l2, 1-Norm Regularized Discriminative Feature Selection for Unsupervised Learning.
Dealing with Concept Drift and Class Imbalance in Multi-Label Stream Classification.
Similarity-Based Approach for Positive and Unlabeled Learning.
Learning to Rank under Multiple Annotators.
Bayesian Policy Search with Policy Priors.
Local and Structural Consistency for Multi-Manifold Clustering.
Fast Nonnegative Matrix Tri-Factorization for Large-Scale Data Co-Clustering.
Jointly Learning Data-Dependent Label and Locality-Preserving Projections.
Heterogeneous Domain Adaptation Using Manifold Alignment.
Bi-Weighting Domain Adaptation for Cross-Language Text Classification.
Learning Driving Behavior by Timed Syntactic Pattern Recognition.
On the Utility of Curricula in Unsupervised Learning of Probabilistic Grammars.
Utility-Based Fraud Detection.
Fast Anomaly Detection for Streaming Data.
Angular Decomposition.
Active Online Classification via Information Maximization.
Consistency Measures for Feature Selection: A Formal Definition, Relative Sensitivity Comparison, and a Fast Algorithm.
Active Surveying: A Probabilistic Approach for Identifying Key Opinion Leaders.
Classification of Emerging Extreme Event Tracks in Multivariate Spatio-Temporal Physical Systems Using Dynamic Network Structures: Application to Hurricane Track Prediction.
Huseyin Sencan Zhengzhang Chen William Hendrix Tatdow Pansombut Fredrick H. M. Semazzi Alok N. Choudhary Vipin Kumar Anatoli V. Melechko Nagiza F. Samatova
A General MCMC Method for Bayesian Inference in Logic-Based Probabilistic Modeling.
Discovering Deformable Motifs in Continuous Time Series Data.
Domain Adaptation with Ensemble of Feature Groups.
Q-Error as a Selection Mechanism in Modular Reinforcement-Learning Systems.
Strategy Learning for Autonomous Agents in Smart Grid Markets.
Biclustering-Driven Ensemble of Bayesian Belief Network Classifiers for Underdetermined Problems.
Robust Principal Component Analysis with Non-Greedy l1-Norm Maximization.
Distribution-Aware Online Classifiers.
Positive Unlabeled Leaning for Time Series Classification.
Imitation Learning in Relational Domains: A Functional-Gradient Boosting Approach.
Multi-Kernel Gaussian Processes.
Agent-Oriented Incremental Team and Activity Recognition.
Combining Supervised and Unsupervised Models via Unconstrained Probabilistic Embedding.
Ball Ranking Machine for Content-Based Multimedia Retrieval.
Cluster Indicator Decomposition for Efficient Matrix Factorization.
Locality-Constrained Concept Factorization.
Probit Classifiers with a Generalized Gaussian Scale Mixture Prior.
Modular Community Detection in Networks.
Learning Hash Functions for Cross-View Similarity Search.
Incremental Slow Feature Analysis.
Activity Recognition with Finite State Machines.
Revisiting Numerical Pattern Mining with Formal Concept Analysis.
Adaptation of a Mixture of Multivariate Bernoulli Distributions.
Heuristic Rule-Based Regression via Dynamic Reduction to Classification.
Feature Selection via Joint Embedding Learning and Sparse Regression.
Gaussianity Measures for Detecting the Direction of Causal Time Series.
Fast Approximate Nearest-Neighbor Search with k-Nearest Neighbor Graph.
Extracting Temporal Patterns from Interval-Based Sequences.
Multi-Label Classification Using Conditional Dependency Networks.
Joint Feature Selection and Subspace Learning.
On Trivial Solution and Scale Transfer Problems in Graph Regularized NMF.
Kernel-Based Selective Ensemble Learning for Streams of Trees.
A Fast Dual Projected Newton Method for l1-Regularized Least Squares.
Continuous Correlated Beta Processes.
Constituent Grammatical Evolution.
Learning Decision Rules from Data Streams.
Generative Structure Learning for Markov Logic Networks Based on Graph of Predicates.
Automatic State Abstraction from Demonstration.
Flexible, High Performance Convolutional Neural Networks for Image Classification.
Unsupervised Learning of Patterns in Data Streams Using Compression and Edit Distance.
Concept Labeling: Building Text Classifiers with Minimal Supervision.
Increasing the Scalability of the Fitting of Generalised Block Models for Social Networks.
Using Cases as Heuristics in Reinforcement Learning: A Transfer Learning Application.
Distance Metric Learning under Covariate Shift.
Approximation-Guided Evolutionary Multi-Objective Optimization.
A Hidden Markov Model Variant for Sequence Classification.
Learning a Distance Metric by Empirical Loss Minimization.
Improving Performance of Topic Models by Variable Grouping.
A Framework for Incorporating General Domain Knowledge into Latent Dirichlet Allocation Using First-Order Logic.
Semi-Supervised Learning from a Translation Model between Data Distributions.
An Efficient Framework for Constructing Generalized Locally-Induced Text Metrics.
Multi-Evidence Lifted Message Passing, with Application to PageRank and the Kalman Filter.
A Competitive Strategy for Function Approximation in Q-Learning.
Discerning Linkage-Based Algorithms among Hierarchical Clustering Methods.
Transitively Relational Partial Meet Horn Contraction.
Translating First-Order Theories into Logic Programs.
On Qualitative Route Descriptions: Representation and Computational Complexity.
Relating Carneades with Abstract Argumentation.
The General Game Playing Description Language Is Universal.
Beth Definability in Expressive Description Logics.
Consequence-Based Reasoning beyond Horn Ontologies.
Computing Minimum-Cardinality Diagnoses by Model Relaxation.
Well-Supported Semantics for Description Logic Programs.
Description Logics and Fuzzy Probability.
A Logical Formulation for Negotiation among Dishonest Agents.
Dishonest Reasoning by Abduction.
On the Complexity of Dealing with Inconsistency in Description Logic Ontologies.
An Assertion Retrieval Algebra for Object Queries over Knowledge Bases.
An Approach to Minimal Belief via Objective Belief.
Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ.
Augmenting Tractable Fragments of Abstract Argumentation.
Reasoning-Supported Interactive Revision of Knowledge Bases.
Revisiting Preferences and Argumentation.
Causal Learnability.
Reasoning about Fuzzy Belief and Common Belief: With Emphasis on Incomparable Beliefs.
Lost in Translation: Language Independence in Propositional Logic - Application to Belief Revision and Belief Merging.
Existential Closures for Knowledge Compilation.
Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics.
Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability.
On the Progression of Knowledge in the Situation Calculus.
Context-Sensitive Diagnosis of Discrete-Event Systems.
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness.
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces.
Belief Base Rationalization for Propositional Merging.
A Logic for Causal Inference in Time Series with Discrete and Continuous Variables.
A Constructive Approach to Independent and Evidence Retaining Belief Revision by General Information Sets.
Discrete-Time Temporal Reasoning with Horn DLRs.
Logic Programming for Boolean Networks.
Generalized Planning: Synthesizing Plans that Work for Multiple Environments.
Generalising the Interaction Rules in Probabilistic Logic.
Multidimensional Mereotopology with Betweenness.
Belief Management for High-Level Robot Programs.
Reasoning about Typicality in Low Complexity DLs: The Logics EL⊥Tmin and DL-Litec Tmin.
Repairing Incorrect Knowledge with Model Formulation and Metareasoning.
Succinctness of Epistemic Languages.
Fixpoints in Temporal Description Logics.
Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World.
Backdoors to Tractable Answer-Set Programming.
Tangled Modal Logic for Spatial Reasoning.
Parametric Properties of Ideal Semantics.
Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification.
Revising Horn Theories.
Revising by an Inconsistent Set of Formulas.
Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals.
SDD: A New Canonical Representation of Propositional Knowledge Bases.
Defeasible Inheritance-Based Description Logics.
Containment of Regular Path Queries under Description Logic Constraints.
A Practical Automata-Based Technique for Reasoning in Expressive Description Logics.
Modeling Attempt and Action Failure in Probabilistic STIT Logic.
Managed Multi-Context Systems.
Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs.
Finite-Valued Lukasiewicz Modal Logic Is PSPACE-Complete.
Description Logics over Lattices with Multi-Valued Ontologies.
On the Complexity of EL with Defeasible Inclusions.
RCC8 Is Polynomial on Networks of Bounded Treewidth.
Interval-Based Possibilistic Logic.
On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols.
A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results.
A Theory of Meta-Diagnosis: Reasoning about Diagnostic Systems.
First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription.
Query Reasoning on Trees with Types, Interleaving, and Counting.
Walking the Complexity Lines for Generalized Guarded Existential Rules.
What Is an Ideal Logic for Reasoning with Inconsistency?.
Space Defragmentation Heuristic for 2D and 3D Bin Packing Problems.
Heuristic Algorithms for Balanced Multi-Way Number Partitioning.
Symmetry Breaking via LexLeader Feasibility Checkers.
Rational Deployment of CSP Heuristics.
Bounded Suboptimal Search: A Direct Approach Using Inadmissible Estimates.
Complete Algorithms for Cooperative Pathfinding Problems.
The Increasing Cost Tree Search for Optimal Multi-Agent Pathfinding.
Real-Time Solving of Quantified CSPs Based on Monte-Carlo Game Tree Search.
Nested Rollout Policy Adaptation for Monte Carlo Tree Search.
A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints.
Finite-Length Markov Processes with Constraints.
The Multi-Inter-Distance Constraint.
Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints.
Real-Time Opponent Modeling in Trick-Taking Card Games.
Large Hinge Width on Sparse Random Hypergraphs.
Minimum Satisfiability and Its Applications.
Constraint Programming on Infinite Data Streams.
A Hybrid Recursive Multi-Way Number Partitioning Algorithm.
Evaluations of Hash Distributed A* in Optimal Sequence Alignment.
Real-Time Heuristic Search with Depression Avoidance.
Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms.
Minimization for Generalized Boolean Formulas.
Dynamic SAT with Decision Change Costs: Formalization and Solutions.
Generalizing ADOPT and BnB-ADOPT.
A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas.
Kernels for Global Constraints.
Using Payoff-Similarity to Speed Up Search.
Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition.
Constraint Satisfaction Problems: Convexity Makes AllDifferent Constraints Tractable.
Symmetries and Lazy Clause Generation.
Tractable Set Constraints.
Depth-Driven Circuit-Level Stochastic Local Search for SAT.
Tackling the Partner Units Configuration Problem.
The Shapley Value as a Function of the Quota in Weighted Voting Games.
Multi-Agent Plan Recognition with Partial Team Traces and Plan Libraries.
Generalized Reaction Functions for Solving Complex-Task Allocation Problems.
Mechanism Design for Double Auctions with Temporal Constraints.
Continuous Time Planning for Multiagent Teams with Temporal Constraints.
Improving Resource Allocation Strategy against Human Adversaries in Security Games.
An Efficient Monte-Carlo Algorithm for Pricing Combinatorial Prediction Markets for Tournaments.
A Maximum Likelihood Approach towards Aggregating Partial Orders.
Online Planning for Ad Hoc Autonomous Agent Teams.
Using Gaussian Processes to Optimise Concession in Complex Negotiations against Unknown Opponents.
Reasoning about Preferences in Intelligent Agent Systems.
Social Instruments for Robust Convention Emergence.
Dynamic Sanctioning for Robust and Cost-Efficient Norm Compliance.
Attack Semantics for Abstract Argumentation.
Facing Openness with Socio-Cognitive Trust and Categories.
Concise Characteristic Function Representations in Coalitional Games Based on Agent Types.
Generalizing Envy-Freeness toward Group of Agents.
Approximating Optimal Combinatorial Auctions for Complements Using Restricted Welfare Maximization.
Emergence and Stability of Social Conventions in Conflict Situations.
Learning Where You Are Going and from Whence You Came: h- and g-Cost Learning in Real-Time Heuristic Search.
Rigging Tournament Brackets for Weaker Players.
An Empirical Study of Seeding Manipulations and Their Prevention.
On Combining Decisions from Multiple Expert Imitators for Performance.
Minimum Search to Establish Worst-Case Guarantees in Coalition Structure Generation.
An Interaction-Oriented Model for Multi-Scale Simulation.
Efficient Planning for Factored Infinite-Horizon DEC-POMDPs.
On the Complexity of Voting Manipulation under Randomized Tie-Breaking.
Agents, Actions and Goals in Dynamic Environments.
Using Experience to Generate New Regulations.
Subsidies, Stability, and Restricted Cooperation in Coalitional Games.
Push and Swap: Fast Cooperative Path-Finding with Completeness Guarantees.
Robust Approximation and Incremental Elicitation in Voting Protocols.
Budgeted Social Choice: From Consensus to Personalized Decision Making.
Security Games with Multiple Attacker Resources.
A Mechanism for Dynamic Ride Sharing Based on Parallel Auctions.
Accelerating Best Response Calculation in Large Extensive Games.
Comparing Variants of Strategic Ability.
The Complexity of Safe Manipulation under Scoring Rules.
Model Checking Knowledge in Pursuit Evasion Games.
Considerate Equilibrium.
A Dynamic Logic of Normative Systems.
Max-Prob: An Unbiased Rational Decision Making Procedure for Multiple-Adversary Environments.
On the Complexity of the Core over Coalition Structures.
Manipulating Boolean Games through Communication.
Binary Aggregation with Integrity Constraints.
Assumption-Based Argumentation Dialogues.
Action Selection via Learning Behavior Patterns in Multi-Robot Systems.
Choosing Collectively Optimal Sets of Alternatives Based on the Condorcet Criterion.
Human-Agent Auction Interactions: Adaptive-Aggressive Agents Dominate.
Multi-Agent Soft Constraint Aggregation via Sequential Voting.
Changing One's Mind: Erase or Rewind?
Hypercubewise Preference Aggregation in Multi-Issue Domains.
A Market Clearing Solution for Social Lending.
AstonCAT-Plus: An Efficient Specialist for the TAC Market Design Tournament.
Using Incentive Mechanisms for an Adaptive Regulation of Open Multi-Agent Systems.
Efficient Mechanisms with Risky Participation.
Towards More Expressive Cake Cutting.
Manipulation in Group Argument Evaluation.
Trust Decision-Making in Multi-Agent Systems.
Alternating Epistemic Mu-Calculus.
Verifying Normative Behaviour via Normative Mechanism Design.
Modeling the Emergence and Convergence of Norms.
Social Distance Games.
On the Fixed-Parameter Tractability of Composition-Consistent Tournament Solutions.
Group-Strategyproof Irresolute Social Choice Functions.
A General Elicitation-Free Protocol for Allocating Indivisible Goods.
Approximately Strategy-Proof Voting.
Simulating the Emergence of Grammatical Agreement in Multi-Agent Language Games.
Unweighted Coalitional Manipulation under the Borda Rule Is NP-Hard.
Coalitional Voting Manipulation: A Game-Theoretic Perspective.
Optimal Partitions in Additively Separable Hedonic Games.
Dynamics of Profit-Sharing Games.
Hustling in Repeated Zero-Sum Games with Imperfect Execution.
Using Emotions to Enhance Decision-Making.
Aggregating Dependency Graphs into Voting Agendas in Multi-Issue Elections.
Artificial Intelligence and Human Thinking.
Open Information Extraction: The Second Generation.
Past IJCAI Conferences.
IJCAI Organization.
Keynote and Invited Speakers.
Awards and Distinguished Papers.
Conference Sponsorship.
Program Committee.
Conference Organization.
Preface.