Technical Papers
Constraint Satisfaction and Satisfiability
A Quadratic Propagator for the Inter-Distance Constraint
PDFAnswer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms
PDFAn Asymptotically Optimal Algorithm for the Max k-Armed Bandit Problem
PDFSolving QBF by Combining Conjunctive and Disjunctive Normal Forms
PDFThe Impact of Balancing on Problem Hardness in a Highly Structured Domain
PDFAbstract Branching for Quantified Formulas
PDFExploiting Tree Decomposition and Soft Local Consistency In Weighted CSP
PDFExtending Dynamic Backtracking to Solve Weighted Conditional CSPs
PDFDNNF-based Belief State Estimation
PDFOn the Use of Partially Ordered Decision Graphs in Knowledge Compilation and Quantified Boolean Formulae
PDFLength-Lex Ordering for Set CSPs
PDFModel Counting: A New Strategy for Obtaining Good Bounds
PDFA BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration
PDFNew Inference Rules for Efficient Max-SAT Solving
PDFSimple Randomized Algorithms for Tractable Row and Tree Convex Constraints
PDFWeighted Constraint Satisfaction with Set Variables
PDFDetecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT
PDFFast SAT-based Answer Set Solver
PDFLocal-Search Techniques for Boolean Combinations of Pseudo-Boolean Constraints
PDFEfficient Haplotype Inference with Boolean Satisfiability
PDFTemporal Preference Optimization as Weighted Constraint Satisfaction
PDFAn Efficient Way of Breaking Value Symmetries
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
A 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
PDFOptimal Unbiased Estimators for Evaluating Agent Performance
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
PDFLearning Blocking Schemes for Record Linkage
PDFStrategy Variations in Analogical Problem Solving
PDFGradient Boosting for Sequence Alignment
PDFSound and Efficient Inference with Probabilistic and Deterministic Dependencies
PDFBoosting Expert Ensembles for Rapid Concept Recall
PDFIdentification and Evaluation of Weak Community Structures in Networks
PDFThresholding for Making Classifiers Cost-sensitive
PDFCost-Sensitive Test Strategies
PDFMemory-Efficient Inference in Relational Domains
PDFUsing Homomorphisms to Transfer Options across Continuous Reinforcement Learning Domains
PDFClustering by Exceptions
PDFOn the Difficulty of Modular Reinforcement Learning for Real-World Partial Programming
PDFOn Combining Multiple Classifiers Using an Evidential Approach
PDFTensor Embedding Methods
PDFIdentifying and Generating Easy Sets of Constraints for Clustering
PDFNonnegative Matrix Factorization and Probabilistic Latent Semantic Indexing: Equivalence Chi-Square Statistic, and a Hybrid Method
PDFAnytime Induction of Decision Trees: An Iterative Improvement Approach
PDFIncremental Least-Squares Temporal Difference Learning
PDFActive Learning with Near Misses
PDFRepresenting Systems with Hidden State
PDF
Multiagent Systems
Nonexistence of Voting Rules That Are Usually Hard to Manipulate
PDFOverlapping Coalition Formation for Efficient Data Fusion in Multi-Sensor Networks
PDFThe Complexity of Bribery in Elections
PDFAnalysis of Privacy Loss in Distributed Constraint Optimization
PDFFrom Centralized to Distributed Selective Overhearing
PDFA New Approach to Distributed Task Assignment using Lagrangian Decomposition and Distributed Constraint Satisfaction
PDFDistributed Interactive Learning in Multi-Agent Systems
PDFRegret-based Incremental Partial Revelation Mechanisms
PDFA Polynomial-Time Algorithm for Action Graph Games
PDFMultiparty Proactive Communication: A Perspective for Evolving Shared Mental Models
PDFStrong Mediated Equilibrium
PDFA Compact Representation Scheme for Coalitional Games in Open Anonymous Environments
PDFODPOP: An Algorithm for Open/Distributed Constraint Optimization
PDFBehaviosites: Manipulation of Multiagent System Behavior through Parasitic Infection
PDFSimultaneous Team Assignment and Behavior Recognition from Spatio-Temporal Agent Traces
PDFContract Enactment in Virtual Organizations: A Commitment-Based Approach
PDFA Computational Model of Logic-Based Negotiation
PDFMechanisms for Partial Information Elicitation: The Truth, but Not the Whole Truth
PDFRobust Mechanisms for Information Elicitation
PDFComputing Slater Rankings Using Similarities among Candidates
PDFImproved Bounds for Computing Kemeny Rankings
PDFKeeping in Touch: Maintaining Biconnected Structure by Homogeneous Robots
PDFQuantifying Incentive Compatibility of Ranking Systems
PDFImpersonation-Based Mechanisms
PDFAlgorithms for Rationalizability and CURB Sets
PDFOn Strictly Competitive Multi-Player Games
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
Probabilistic Temporal Planning with Uncertain Durations
PDFReasoning about Partially Observed Actions
PDFApproximate Compilation for Embedded Model-based Reasoning
PDFCompiling Uncertainty Away: Solving Conformant Planning Problems using a Classical Planner (Sometimes)
PDFSensor-Based Understanding of Daily Life via Large-Scale Use of Common Sense
PDFLearning Partially Observable Action Schemas
PDFLearning Partially Observable Action Models: Efficient Algorithms
PDFContingent Planning with Goal Preferences
PDFPlanning with First-Order Temporally Extended Goals using Heuristic Search
PDFFast Hierarchical Goal Schema Recognition
PDFRobust Execution on Contingent, Temporally Flexible Plans
PDFFactored Planning: How, When, and When Not
PDFAdaptive Sampling Based Large-Scale Stochastic Resource Control
PDFCost-Optimal External Planning
PDFA Two-Step Hierarchical Algorithm for Model-Based Diagnosis
PDFExploration of the Robustness of Plans
PDFA Causal Analysis Method for Concurrent Hybrid Automata
PDFTractable Classes of Metric Temporal Problems with Domain Rules
PDFA Modular Action Description Language
PDFPPCP: Efficient Probabilistic Planning with Clear Preferences in Partially-Known Environments
PDFReasoning about Discrete Event Sources
PDFOptimal Scheduling of Contract Algorithms for Anytime Problems
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
Solving MAP Exactly by Searching on Compiled Arithmetic Circuits
PDFIdentifiability in Causal Bayesian Networks: A Sound and Complete Algorithm
PDFA Bayesian Network for Outbreak Detection and Prediction
PDFLearning Basis Functions in Hybrid Domains
PDFIncremental Least Squares Policy Iteration for POMDPs
PDFPerforming Incremental Bayesian Inference by Dynamic Model Counting
PDFEfficient Active Fusion for Decision-Making via VOI Approximation
PDFFunctional Value Iteration for Decision-Theoretic Planning with General Utility Functions
PDFLearning Representation and Control in Continuous Markov Decision Processes
PDFMemory Intensive Branch-and-Bound Search for Graphical Models
PDFBayesian Reputation Modeling in E-Marketplaces Sensitive to Subjectivity, Deception and Change
PDFTargeting Specific Distributions of Trajectories in MDPs
PDFIdentification of Joint Interventional Distributions in Recursive Semi-Markovian Causal Models
PDFFocused Real-Time Dynamic Programming for MDPs: Squeezing More Out of a Heuristic
PDFPoint-based Dynamic Programming for DEC-POMDPs
PDFA Characterization of Interventional Distributions in Semi-Markovian Causal Models
PDFCompact, Convex Upper Bound Iteration for Approximate POMDP Planning
PDFAn Iterative Algorithm for Solving Constrained Decentralized Markov Decision Processes
PDFAn Anytime Scheme for Bounding Posterior Beliefs
PDFPreferences over Sets
PDFAn Edge Deletion Semantics for Belief Propagation and its Practical Impact on Approximation Quality
PDFWhen Gossip is Good: Distributed Probabilistic Inference for Detection of Slow Network Intrusions
PDFMPE and Partial Inversion in Lifted Probabilistic Variable Elimination
PDFOn the Difficulty of Achieving Equilibrium in Interactive POMDPs
PDFCUI Networks: A Graphical Representation for Conditional Utility Independence
PDF