Author:
Deryck Marjolein,Aerts Bram,Vennekens Joost
Publisher
Springer International Publishing
Reference8 articles.
1. OMG: Decision Model and Notation 1.2 (2018)
2. Aerts, B., Vennekens, J.: Application of logic-based methods to machine component design. In: Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018) (2018)
3. Lecture Notes in Computer Science;D Calvanese,2016
4. De Cat, B., Bogaerts, B., Bruynooghe, M., Janssens, G., Denecker, M.: Predicate logic as a modeling language: the IDP system, pp. 279–323 (2018)
5. Lecture Notes in Computer Science;N Eén,2004
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献