scientific article
From MaRDI portal
Publication:3011297
zbMath1215.68211arXiv1011.4377MaRDI QIDQ3011297
Publication date: 28 June 2011
Full work available at URL: https://arxiv.org/abs/1011.4377
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)
Related Items
The Intelligent Grounder of DLV, Shared aggregate sets in answer set programming, Cautious reasoning in ASP via minimal models and unsatisfiable cores, Enhancing Magic Sets with an Application to Ontological Reasoning
Uses Software