scientific article; zbMATH DE number 6917516

zbMath1448.68398MaRDI QIDQ4580278

Christoph Redl, Tobias Kaminski, Antonius Weinzierl, Thomas Eiter

Publication date: 14 August 2018

Full work available at URL: https://www.jair.org/index.php/jair/article/view/11221

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

declarative problem solving approachexternal atoms

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More ⋮ Pruning external minimality checking for answer set programs using semantic dependencies

This page was built for publication: