暂无分享,去创建一个
Michael Huth | Edward Griffor | Marcello Balduccini | Claire Vishik | David A. Wollman | Martin Burns
[1] Sylvain Kubler,et al. Enriching a Situation Awareness Framework for IoT with Knowledge Base and Reasoning Components , 2017, CONTEXT.
[2] Dimitrios A. Koutsomitropoulos,et al. ★A standards-based ontology and support for Big Data Analytics in the insurance industry , 2017, ICT Express.
[3] Christian Bonnet,et al. Cross-Domain Internet of Things Application Development: M3 Framework and Evaluation , 2015, 2015 3rd International Conference on Future Internet of Things and Cloud.
[4] Michael Gelfond,et al. Action Languages , 1998, Electron. Trans. Artif. Intell..
[5] Edmund M. Clarke,et al. dReal: An SMT Solver for Nonlinear Theories over the Reals , 2013, CADE.
[6] Michael Huth,et al. Satisfiability modulo theories for process systems engineering , 2018, Comput. Chem. Eng..
[7] Edmund M. Clarke,et al. Delta-Decidability over the Reals , 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.
[8] Alex M. Andrew,et al. Knowledge Representation, Reasoning and Declarative Problem Solving , 2004 .
[9] Victor W. Marek,et al. Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.
[10] Michael Gelfond,et al. Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.
[11] Marcello Balduccini,et al. Ontology-Driven Data Semantics Discovery for Cyber-Security , 2015, PADL.
[12] E. Balas. DISJUNCTIVE PROGRAMMING: CUTTING PLANES FROM LOGICAL CONDITIONS , 1975 .
[13] Edward Griffor,et al. Framework for cyber-physical systems: volume 3, timing annex , 2017 .
[14] Edward Griffor,et al. Framework for Cyber-Physical Systems: Volume 1, Overview , 2017 .
[15] Edward Griffor,et al. Framework for cyber-physical systems: volume 2, working group reports , 2017 .
[16] Dong Seong Kim,et al. Attack countermeasure trees (ACT): towards unifying the constructs of attack and defense trees , 2012, Secur. Commun. Networks.
[17] Michael Huth,et al. Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving , 2017, ArXiv.
[18] Chris Welty,et al. FOIS introduction: Ontology---towards a new synthesis , 2001, FOIS.