aaai 2006 论文列表
Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA.
|
Interpretation of Design Drawings by Analogy.
When Is Constrained Clustering Beneficial, and Why?.
Integrating Clustering and Classification for Estimating Process Variables in Materials Science.
Decision Making in Uncertain Real-World Domains Using DT-Golog.
How to Put the Pieces of AI Together Again.
Machine Life-Long Learning with csMTL Networks.
Evaluation of Solving Models for Conditional Constraint Satisfaction Problems.
Wavelet Statistics for Human Motion Classification.
Locally Optimal Algorithms and Solutions for Distributed Constraint Optimization.
Bayesian Network Based Reparameterization of Haar-like Feature.
PB-smodels a Pseudo-Boolean Solver.
Using an Ontology for Knowledge Acquisition.
A Decision-Theoretic Planner with Dynamic Compound Reconfiguration for Distributed Real-Time Applications.
A Negotiation Protocol for Agents with Nonlinear Utility Functions.
Explicit Passive Analysis in Electronic Catalogs.
Lookahead Pathology in Real-Time Path-Finding.
Slashpack: An Integrated Tool for Gathering and Managing Hypertext Data.
Semantic Tagging at the Sense Level.
A Multi Agent Approach to Vision Based Robot Scavenging.
Educational Robotics in Brooklyn.
Collective Construction Using Lego Robots.
A Semi-Autonomous Interactive Robot.
DIARC: A Testbed for Natural Human-Robot Interaction.
Towards a Higher Level of Human-Robot Interaction and Integration.
Object-Sorting-by-Color in a Variety of Lighting Conditions Using Neural Networks and Lego Mindstorms Robot.
Erdos: Cost-Effective Peripheral Robotics for AI Education.
Using snarpy to Connect a KR System to Pyro.
Introductory Computer Science with Robots.
The Robot Intelligence Kernel.
The Keystone Scavenger Team.
The Tactical Language and Culture Training System: A Demonstration.
Real-Time Interactive Learning in the NERO Video Game.
Demonstration of Music Plus One - A Real-Time System for Automatic Orchestral Accompaniment.
Using the Semantic Web to Integrate Ecoinformatics Resources.
Phoebus: A System for Extracting and Integrating Data from Unstructured and Ungrammatical Sources.
Factored MDP Elicitation and Plan Display.
Strategic Sales Management in an Autonomous Trading Agent for TAC SCM.
An End-to-End Supervised Target-Word Sense Disambiguation System.
SemNews: A Semantic News Framework.
LOCATE Intelligent Systems Demonstration: Adapting Help to the Cognitive Styles of Users.
ScriptEase - Motivational Behaviors for Interactive Characters in Computer Role-Playing Games.
An Interactive Constraint-Based Approach to Minesweeper.
SEMAPLAN: Combining Planning with Semantic Matching to Achieve Web Service Composition.
Action Selection in Bayesian Reinforcement Learning.
Closest Pairs Data Selection for Support Vector Machines.
Robust Autonomous Structure-based Color Learning on a Mobile Robot.
A Generalized Query Framework for Geospatial Reasoning.
Cross System Personalization by Learning Manifold Alignments.
Darshak - An Intelligent Cinematic Camera Planning System.
Privatizing Constraint Optimization.
Automatic Summarization of Conversational Multi-Party Speech.
Techniques for Generating Optimal, Robust Plans when Temporal Uncertainty is Present.
Learning Models of Macrobehavior in Complex Adaptive Systems.
Multi-Resolution Learning for Knowledge Transfer.
A Computational Model of Narrative Generation for Suspense.
A Value Theory of Meta-Learning Algorithms.
Inter-Task Action Correlation for Reinforcement Learning Tasks.
Expectation-Based Vision for Self-Localization on a Legged Robot.
Curiosity-Driven Exploration with Planning Trajectories.
Unsupervised Order-Preserving Regression Kernel for Sequence Analysis.
Learning of Agents with Limited Resources.
Algorithms for Control and Interaction of Large Formations of Robots.
Boot Camp for Cognitive Systems.
Population and Agent Based Models for Language Convergence.
How Many Different "John Smiths", and Who Are They?
Automatic Heuristic Construction for General Game Playing.
Memeta: A Framework for Multi-Relational Analytics on the Blogosphere.
Kernel Methods for Word Sense Disambiguation and Acronym Expansion.
KDMAS: A Multi-Agent System for Knowledge Discovery via Planning.
SemNews: A Semantic News Framework.
Further Investigations into Regular XORSAT.
Multiclass Support Vector Machines for Articulatory Feature Classification.
Robot Self-Recognition Using Conditional Probability-Based Contingency.
Exploring GnuGo's Evaluation Function with a SVM.
Making Autonomous Intersection Management Backwards-Compatible.
RL-CD: Dealing with Non-Stationarity in Reinforcement Learning.
Local Consistency in Junction Graphs for Constraint-Based Inference.
Can We Work around Numerical Methods? An Insight.
Performance Evaluation Methods for the Trading Agent Competition.
A Benchmark for Cooperative Learning Agents.
Biconnected Structure for Multi-Robot Systems.
Multiagent Coalition Formation for Computer-Supported Cooperative Learning.
AWDRAT: A Cognitive Middleware System for Information Survivability.
A Sequential Covering Evolutionary Algorithm for Expressive Music Performance.
Visual Explanation of Evidence with Additive Classifiers.
CM-Extractor: An Application for Automating Medical Quality Measures Abstraction in a Hospital Setting.
Ontology Based Semantic Modeling for Chinese Ancient Architectures.
Local Negotiation in Cellular Networks: From Theory to Practice.
Trip Router with Individualized Preferences (TRIP): Incorporating Personalization into Route Planning.
Hand Grip Pattern Recognition for Mobile User Interfaces.
Monitoring Food Safety by Detecting Patterns in Consumer Complaints.
Heuristic Search and Information Visualization Methods for School Redistricting.
Building Explainable Artificial Intelligence Systems.
MedEthEx: A Prototype Medical Ethics Advisor.
Design and Implementation of the CALO Query Manager.
CPM: Context-Aware Power Management in WLANs.
Expressive Commerce and Its Application to Sourcing.
Machine Translation for Manufacturing: A Case Study at Ford Motor Company.
Constraint-Based Random Stimuli Generation for Hardware Verification.
TPBOSCourier: A Transportation Procurement System (for the Procurement of Courier Services).
Predicting Electricity Distribution Feeder Failures Using Machine Learning Susceptibility Analysis.
Case-Based Reasoning for General Electric Appliance Customer Support.
A Breadth-First Approach to Memory-Efficient Graph Search.
Responsive Information Architect: Enabling Context-Sensitive Information Seeking.
Automatic Wrapper Generation Using Tree Matching and Partial Tree Alignment.
An Introduction to Nonlinear Dimensionality Reduction by Maximum Variance Unfolding.
Explanation-Based Learning for Image Understanding.
Laughing with HAHAcronym, a Computational Humor System.
Real-Time Evolution of Neural Networks in the NERO Video Game.
Optimizing Similarity Assessment in Case-Based Reasoning.
AI Support for Building Cognitive Models.
The Synthy Approach for End to End Web Services Composition: Planning with Decoupled Causal and Resource Reasoning.
Supporting Queries with Imprecise Constraints.
The Role of Context in Head Gesture Recognition.
Beyond Bags of Words: Modeling Implicit User Preferences in Information Retrieval.
A Look at Parsing and Its Applications.
Controlled Search over Compact State Representations, in Nondeterministic Planning Domains and Beyond.
Activity-Centric Email: A Machine Learning Approach.
Lessons on Applying Automated Recommender Systems to Information-Seeking Tasks.
The Power of Sequential Single-Item Auctions for Agent Coordination.
Opinion Extraction and Summarization on the Web.
Large Scale Knowledge Base Systems: An Empirical Evaluation Perspective.
Towards a Validated Model of "Emotional Intelligence".
TempoExpress: An Expressivity-Preserving Musical Tempo Transformation System.
Embedding Heterogeneous Data Using Statistical Models.
Overview of AutoFeed: An Unsupervised Learning System for Generating Webfeeds.
When a Decision Tree Learner Has Plenty of Time.
Traffic Intersections of the Future.
Constraint Symmetry and Solution Symmetry.
Handling Self-Interest in Groups, with Minimal Cost.
B-ROC Curves for the Assessment of Classifiers over Imbalanced Data Sets.
Progress in Textual Case-Based Reasoning: Predicting the Outcome of Legal Cases from Text.
Preference Elicitation and Generalized Additive Utility.
Subjective Mapping.
Acquiring Constraint Networks Using a SAT-based Version Space Algorithm.
Maintaining Cooperation in Noisy Environments.
Building Semantic Mappings from Databases to Ontologies.
Methods for Empirical Game-Theoretic Analysis.
Knowledge Infusion.
Virtual Humans.
Does the Turing Test Demonstrate Intelligence or Not?.
Turing's Dream and the Knowledge Challenge.
From the Programmer's Apprentice to Human-Robot Interaction: Thirty Years of Research on Human-Computer Collaboration.
Towards Chemical Universal Turing Machines.
Deconstructing Planning as Satisfiability.
Constraints: The Ties that Bind.
Machine Reading.
Integrated AI in Space: The Autonomous Sciencecraft on Earth Observing One.
Multimodal Cognitive Architecture: Making Perception More Central to Intelligent Behavior.
Integrating Joint Intention Theory, Belief Reasoning, and Communicative Action for Generating Team-Oriented Dialogue.
Deeper Natural Language Processing for Evaluating Student Answers in Intelligent Tutoring Systems.
TacTex-05: A Champion Supply Chain Management Agent.
Intuitive linguistic Joint Object Reference in Human-Robot Interaction: Human Spatial Reference Systems and Function-Based Categorization for Symbol Grounding.
Walk the Talk: Connecting Language, Knowledge, and Action in Route Instructions.
A Unified Cognitive Architecture for Physical Agents.
Know Thine Enemy: A Champion RoboCup Coach Agent.
Automatic Heuristic Construction in a Complete General Game Player.
Self-Supervised Acquisition of Vowels in American English.
Perspective Taking: An Organizing Principle for Learning in Human-Robot Interaction.
QUICR-Learning for Multi-Agent Coordination.
Improve Web Search Using Image Snippets.
Trust Representation and Aggregation in a Distributed Agent System.
WikiRelate! Computing Semantic Relatedness Using Wikipedia.
Inferring User's Preferences using Ontologies.
Minimally Invasive Randomization fro Collecting Unbiased Preferences from Clickthrough Logs.
Organizing and Searching the World Wide Web of Facts - Step One: The One-Million Fact Extraction Challenge.
An Investigation into the Feasibility of the Semantic Web.
Model-Based Collaborative Filtering as a Defense against Profile Injection Attacks.
Spinning Multiple Social Networks for Semantic Web.
Bookmark Hierarchies and Collaborative Recommendation.
Predicting Task-Specific Webpages for Revisiting.
Automatically Labeling the Inputs and Outputs of Web Services.
Novel Relationship Discovery Using Opinions Mined from the Web.
Detecting Spam Blogs: A Machine Learning Approach.
Social Network-based Trust in Prioritized Default Logic.
Using Semantic Web Technologies for Policy Management on the Web.
Mining Comparative Sentences and Relations.
OntoSearch: A Full-Text Search Engine for the Semantic Web.
Deciding Semantic Matching of Stateless Services.
Table Extraction Using Spatial Reasoning on the CSS2 Visual Box Model.
Mixed Collaborative and Content-Based Filtering with User-Contributed Semantic Features.
Overcoming the Brittleness Bottleneck using Wikipedia: Enhancing Text Categorization with Encyclopedic Knowledge.
Inconsistencies, Negations and Changes in Ontologies.
Towards Modeling Threaded Discussions using Induced Ontology Knowledge.
Mining and Re-ranking for Answering Biographical Queries on the Web.
Inexact Matching of Ontology Graphs Using Expectation-Maximization.
On the Update of Description Logic Ontologies at the Instance Level.
Comparative Experiments on Sentiment Classification for Online Product Reviews.
Using Semantics to Identify Web Objects.
A Platform to Evaluate the Technology for Service Discovery in the Semantic Web.
Compact, Convex Upper Bound Iteration for Approximate POMDP Planning.
A Characterization of Interventional Distributions in Semi-Markovian Causal Models.
Point-based Dynamic Programming for DEC-POMDPs.
Focused Real-Time Dynamic Programming for MDPs: Squeezing More Out of a Heuristic.
Identification of Joint Interventional Distributions in Recursive Semi-Markovian Causal Models.
Targeting Specific Distributions of Trajectories in MDPs.
Bayesian Reputation Modeling in E-Marketplaces Sensitive to Subjectivity, Deception and Change.
Memory Intensive Branch-and-Bound Search for Graphical Models.
Learning Representation and Control in Continuous Markov Decision Processes.
Functional Value Iteration for Decision-Theoretic Planning with General Utility Functions.
Efficient Active Fusion for Decision-Making via VOI Approximation.
Performing Incremental Bayesian Inference by Dynamic Model Counting.
Incremental Least Squares Policy Iteration for POMDPs.
Learning Basis Functions in Hybrid Domains.
A Bayesian Network for Outbreak Detection and Prediction.
Identifiability in Causal Bayesian Networks: A Sound and Complete Algorithm.
Solving MAP Exactly by Searching on Compiled Arithmetic Circuits.
CUI Networks: A Graphical Representation for Conditional Utility Independence.
On the Difficulty of Achieving Equilibrium in Interactive POMDPs.
MPE and Partial Inversion in Lifted Probabilistic Variable Elimination.
When Gossip is Good: Distributed Probabilistic Inference for Detection of Slow Network Intrusions.
An Edge Deletion Semantics for Belief Propagation and its Practical Impact on Approximation Quality.
Preferences over Sets.
An Anytime Scheme for Bounding Posterior Beliefs.
An Iterative Algorithm for Solving Constrained Decentralized Markov Decision Processes.
Domain-Independent Structured Duplicate Detection.
Dual Search in Permutation State Spaces.
Monte Carlo Go Has a Way to Go.
An Efficient Algorithm for Scatter Chart Labeling.
Prob-Maxn: Playing N-Player Games with Opponent Models.
Disco - Novo - GoGo: Integrating Local Search and Complete Search with Restarts.
Overconfidence or Paranoia? Search in Imperfect-Information Games.
Sequential and Parallel Algorithms for Frontier A* with Delayed Duplicate Detection.
DD* Lite: Efficient Incremental Search with State Dominance.
RankCut - A Domain Independent Forward Pruning Method for Games.
Properties of Forward Pruning in Game-Tree Search.
Estimating Search Tree Size.
A Competitive Texas Hold'em Poker Player via Automated Abstraction and Real-Time Equilibrium Computation.
Reinforcement Learning with Human Teachers: Evidence of Feedback and Guidance with Implications for Learning Performance.
Running the Table: An AI for Computer Billiards.
A Manifold Regularization Approach to Calibration Reduction for Sensor-Network Based Tracking.
Winning the DARPA Grand Challenge with an AI Robot.
Probabilistic Self-Localization for Sensor Networks.
Diagnosis of Multi-Robot Coordination Failures Using Distributed CSP Algorithms.
Bayesian Calibration for Monte Carlo Localization.
Object Boundary Detection in Images using a Semantic Ontology.
Exploiting Spatial and Temporal Flexibility for Plan Execution for Hybrid, Under-actuated Robots.
Efficient Triangulation-Based Pathfinding.
Motion-Based Autonomous Grounding: Inferring External World Properties from Encoded Internal Sensory States Alone.
Contingent Planning with Goal Preferences.
Learning Partially Observable Action Models: Efficient Algorithms.
Learning Partially Observable Action Schemas.
Sensor-Based Understanding of Daily Life via Large-Scale Use of Common Sense.
Compiling Uncertainty Away: Solving Conformant Planning Problems using a Classical Planner (Sometimes).
Approximate Compilation for Embedded Model-based Reasoning.
Reasoning about Partially Observed Actions.
Probabilistic Temporal Planning with Uncertain Durations.
Optimal Scheduling of Contract Algorithms for Anytime Problems.
Reasoning about Discrete Event Sources.
PPCP: Efficient Probabilistic Planning with Clear Preferences in Partially-Known Environments.
A Modular Action Description Language.
Tractable Classes of Metric Temporal Problems with Domain Rules.
A Causal Analysis Method for Concurrent Hybrid Automata.
Exploration of the Robustness of Plans.
A Two-Step Hierarchical Algorithm for Model-Based Diagnosis.
Cost-Optimal External Planning.
Adaptive Sampling Based Large-Scale Stochastic Resource Control.
Factored Planning: How, When, and When Not.
Robust Execution on Contingent, Temporally Flexible Plans.
Fast Hierarchical Goal Schema Recognition.
Planning with First-Order Temporally Extended Goals using Heuristic Search.
Learning Noun-Modifier Semantic Relations with Corpus-based and WordNet-based Features.
Corpus-based and Knowledge-based Measures of Text Semantic Similarity.
Script and Language Identification in Degraded and Distorted Document Images.
Proposing a New Term Weighting Scheme for Text Categorization.
Negation, Contrast and Contradiction in Text Processing.
Societal Grounding Is Essential to Meaningful Language Use.
Robust Mechanisms for Information Elicitation.
Mechanisms for Partial Information Elicitation: The Truth, but Not the Whole Truth.
A Computational Model of Logic-Based Negotiation.
Contract Enactment in Virtual Organizations: A Commitment-Based Approach.
Simultaneous Team Assignment and Behavior Recognition from Spatio-Temporal Agent Traces.
Behaviosites: Manipulation of Multiagent System Behavior through Parasitic Infection.
ODPOP: An Algorithm for Open/Distributed Constraint Optimization.
A Compact Representation Scheme for Coalitional Games in Open Anonymous Environments.
Strong Mediated Equilibrium.
Multiparty Proactive Communication: A Perspective for Evolving Shared Mental Models.
A Polynomial-Time Algorithm for Action Graph Games.
Regret-based Incremental Partial Revelation Mechanisms.
Distributed Interactive Learning in Multi-Agent Systems.
A New Approach to Distributed Task Assignment using Lagrangian Decomposition and Distributed Constraint Satisfaction.
From Centralized to Distributed Selective Overhearing.
Analysis of Privacy Loss in Distributed Constraint Optimization.
The Complexity of Bribery in Elections.
Overlapping Coalition Formation for Efficient Data Fusion in Multi-Sensor Networks.
Nonexistence of Voting Rules That Are Usually Hard to Manipulate.
Improved Bounds for Computing Kemeny Rankings.
Computing Slater Rankings Using Similarities among Candidates.
On Strictly Competitive Multi-Player Games.
Algorithms for Rationalizability and CURB Sets.
Impersonation-Based Mechanisms.
Quantifying Incentive Compatibility of Ranking Systems.
Keeping in Touch: Maintaining Biconnected Structure by Homogeneous Robots.
Optimal Unbiased Estimators for Evaluating Agent Performance.
On Multi-Class Cost-Sensitive Learning.
A Direct Evolutionary Feature Extraction Algorithm for Classifying High Dimensional Data.
A New Approach to Estimating the Expected First Hitting Time of Evolutionary Algorithms.
Hard Constrained Semi-Markov Decision Processes.
An Efficient Algorithm for Local Distance Metric Learning.
Robust Support Vector Machine Training via Convex Outlier Ablation.
Decision Tree Methods for Finding Reusable MDP Homomorphisms.
Mixtures of Predictive Linear Gaussian Models for Nonlinear, Stochastic Dynamical Systems.
Sample-Efficient Evolutionary Function Approximation for Reinforcement Learning.
Conflict Resolution and a Framework for Collaborative Interactive Evolution.
Cross-Domain Knowledge Transfer Using Structured Representations.
A Fast Decision Tree Learning Algorithm.
Using Homomorphisms to Transfer Options across Continuous Reinforcement Learning Domains.
Memory-Efficient Inference in Relational Domains.
Cost-Sensitive Test Strategies.
Thresholding for Making Classifiers Cost-sensitive.
Identification and Evaluation of Weak Community Structures in Networks.
Boosting Expert Ensembles for Rapid Concept Recall.
Sound and Efficient Inference with Probabilistic and Deterministic Dependencies.
Gradient Boosting for Sequence Alignment.
Strategy Variations in Analogical Problem Solving.
Learning Blocking Schemes for Record Linkage.
Multi-Conditional Learning: Generative/Discriminative Training for Clustering and Classification.
A Simple and Effective Method for Incorporating Advice into Kernel Methods.
Semi-supervised Multi-label Learning by Constrained Non-negative Matrix Factorization.
Value-Function-Based Transfer for Reinforcement Learning Using Structure Mapping.
Minimum Description Length Principle: Generators Are Preferable to Closed Patterns.
Efficient L1 Regularized Logistic Regression.
Quantifying the Impact of Learning Algorithm Parameter Tuning.
kFOIL: Learning Simple Relational Kernels.
Learning Systems of Concepts with an Infinite Relational Model.
Improving Approximate Value Iteration Using Memories and Predictive State Representations.
Representing Systems with Hidden State.
Active Learning with Near Misses.
Incremental Least-Squares Temporal Difference Learning.
Anytime Induction of Decision Trees: An Iterative Improvement Approach.
Nonnegative Matrix Factorization and Probabilistic Latent Semantic Indexing: Equivalence Chi-Square Statistic, and a Hybrid Method.
Identifying and Generating Easy Sets of Constraints for Clustering.
Tensor Embedding Methods.
On Combining Multiple Classifiers Using an Evidential Approach.
On the Difficulty of Modular Reinforcement Learning for Real-World Partial Programming.
Clustering by Exceptions.
A Unified Knowledge Based Approach for Sense Disambiguation and Semantic Role Labeling.
On the Complexity of Linking Deductive and Abstract Argument Systems.
Classification Spanning Private Databases.
Reconciling Situation Calculus and Fluent Calculus.
Merging Stratified Knowledge Bases under Constraints.
Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics.
Finding Maximally Satisfiable Terminologies for the Description Logic ALC.
Towards an Axiom System for Default Logic.
Belief Change in the Context of Fallible Actions and Observations.
Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning.
Elementary Sets of Logic Programs.
Forgetting and Conflict Resolving in Disjunctive Logic Programming.
Goal Specification, Non-Determinism and Quantifying over Policies.
Compilation of Query-Rewriting Problems into Tractable Fragments of Propositional Logic.
Explaining Qualitative Decision under Uncertainty by Argumentation.
Model-Checking Memory Requirements of Resource-Bounded Reasoners.
Evaluating Preference-based Search Tools: A Tale of Two Approaches.
From Pigeons to Humans: Grounding Relational Learning in Concrete Examples.
Salience in Orientation-Filter Response Measured as Suspicious Coincidence in Natural Images.
Probabilistic Goal Recognition in Interactive Narrative Environments.
Extracting Knowledge about Users' Activities from Raw Workstation Contents.
Using Anticipation to Create Believable Behaviour.
Modeling Human Decision Making in Cliff-Edge Environments.
A Dynamic Mixture Model to Detect Student Motivation and Proficiency.
Evaluating Critiquing-based Recommender Agents.
Classifying Learner Engagement through Integration of Multiple Data Sources.
Solving QBF by Combining Conjunctive and Disjunctive Normal Forms.
An Asymptotically Optimal Algorithm for the Max k-Armed Bandit Problem.
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms.
A Quadratic Propagator for the Inter-Distance Constraint.
An Efficient Way of Breaking Value Symmetries.
Temporal Preference Optimization as Weighted Constraint Satisfaction.
Efficient Haplotype Inference with Boolean Satisfiability.
Local-Search Techniques for Boolean Combinations of Pseudo-Boolean Constraints.
Fast SAT-based Answer Set Solver.
Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT.
Weighted Constraint Satisfaction with Set Variables.
Simple Randomized Algorithms for Tractable Row and Tree Convex Constraints.
New Inference Rules for Efficient Max-SAT Solving.
A BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration.
Model Counting: A New Strategy for Obtaining Good Bounds.
Length-Lex Ordering for Set CSPs.
On the Use of Partially Ordered Decision Graphs in Knowledge Compilation and Quantified Boolean Formulae.
DNNF-based Belief State Estimation.
Extending Dynamic Backtracking to Solve Weighted Conditional CSPs.
Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP.
Abstract Branching for Quantified Formulas.
The Impact of Balancing on Problem Hardness in a Highly Structured Domain.
Unifying Logical and Statistical AI.
