Search by keyword: modal logic | Herald of the Bauman Moscow State Technical University. Series Instrument Engineering

Verification of Knowledge Obtained in the Study of Business Process Models

Authors: Devyatkov V.V., Kadyrbaeva A.R.	Published: 20.12.2020
Published in issue: #4(133)/2020
DOI: 10.18698/0236-3933-2020-4-99-113
Category: Informatics, Computer Engineering and Control \| Chapter: System Analysis, Control, and Information Processing
Keywords: knowledge verification, test assignment, modal logic, logic programming language Prolog

Authors: Devyatkov V.V.	Published: 15.06.2016
Published in issue: #3(108)/2016
DOI: 10.18698/0236-3933-2016-3-65-87
Category: Informatics, Computer Engineering and Control \| Chapter: System Analysis, Control, and Information Processing
Keywords: intelligent interface properties, tiles logic, modal logic, verification of properties, intelligent agents, logic programming language Visual Prolog

Authors: Devyatkov V.V., Myo Than Tun	Published: 08.02.2015
Published in issue: #1(100)/2015
DOI: 10.18698/0236-3933-2015-1-100-110
Category: Informatics, Computer Engineering and Control \| Chapter: Computing Systems and their Elements
Keywords: firewall, process, modal logic, logic programming language PROLOG