The Power of Verification for Greedy Mechanism Design.
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access.
MCTS-Minimax Hybrids with State Evaluations.
Lifted Relational Neural Networks: Efficient Learning of Latent Relational Structures.
Solving Large Problems with Heuristic Search: General-Purpose Parallel External-Memory Search.
An Exhaustive DPLL Algorithm for Model Counting.
ScottyActivity: Mixed Discrete-Continuous Planning with Convex Optimization.
Column Generation Algorithms for Constrained POMDPs.
Viewpoint: When Will AI Exceed Human Performance? Evidence from AI Experts.
Resource-bounded Norm Monitoring In Multi-agent Systems.
Verification of Distributed Epistemic Gossip Protocols.
Solving Multi-agent Path Finding on Strongly Biconnected Digraphs.
Viewpoint: Artificial Intelligence Government (Gov. 3.0): The UAE Leading Model.
Computing Hierarchical Finite State Controllers With Classical Planning.
A Review of Inference Algorithms for Hybrid Bayesian Networks.
Counterexample-Guided Cartesian Abstraction Refinement for Classical Planning.
Axiomatic Characterization of Game-Theoretic Centrality.
A COP Model For Graph-Constrained Coalition Formation.
Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems.
Nash Stable Outcomes in Fractional Hedonic Games: Existence, Efficiency and Computation.
Querying Log Data with Metric Temporal Logic.
Extending Classical Planning with State Constraints: Heuristics and Search for Optimal Planning.