Sign in
The ACTIVAGE Marketplace: Hybrid Logic- and Text-Based Discovery of Active and Healthy Ageing IoT Applications.
Thanos G. Stavropoulos
Dimitris Strantsalis
Spiros Nikolopoulos
Ioannis Kompatsiaris
Published in:
ISAmI (2020)
Keyphrases
</>
management system
modal logic
big data
predicate logic
logic programming
classical logic
image search
location information
hybrid learning
asynchronous circuits
genetic algorithm
multimedia
keywords
automated reasoning
computational properties