On the Generalization of Learned Constraints for ASP Solving in Temporal Domains.
Javier RomeroTorsten SchaubKlaus StrauchPublished in: RuleML+RR (2022)
Keyphrases
- temporal intervals
- temporal reasoning
- linear programming problems
- spatial and temporal
- efficient learning
- temporal constraints
- spatio temporal
- configuration problems
- constrained problems
- temporal dimension
- cross domain
- answer set programming
- linear constraints
- temporal information
- reducing the search space
- constraint satisfaction
- finite domain
- web applications
- constraint programming
- global constraints
- nonlinear programming
- application domains
- constraint problems
- space time
- real world
- constraint optimization
- inductive bias
- lagrange multipliers
- integer program
- temporal data