Action Theories over Generalized Databases with Equality Constraints (Extended Abstract).
Fabio PatriziStavros VassosPublished in: KR (2014)
Keyphrases
- extended abstract
- equality constraints
- action theories
- situation calculus
- quadratic programming problems
- linear constraints
- decomposition algorithm
- nonlinear programming
- reasoning about actions
- relational databases
- constrained optimization problems
- convex quadratic optimization
- machine learning
- optimal solution
- sensitivity analysis
- initial state