Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP
- 14 February 2021
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic ProgrammingTheory and Practice of Logic Programming, 2018
- Ontology-based Reasoning about the Trustworthiness of Cyber-physical SystemsPublished by Institution of Engineering and Technology (IET) ,2018
- Constraint answer set solver EZCSP and why integration schemas matterTheory and Practice of Logic Programming, 2017
- Framework for cyber-physical systems: volume 1, overviewPublished by National Institute of Standards and Technology (NIST) ,2017
- Probabilistic reasoning with answer setsTheory and Practice of Logic Programming, 2009
- Answer Set Programming for the Semantic WebPublished by Springer Science and Business Media LLC ,2007
- Knowledge Representation, Reasoning and Declarative Problem SolvingPublished by Cambridge University Press (CUP) ,2003
- Stable Models and an Alternative Logic Programming ParadigmPublished by Springer Science and Business Media LLC ,1999
- Reasoning with prioritized defaultsPublished by Springer Science and Business Media LLC ,1998
- DISJUNCTIVE PROGRAMMING: CUTTING PLANES FROM LOGICAL CONDITIONSPublished by Elsevier BV ,1975