NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover.
Description Logic Knowledge and Action Bases.
Parameterized Complexity Results for Exact Bayesian Network Structure Learning.
Undominated Groves Mechanisms.
Predicting Behavior in Unstructured Bargaining with a Probability Distribution.
Toward Supervised Anomaly Detection.
Integrative Semantic Dependency Parsing via Efficient Large-scale Feature Selection.
Efficient Computation of the Shapley Value for Game-Theoretic Network Centrality.
Generating Extractive Summaries of Scientific Paradigms.
A Hybrid LP-RPG Heuristic for Modelling Numeric Resource Flows in Planning.
Automatic Aggregation by Joint Modeling of Aspects and Values.
Incremental Clustering and Expansion for Faster Optimal Planning in Dec-POMDPs.
Optimal Rectangle Packing: An Absolute Placement Approach.
Probabilistic Planning for Continuous Dynamic Systems under Bounded Risk.
Qualitative Order of Magnitude Energy-Flow-Based Failure Modes and Effects Analysis.
Short and Long Supports for Constraint Propagation.
Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems.