Technical Papers
Constraint Satisfaction and Satisfiability
Solving QBF by Combining Conjunctive and Disjunctive Normal Forms
PDFAn Asymptotically Optimal Algorithm for the Max k-Armed Bandit Problem
PDFAnswer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms
PDFA Quadratic Propagator for the Inter-Distance Constraint
PDFWeighted Constraint Satisfaction with Set Variables
PDFAn Efficient Way of Breaking Value Symmetries
PDFTemporal Preference Optimization as Weighted Constraint Satisfaction
PDFEfficient Haplotype Inference with Boolean Satisfiability
PDFLocal-Search Techniques for Boolean Combinations of Pseudo-Boolean Constraints
PDFFast SAT-based Answer Set Solver
PDFDetecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT
PDFThe Impact of Balancing on Problem Hardness in a Highly Structured Domain
PDFSimple Randomized Algorithms for Tractable Row and Tree Convex Constraints
PDFNew Inference Rules for Efficient Max-SAT Solving
PDFA BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration
PDFModel Counting: A New Strategy for Obtaining Good Bounds
PDFLength-Lex Ordering for Set CSPs
PDFOn the Use of Partially Ordered Decision Graphs in Knowledge Compilation and Quantified Boolean Formulae
PDFDNNF-based Belief State Estimation
PDFExtending Dynamic Backtracking to Solve Weighted Conditional CSPs
PDFExploiting Tree Decomposition and Soft Local Consistency In Weighted CSP
PDFAbstract Branching for Quantified Formulas
PDF
Human Computer Interaction and Cognitive Modeling
Classifying Learner Engagement through Integration of Multiple Data Sources
PDFEvaluating Critiquing-based Recommender Agents
PDFA Dynamic Mixture Model to Detect Student Motivation and Proficiency
PDFModeling Human Decision Making in Cliff-Edge Environments
PDFUsing Anticipation to Create Believable Behaviour
PDFExtracting Knowledge about Users’ Activities from Raw Workstation Contents
PDFProbabilistic Goal Recognition in Interactive Narrative Environments
PDFSalience in Orientation-Filter Response Measured as Suspicious Coincidence in Natural Images
PDFFrom Pigeons to Humans: Grounding Relational Learning in Concrete Examples
PDFEvaluating Preference-based Search Tools: A Tale of Two Approaches
PDF
Knowledge Representation and Logic
Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning
PDFBelief Change in the Context of Fallible Actions and Observations
PDFTowards an Axiom System for Default Logic
PDFFinding Maximally Satisfiable Terminologies for the Description Logic ALC
PDFCharacterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics
PDFMerging Stratified Knowledge Bases under Constraints
PDFReconciling Situation Calculus and Fluent Calculus
PDFClassification Spanning Private Databases
PDFOn the Complexity of Linking Deductive and Abstract Argument Systems
PDFA Unified Knowledge Based Approach for Sense Disambiguation and Semantic Role Labeling
PDFModel-Checking Memory Requirements of Resource-Bounded Reasoners
PDFExplaining Qualitative Decision under Uncertainty by Argumentation
PDFCompilation of Query-Rewriting Problems into Tractable Fragments of Propositional Logic
PDFGoal Specification, Non-Determinism and Quantifying over Policies
PDFForgetting and Conflict Resolving in Disjunctive Logic Programming
PDFElementary Sets of Logic Programs
PDF
Machine Learning
Optimal Unbiased Estimators for Evaluating Agent Performance
PDFA Fast Decision Tree Learning Algorithm
PDFCross-Domain Knowledge Transfer Using Structured Representations
PDFConflict Resolution and a Framework for Collaborative Interactive Evolution
PDFSample-Efficient Evolutionary Function Approximation for Reinforcement Learning
PDFMixtures of Predictive Linear Gaussian Models for Nonlinear, Stochastic Dynamical Systems
PDFDecision Tree Methods for Finding Reusable MDP Homomorphisms
PDFRobust Support Vector Machine Training via Convex Outlier Ablation
PDFAn Efficient Algorithm for Local Distance Metric Learning
PDFHard Constrained Semi-Markov Decision Processes
PDFA New Approach to Estimating the Expected First Hitting Time of Evolutionary Algorithms
PDFA Direct Evolutionary Feature Extraction Algorithm for Classifying High Dimensional Data
PDFOn Multi-Class Cost-Sensitive Learning
PDFStrategy Variations in Analogical Problem Solving
PDFUsing Homomorphisms to Transfer Options across Continuous Reinforcement Learning Domains
PDFMemory-Efficient Inference in Relational Domains
PDFCost-Sensitive Test Strategies
PDFThresholding for Making Classifiers Cost-sensitive
PDFIdentification and Evaluation of Weak Community Structures in Networks
PDFBoosting Expert Ensembles for Rapid Concept Recall
PDFSound and Efficient Inference with Probabilistic and Deterministic Dependencies
PDFGradient Boosting for Sequence Alignment
PDFLearning Blocking Schemes for Record Linkage
PDFImproving Approximate Value Iteration Using Memories and Predictive State Representations
PDFLearning Systems of Concepts with an Infinite Relational Model
PDFkFOIL: Learning Simple Relational Kernels
PDFQuantifying the Impact of Learning Algorithm Parameter Tuning
PDFEfficient L1 Regularized Logistic Regression
PDFMinimum Description Length Principle: Generators Are Preferable to Closed Patterns
PDFValue-Function-Based Transfer for Reinforcement Learning Using Structure Mapping
PDFSemi-supervised Multi-label Learning by Constrained Non-negative Matrix Factorization
PDFA Simple and Effective Method for Incorporating Advice into Kernel Methods
PDFMulti-Conditional Learning: Generative/Discriminative Training for Clustering and Classification
PDFClustering by Exceptions
PDFRepresenting Systems with Hidden State
PDFActive Learning with Near Misses
PDFIncremental Least-Squares Temporal Difference Learning
PDFAnytime Induction of Decision Trees: An Iterative Improvement Approach
PDFNonnegative Matrix Factorization and Probabilistic Latent Semantic Indexing: Equivalence Chi-Square Statistic, and a Hybrid Method
PDFIdentifying and Generating Easy Sets of Constraints for Clustering
PDFTensor Embedding Methods
PDFOn Combining Multiple Classifiers Using an Evidential Approach
PDFOn the Difficulty of Modular Reinforcement Learning for Real-World Partial Programming
PDF
Multiagent Systems
Distributed Interactive Learning in Multi-Agent Systems
PDFRobust Mechanisms for Information Elicitation
PDFMechanisms for Partial Information Elicitation: The Truth, but Not the Whole Truth
PDFA Computational Model of Logic-Based Negotiation
PDFContract Enactment in Virtual Organizations: A Commitment-Based Approach
PDFSimultaneous Team Assignment and Behavior Recognition from Spatio-Temporal Agent Traces
PDFBehaviosites: Manipulation of Multiagent System Behavior through Parasitic Infection
PDFODPOP: An Algorithm for Open/Distributed Constraint Optimization
PDFA Compact Representation Scheme for Coalitional Games in Open Anonymous Environments
PDFStrong Mediated Equilibrium
PDFMultiparty Proactive Communication: A Perspective for Evolving Shared Mental Models
PDFA Polynomial-Time Algorithm for Action Graph Games
PDFRegret-based Incremental Partial Revelation Mechanisms
PDFA New Approach to Distributed Task Assignment using Lagrangian Decomposition and Distributed Constraint Satisfaction
PDFFrom Centralized to Distributed Selective Overhearing
PDFAnalysis of Privacy Loss in Distributed Constraint Optimization
PDFThe Complexity of Bribery in Elections
PDFOverlapping Coalition Formation for Efficient Data Fusion in Multi-Sensor Networks
PDFNonexistence of Voting Rules That Are Usually Hard to Manipulate
PDFKeeping in Touch: Maintaining Biconnected Structure by Homogeneous Robots
PDFImproved Bounds for Computing Kemeny Rankings
PDFComputing Slater Rankings Using Similarities among Candidates
PDFOn Strictly Competitive Multi-Player Games
PDFAlgorithms for Rationalizability and CURB Sets
PDFImpersonation-Based Mechanisms
PDFQuantifying Incentive Compatibility of Ranking Systems
PDF
Natural Language Processing
Negation, Contrast and Contradiction in Text Processing
PDFProposing a New Term Weighting Scheme for Text Categorization
PDFScript and Language Identification in Degraded and Distorted Document Images
PDFCorpus-based and Knowledge-based Measures of Text Semantic Similarity
PDFLearning Noun-Modifier Semantic Relations with Corpus-based and WordNet-based Features
PDFSocietal Grounding Is Essential to Meaningful Language Use
PDF
Reasoning about Plans and Actions
Contingent Planning with Goal Preferences
PDFLearning Partially Observable Action Models: Efficient Algorithms
PDFLearning Partially Observable Action Schemas
PDFSensor-Based Understanding of Daily Life via Large-Scale Use of Common Sense
PDFCompiling Uncertainty Away: Solving Conformant Planning Problems using a Classical Planner (Sometimes)
PDFApproximate Compilation for Embedded Model-based Reasoning
PDFReasoning about Partially Observed Actions
PDFProbabilistic Temporal Planning with Uncertain Durations
PDFPPCP: Efficient Probabilistic Planning with Clear Preferences in Partially-Known Environments
PDFOptimal Scheduling of Contract Algorithms for Anytime Problems
PDFReasoning about Discrete Event Sources
PDFPlanning with First-Order Temporally Extended Goals using Heuristic Search
PDFA Modular Action Description Language
PDFTractable Classes of Metric Temporal Problems with Domain Rules
PDFA Causal Analysis Method for Concurrent Hybrid Automata
PDFExploration of the Robustness of Plans
PDFA Two-Step Hierarchical Algorithm for Model-Based Diagnosis
PDFCost-Optimal External Planning
PDFAdaptive Sampling Based Large-Scale Stochastic Resource Control
PDFFactored Planning: How, When, and When Not
PDFRobust Execution on Contingent, Temporally Flexible Plans
PDFFast Hierarchical Goal Schema Recognition
PDF
Robotics and Computer Vision
Motion-Based Autonomous Grounding: Inferring External World Properties from Encoded Internal Sensory States Alone
PDFEfficient Triangulation-Based Pathfinding
PDFExploiting Spatial and Temporal Flexibility for Plan Execution for Hybrid, Under-actuated Robots
PDFObject Boundary Detection in Images using a Semantic Ontology
PDFBayesian Calibration for Monte Carlo Localization
PDFDiagnosis of Multi-Robot Coordination Failures Using Distributed CSP Algorithms
PDFProbabilistic Self-Localization for Sensor Networks
PDFWinning the DARPA Grand Challenge with an AI Robot
PDFA Manifold Regularization Approach to Calibration Reduction for Sensor-Network Based Tracking
PDFRunning the Table: An AI for Computer Billiards
PDFReinforcement Learning with Human Teachers: Evidence of Feedback and Guidance with Implications for Learning Performance
PDF
Search and Game Playing
Estimating Search Tree Size
PDFProperties of Forward Pruning in Game-Tree Search
PDFRankCut—A Domain Independent Forward Pruning Method for Games
PDFDD* Lite: Efficient Incremental Search with State Dominance
PDFSequential and Parallel Algorithms for Frontier A* with Delayed Duplicate Detection
PDFOverconfidence or Paranoia? Search in Imperfect-Information Games
PDFDisco—Novo—GoGo: Integrating Local Search and Complete Search with Restarts
PDFProb-Maxn: Playing N-Player Games with Opponent Models
PDFAn Efficient Algorithm for Scatter Chart Labeling
PDFMonte Carlo Go Has a Way to Go
PDFDual Search in Permutation State Spaces
PDFDomain-Independent Structured Duplicate Detection
PDFA Competitive Texas Hold’em Poker Player via Automated Abstraction and Real-Time Equilibrium Computation
PDF
Uncertainty in AI
Incremental Least Squares Policy Iteration for POMDPs
PDFCompact, Convex Upper Bound Iteration for Approximate POMDP Planning
PDFA Characterization of Interventional Distributions in Semi-Markovian Causal Models
PDFPoint-based Dynamic Programming for DEC-POMDPs
PDFFocused Real-Time Dynamic Programming for MDPs: Squeezing More Out of a Heuristic
PDFIdentification of Joint Interventional Distributions in Recursive Semi-Markovian Causal Models
PDFTargeting Specific Distributions of Trajectories in MDPs
PDFBayesian Reputation Modeling in E-Marketplaces Sensitive to Subjectivity, Deception and Change
PDFMemory Intensive Branch-and-Bound Search for Graphical Models
PDFLearning Representation and Control in Continuous Markov Decision Processes
PDFFunctional Value Iteration for Decision-Theoretic Planning with General Utility Functions
PDFEfficient Active Fusion for Decision-Making via VOI Approximation
PDFPerforming Incremental Bayesian Inference by Dynamic Model Counting
PDFLearning Basis Functions in Hybrid Domains
PDFA Bayesian Network for Outbreak Detection and Prediction
PDFIdentifiability in Causal Bayesian Networks: A Sound and Complete Algorithm
PDFSolving MAP Exactly by Searching on Compiled Arithmetic Circuits
PDFAn Iterative Algorithm for Solving Constrained Decentralized Markov Decision Processes
PDFCUI Networks: A Graphical Representation for Conditional Utility Independence
PDFOn the Difficulty of Achieving Equilibrium in Interactive POMDPs
PDFMPE and Partial Inversion in Lifted Probabilistic Variable Elimination
PDFWhen Gossip is Good: Distributed Probabilistic Inference for Detection of Slow Network Intrusions
PDFAn Edge Deletion Semantics for Belief Propagation and its Practical Impact on Approximation Quality
PDFPreferences over Sets
PDFAn Anytime Scheme for Bounding Posterior Beliefs
PDF