Web reasoning and rule systems. 9th international conference, RR 2015, Berlin, Germany, August 4--5, 2015. Proceedings
From MaRDI portal
Publication:2355463
DOI10.1007/978-3-319-22002-4zbMath1346.68006OpenAlexW2490395447MaRDI QIDQ2355463
No author found.
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
Proceedings of conferences of miscellaneous specific interest (00B25) Logic in artificial intelligence (68T27) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Internet topics (68M11)
Related Items (4)
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) ⋮ Paracoherent answer set computation ⋮ Efficiently Coupling the I-DLV Grounder with ASP Solvers ⋮ Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search
This page was built for publication: Web reasoning and rule systems. 9th international conference, RR 2015, Berlin, Germany, August 4--5, 2015. Proceedings