RuleML + RR 2019, Date: 2019/09/16 - 2019/09/19, Location: Bolzano, Italy
Publication date:
2019-09-19
Volume:
11784
Pages:
171 -
179
ISSN:
978-3-030-31094-3
Publisher:
Springer
Springer Lecture Notes in Computer Science
Author:
Deryck, Marjolein
Aerts, Bram ; Vennekens, Joost ; Fodor, P ; Montali, M ; Calvanese, D ; Roman, D
Keywords:
Science & Technology, Technology, Computer Science, Artificial Intelligence, Computer Science, Software Engineering, Computer Science, Theory & Methods, Logic, Computer Science, Science & Technology - Other Topics, Decision Model and Notation, First Order Logic, Constraint modelling, C24/17/047#54270818