Integration of an Answer Set Engine to Smart-M3
暂无分享,去创建一个
[1] Jeff Z. Pan,et al. Resource Description Framework , 2020, Definitions.
[2] Frank van Harmelen,et al. Web Ontology Language , 2004 .
[3] Ian Oliver,et al. Smart Spaces for Ubiquitously Smart Buildings , 2009, 2009 Third International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies.
[4] James A. Hendler,et al. The Semantic Web" in Scientific American , 2001 .
[5] Ian Oliver,et al. Determining Information Signatures in Smart Spaces , 2009, 2009 IEEE International Conference on Semantic Computing.
[6] Ilkka Niemelä,et al. Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP , 1997, LPNMR.
[7] Wolfgang Faber,et al. Logic Programming and Nonmonotonic Reasoning , 2011, Lecture Notes in Computer Science.
[8] Alexander V. Smirnov,et al. Anonymous Agent Coordination in Smart Spaces: State-of-the-Art , 2009, NEW2AN.
[9] Ronald Brown,et al. Cross-Domain Interoperability: A Case Study , 2009, NEW2AN.
[10] Ora Lassila,et al. Programming Semantic Web applications : a synthesis of knowledge representation and semi-structured data , 2007 .
[11] Sergey Balandin,et al. Smart Spaces and Next Generation Wired/Wireless Networking , 2009, Lecture Notes in Computer Science.
[12] Michiel Hildebrand,et al. Prolog as the Fundament for Applications on the Semantic Web , 2007, ALPSWS.