An Abductive Framework for Horn Knowledge Base Dynamics
FastMMD: Ensemble of Circular Discrepancy for Efficient Two-Sample Test
Two-Stage Metric Learning
A Study of Entanglement in a Categorical Framework of Natural Language
Approximate Policy Iteration Schemes: A Comparison
The Metrics Matter! On the Incompatibility of Different Flavors of Replanning
D numbers theory: a generalization of Dempster-Shafer evidence theory
Lifted Variable Elimination for Probabilistic Logic Programming
Rate of Convergence and Error Bounds for LSTD($\lambda$)
Understanding the Complexity of Lifted Inference and Asymmetric Weighted Model Counting
Adaptive Monte Carlo via Bandit Allocation
An Agent-based Modeling Framework for Sociotechnical Simulation of Water Distribution Contamination Events
Grounding Bound Founded Answer Set Programs
Bound Founded Answer Set Programming
Probabilistic Argumentation with Epistemic Extensions and Incomplete Information
Developing Corpus-based Translation Methods between Informal and Formal Mathematics: Project Description
ESmodels: An Epistemic Specification Solver
COCOpf: An Algorithm Portfolio Framework
Pattern Recognition in Narrative: Tracking Emotional Expression in Context
Anytime Computation of Cautious Consequences in Answer Set Programming