共 50 条
- [1] Spatiotemporal reasoning for smart homes DESIGNING SMART HOMES: ROLE OF ARTIFICIAL INTELLIGENCE, 2006, 4008 : 16 - 34
- [2] Distributed Collaborative Control of Multiple Smart Homes via Consensus ADMM 2021 IEEE INTERNATIONAL FUTURE ENERGY ELECTRONICS CONFERENCE (IFEEC), 2021,
- [3] A science of reasoning (extended abstract) AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1998, 1397 : 10 - 17
- [4] Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning (Extended Abstract) ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, 364
- [5] Distributed prograph: Extended abstract PARALLEL SYMBOLIC LANGUAGES AND SYSTEMS, 1996, 1068 : 128 - 133
- [6] Specifying a collaborative editor (Extended abstract) FORMAL METHODS PACIFIC '97, 1997, : 311 - 312
- [7] Causal reasoning for alert generation in smart homes DESIGNING SMART HOMES: ROLE OF ARTIFICIAL INTELLIGENCE, 2006, 4008 : 57 - 70
- [8] SMART: Structured memory for abstract reasoning and thinking AI 2007: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4830 : 781 - 785
- [9] Context Reasoning for Smart Homes Using Case-Based Reasoning 18TH IEEE INTERNATIONAL SYMPOSIUM ON CONSUMER ELECTRONICS (ISCE 2014), 2014,
- [10] Organized distributed systems (extended abstract) COOPERATIVE INFORMATION SYSTEMS, PROCEEDINGS, 2000, 1901 : 126 - 131