A modular semantics for higher-order declarative programming with constraints.
Rafael del Vado VírsedaFernando Pérez MorentePublished in: PPDP (2011)
Keyphrases
- higher order
- derivation rules
- stable model semantics
- logic programming
- declarative programming
- high order
- logic programs
- pairwise
- stable models
- databases
- constraint satisfaction
- expert systems
- artificial intelligence
- dynamic programming
- constraint programming
- relational algebra
- answer set programming
- machine learning