Search by keyword: "tiles logic"
Verification of Intelligent Interface Properties in the Tiles Logic
| 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 | |