Login / Signup
Meta Programming with Answer Sets for Smart Spaces.
Tomi Janhunen
Vesa Luukkala
Published 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