TY - GEN DO - 10.1007/978-3-319-99906-7 DO - doi T1 - Rules and reasoning :second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings / AU - Benzmüller, Christoph, AU - Ricca, Francesco, AU - Parent, Xavier, AU - Roman, Dumitru VL - 11092 CN - QA76.9.L63 ID - 845789 KW - Computer logic KW - Computer programming KW - Software engineering KW - Logic, Symbolic and mathematical KW - Artificial intelligence SN - 9783319999067 SN - 3319999060 TI - Rules and reasoning :second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings / LK - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-99906-7 UR - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-99906-7 ER -