Logic-based Reasoning Support for SBVR
From MaRDI portal
Publication:2841963
DOI10.3233/FI-2013-848zbMath1268.68161MaRDI QIDQ2841963
Alessandro Mosca, Enrico Franconi, Dmitry Solomakhin
Publication date: 30 July 2013
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Management decision making, including multiple objectives (90B50) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)