Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Benzmüller, Christoph (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Ricca, Francesco (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Parent, Xavier (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Roman, Dumitru (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Σειρά: Programming and Software Engineering ; 11092
• Θέματα: Computer programming.; Programming languages (Electronic computers).; Artificial intelligence.; Mathematical logic.; Computer logic.; Application software.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Artificial Intelligence.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Computer Appl. in Administrative Data Processing.

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second conference of a new series, joining the efforts of two existing conference series, namely "RuleML" (International...