Algorithms for solution inference based on unified logical control models
From MaRDI portal
Publication:2215283
DOI10.1007/s10559-020-00234-9zbMath1464.68387MaRDI QIDQ2215283
Publication date: 11 December 2020
Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10559-020-00234-9
90C27: Combinatorial optimization
93C83: Control/observation systems involving computers (process control, etc.)
68T30: Knowledge representation
68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
Related Items
Uses Software
Cites Work