Web reasoning and rule systems. 9th international conference, RR 2015, Berlin, Germany, August 4--5, 2015. Proceedings

DOI10.1007/978-3-319-22002-4zbMATH Open1346.68006OpenAlexW2490395447MaRDI QIDQ2355463FDOQ2355463

Authors

Publication date 23 July 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-22002-4

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in artificial intelligence (68T27) Internet topics (68M11)

Recommendations

• Web reasoning and rule systems. 10th international conference, RR 2016, Aberdeen, UK, September 9--11, 2016. Proceedings
• Web reasoning and rule systems. Second international conference, RR 2008, Karlsruhe, Germany, October 31--November 1, 2008. Proceedings
• Web reasoning and rule systems. 7th international conference, RR 2013, Mannheim, Germany, July 27--29, 2013. Proceedings
• Web reasoning and rule systems. 8th international conference, RR 2014, Athens, Greece, September 15--17, 2014. Proceedings
• Web reasoning and rule systems. Third international conference, RR 2009, Chantilly, VA, USA, October 25--26, 2009, Proceedings
• Web reasoning and rule systems. 5th international conference, RR 2011, Galway, Ireland, August 29--30, 2011. Proceedings
• Web reasoning and rule systems. 6th international conference, RR 2012, Vienna, Austria, September 10--12, 2012. Proceedings
• Web reasoning and rule systems. Fourth international conference, RR 2010, Bressanone/Brixen, Italy, September 22--24, 2010. Proceedings
• Reasoning web. Web logic rules. 11th international summer school 2015, Berlin, Germany, July 31 -- August 4, 2015. Tutorial lectures
• Rules and reasoning. 6th international joint conference on rules and reasoning, RuleML+RR 2022, Berlin, Germany, September 26--28, 2022. Proceedings

Cited in

(5)

• Rules and reasoning. 6th international joint conference on rules and reasoning, RuleML+RR 2022, Berlin, Germany, September 26--28, 2022. Proceedings
• Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
• Paracoherent answer set computation
• Unsatisfiable core analysis and aggregates for optimum stable model search
• Combining answer set programming and domain heuristics for solving hard industrial problems (application paper)

This page was built for publication: Web reasoning and rule systems. 9th international conference, RR 2015, Berlin, Germany, August 4--5, 2015. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2355463)