AC-Logic Family for Smart Dust and IoT Applications.
Hamza SaleemLubna ShahAbdur RehmanHassan SaifRashad RamzanPublished in: SOCC (2023)
Keyphrases
- smart objects
- management system
- logic programming
- special case
- cloud computing
- multi valued
- automated reasoning
- big data
- modal logic
- arc consistency
- artificial intelligence
- classical logic
- computational properties
- defeasible logic
- predicate logic
- epistemic logic
- deontic logic
- asynchronous circuits
- sensor web
- case study