Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings /
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2017, held in London, UK, during July 2017. This is the first conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Sympo...
| Corporate Author: | SpringerLink (Online service) |
|---|---|
| Other Authors: | Costantini, Stefania (Editor), Franconi, Enrico (Editor), Van Woensel, William (Editor), Kontchakov, Roman (Editor), Sadri, Fariba (Editor), Roman, Dumitru (Editor) |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
| Series: | Lecture Notes in Computer Science,
10364 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Similar Items
-
Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings /
Published: (2017) -
Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
Published: (2008) -
Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /
Published: (2016) -
Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz /
Published: (2012) -
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings /
Published: (2010)