Meta Programming with Answer Sets for Smart Spaces.
Tomi JanhunenVesa LuukkalaPublished in: RR (2012)
Keyphrases
- answer sets
- smart spaces
- logic programs
- answer set programming
- logic programming
- context aware
- ubiquitous computing
- programming language
- extended logic programs
- answer set programs
- pervasive computing
- mobile devices
- multi user
- normal logic programs
- rapid prototyping
- logic program updates
- development environment
- loop formulas
- stable models
- fixpoint
- sat solvers
- development process
- high level
- real time
- database