The formal logic approach for checking the observability of a specification language on DES functioning.
Artem DavydovAleksandr LarionovNadezhda V. NagulPublished in: MIPRO (2018)
Keyphrases
- specification language
- formal logic
- formal specification
- predicate logic
- programming language
- formal methods
- description language
- logic programming
- design theory
- artificial intelligence
- general purpose
- description logics
- data model
- state space
- software architecture
- lessons learned
- knowledge representation
- computer science
- multi agent systems
- knowledge base
- information systems
- machine learning