No. 2: Main Track Technical Papers
Agents, Game Theory, Auctions, and Mechanism Design
Manipulating the Quota in Weighted Voting Games
PDFCoalition Structure Generation: Dynamic Programming Meets Anytime Optimization
PDFPartially Synchronized DEC-MDPs in Dynamic Mechanism Design
PDFMathematical Modeling and Convergence Analysis of Trail Formation
PDFSemantical Considerations on Dialectical and Practical Commitments
PDFBidding Strategies for Realistic Multi-Unit Sealed-Bid Auctions
PDFOptimal False-Name-Proof Voting Rules with Costly Voting
PDFDetermining Possible and Necessary Winners under Common Voting Rules Given Partial Orders
PDFVoting on Multiattribute Domains with Cyclic Preferential Dependencies
PDFValue-Based Policy Teaching with Active Indirect Elicitation
PDFComputer-Aided Proofs of Arrow’s and Other Impossibility Theorems
PDFPareto Optimality in Abstract Argumentation
PDFCoordination and Multi-Tasking Using EMT
PDFThe Impact of Vertical Specialization on Hierarchical Multi-Agent Systems
PDFArgument Theory Change Applied to Defeasible Logic Programming
PDFStrategyproof Classification under Constant Hypotheses: A Tale of Two Functions
PDFResource Constrained Distributed Constraint Optimization with Virtual Variables
PDFAn Expressive Auction Design for Online Display Advertising
PDFExpressive Banner Ad Auctions and Model-Based Online Optimization for Clearing
PDFA Computational Analysis of the Tournament Equilibrium Set
PDFApproximability of Manipulating Elections
PDFEfficient Metadeliberation Auctions
PDFAchieving Cooperation in a Minimally Constrained Environment
PDFGeneralized Point Based Value Iteration for Interactive POMDPs
PDFOn the Dimensionality of Voting Games
PDFFirst-Order Algorithm with O(ln(1/ε)) Convergence for ε-Equilibrium in Two-Person Zero-Sum Games
PDFAgent Organized Networks Redux
PDFReasoning about the Appropriateness of Proponents for Arguments
PDFBayesian Coalitional Games
PDFAgent Coordination with Regret Clearing
PDFMemetic Networks: Analyzing the Effects of Network Properties in Multi-Agent Performance
PDFMultiagent Graph Coloring: Pareto Efficiency, Fairness and Individual Rationality
PDFA Theory of Expressiveness in Mechanisms
PDFPhysical Search Problems Applying Economic Search Models
PDF
Constraints, Satisfiability, and Search
Efficient Context-Free Grammar Constraints
PDFAnytime Local Search for Distributed Constraint Optimization
PDFReasoning with Cardinal Directions: An Efficient Algorithm
PDFPredicting the Performance of IDA* with Conditional Distributions
PDFBound Consistency for Binary Length-Lex Set Constraints
PDFA Global Constraint for Bin-Packing with Precedences: Application to the Assembly Line Balancing Problem
PDFBackdoor Trees
PDFLearning from Multiple Heuristics
PDFWithin-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving
PDFR* Search
PDFExploiting Causal Independence Using Weighted Model Counting
PDFOnline Learning with Expert Advice and Finite-Horizon Constraints
PDFH-DPOP: Using Hard Constraints for Search Space Pruning in DCOP
PDFMinimizing Disk I/O in Two-Bit Breadth-First Search
PDFOn the Power of Top-Down Branching Heuristics
PDFEfficient Memoization for Dynamic Programming with Ad-Hoc Constraints
PDFPiecewise Linear Dynamic Programming for Constrained POMDPs
PDFClause Learning Can Effectively P-Simulate General Propositional Resolution
PDFMeasuring the Hardness of SAT Instances
PDFOn Range of Skill
PDFStudies in Solution Sampling
PDFPhase Transitions and Complexity of Weighted Satisfiability and Other Intractable Parameterized Problems
PDFSimulation-Based Approach to General Game Playing
PDFVirtual Arc Consistency for Weighted CSP
PDFRelaxed Survey Propagation: A Sum-Product Algorithm for Max-SAT
PDFProtein Structure Prediction on the Face Centered Cubic Lattice by Local Search
PDFThe Parameterized Complexity of Global Constraints
PDFA New Incomplete Method for CSP Inconsistency Checking
PDF
Knowledge Representation, Logic, and Information Systems
Revising Imprecise Probabilistic Beliefs in the Framework of Probabilistic Logic Programming
PDFLoop Formulas for Logic Programs with Arbitrary Constraint Atoms
PDFTowards Automatic Animated Storyboarding
PDFGrounding with Bounds
PDFGenerating Application-Specific Benchmark Models for Complex Systems
PDFHyperequivalence of Logic Programs with Respect to Supported Models
PDFAn Extended Interpreted System Model for Epistemic Logics
PDFAnalogySpace: Reducing the Dimensionality of Common Sense Knowledge
PDFFactored Models for Probabilistic Modal Logic
PDFA Scalable Jointree Algorithm for Diagnosability
PDFA First-Order Theory of Stanislavskian Scene Analysis
PDFTerminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
PDFA Semantic Approach for Iterated Revision in Possibilistic Logic
PDFNew Compilation Languages Based on Structured Decomposability
PDFAn AGM-Based Belief Revision Mechanism for Probabilistic Spatio-Temporal Logics
PDFWorst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses
PDFMinimal Contraction of Preference Relations
PDFA Formalization of Program Debugging in the Situation Calculus
PDFAbductive Logic Programming by Nonground Rewrite Systems
PDFA Reductive Semantics for Counting and Choice in Answer Set Programming
PDFHorn Complements: Towards Horn-to-Horn Belief Revision
PDFNonmonotonic Modes of Inference
PDFFrom Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic
PDFA Meta-Programming Technique for Debugging Answer-Set Programs
PDFExtending the Knowledge Compilation Map: Krom, Horn, Affine and Beyond
PDFEfficient Haplotype Inference with Answer Set Programming
PDFParallel Belief Revision
PDFManifold Integration with Markov Random Walks
PDFCredulous Resolution for Answer Set Programming
PDFPrime Implicate Normal Form for ALC Concepts
PDFOn the Decidability of Role Mappings between Modular Ontologies
PDFNon-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals
PDF
Machine Learning
Transfer Learning via Dimensionality Reduction
PDFConstraint Projections for Ensemble Learning
PDFMulti-View Local Learning
PDFClassification by Discriminative Regularization
PDFHidden Dynamic Probabilistic Models for Labeling Sequence Data
PDFLearning Hidden Curved Exponential Family Models to Infer Face-to-Face Interaction Networks from Situated Speech Data
PDFSemi-supervised Classification Using Local and Global Regularization
PDFOn Discriminative Semi-Supervised Classification
PDFEfficient Learning of Action Schemas and Web-Service Descriptions
PDFAdapting ADtrees for High Arity Features
PDFOn-Line Case-Based Plan Adaptation for Real-Time Strategy Games
PDFMarkov Blanket Feature Selection for Support Vector Machines
PDFEconomic Hierarchical Q-Learning
PDFActive Learning for Pipeline Models
PDFTrace Ratio Criterion for Feature Selection
PDFFrom Comparing Clusterings to Combining Clusterings
PDFClustering on Complex Graphs
PDFDistance Metric Learning Versus Fisher Discriminant Analysis
PDFDimension Amnesic Pyramid Match Kernel
PDFZero-data Learning of New Tasks
PDFInstance-level Semisupervised Multiple Instance Learning
PDFSemi-Supervised Ensemble Ranking
PDFA Case Study on the Critical Role of Geometric Regularity in Machine Learning
PDFIntegrating Multiple Learning Components through Markov Logic
PDFClustering via Random Walk Hitting Time on Directed Graphs
PDFSparse Projections over Graph
PDFPotential-based Shaping in Model-based Reinforcement Learning
PDF
Multidisciplinary Topics and Applications
Exposing Parameters of a Trained Dynamic Model for Interactive Music Creation
PDFAnother Look at Search-Based Drama Management
PDFLearning to Analyze Binary Computer Code
PDFPrediction and Change Detection in Sequential Data for Interactive Applications
PDFUsing Knowledge Driven Matrix Factorization to Reconstruct Modular Gene Regulatory Network
PDFAutomating To-Do Lists for Users: Interpretation of To-Dos for Selecting and Tasking Agents
PDFProactive Intrusion Detection
PDFSpeech-enabled Card Games for Language Learners
PDF
Natural-Language Processing
Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions
PDFAutomatic Semantic Relation Extraction with Multiple Boundary Generation
PDFImportance of Semantic Representation: Dataless Classification
PDFDiscourse Topic and Gestural Form
PDFText Categorization with Knowledge Transfer from Heterogeneous Data Sources
PDFCross-lingual Propagation for Morphological Analysis
PDFSingle Document Keyphrase Extraction Using Neighborhood Knowledge
PDFUsing Wiktionary for Computing Semantic Relatedness
PDF
Reasoning about Plans, Processes, and Actions
Accuracy of Admissible Heuristic Functions in Selected Planning Domains
PDFProbabilistic Planning via Determinization in Hindsight
PDFOn the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture
PDFHypothesis Pruning and Ranking for Large Plan Recognition Problems
PDFLearning Generalized Plans Using Abstract Counting
PDFFusing Procedural and Declarative Planning Goals for Nondeterministic Domains
PDFLandmarks Revisited
PDFRoute Planning under Uncertainty: The Canadian Traveller Problem
PDFUnknown Rewards in Finite-Horizon Domains
PDFGenerating Plans in Concurrent, Probabilistic, Over-Subscribed Domains
PDFHTN-MAKER: Learning HTNs with Minimal Additional Knowledge Engineering Required
PDFHow Good is Almost Perfect?
PDFReasoning about Large Taxonomies of Actions
PDFFinding State Similarities for Faster Planning
PDFComputing Observation Vectors for Max-Fault Min-Cardinality Diagnoses
PDFComputing Minimal Diagnoses by Greedy Stochastic Search
PDFOptimal Scheduling of Contract Algorithms with Soft Deadlines
PDFError Classification in Action Descriptions: A Heuristic Approach
PDFPartitioned External-Memory Value Iteration
PDFPlanning with Problems Requiring Temporal Coordination
PDFFast Planning by Search in Domain Transition Graph
PDFPBA*: Using Proactive Search to Make A* Robust to Unplanned Deviations
PDFOptimal Metric Planning with State Sets in Automata Representation
PDF
Uncertainty in AI
Optimal Testing of Structured Knowledge
PDFA General Framework for Generating Multivariate Explanations in Bayesian Networks
PDFLatent Tree Models and Approximate Inference in Bayesian Networks
PDFHybrid Markov Logic Networks
PDFBounding the False Discovery Rate in Local Bayesian Network Learning
PDFLifted First-Order Belief Propagation
PDFSymbolic Heuristic Search Value Iteration for Factored POMDPs
PDFDormant Independence
PDFA General Method for Reducing the Complexity of Relational Inference and its Application to MCMC
PDFLifted Probabilistic Inference with Counting Formulas
PDFA Variance Analysis for POMDP Policy Evaluation
PDFTowards Faster Planning with Continuous Resources in Stochastic Domains
PDFExploiting Symmetries in POMDPs for Point-Based Algorithms
PDFCRF-OPT: An Efficient High-Quality Conditional Random Field Solver
PDFPreference Aggregation with Graphical Utility Models
PDFMany-Pairs Mutual Information for Adding Structure to Belief Propagation Approximations
PDFFocusing Generalizations of Belief Propagation on Targeted Queries
PDF