A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living.
Alessandra MileoDavide MericoRoberto BisianiPublished in: ICLP (2008)
Keyphrases
- logic programming
- assisted living
- smart home
- remote monitoring
- logic programs
- monitoring system
- activity recognition
- nonmonotonic reasoning
- logic programming language
- answer set programming
- deductive databases
- computational logic
- knowledge representation
- programming language
- knowledge base
- hardware and software
- ambient intelligence
- control system
- real time
- context aware
- intelligent systems
- human activities
- answer sets
- default logic
- stable models
- general purpose
- inductive logic programming
- reasoning about actions
- background knowledge
- constraint logic programming
- multi agent