scientific article
From MaRDI portal
Publication:3089165
zbMath1219.68084MaRDI QIDQ3089165
Publication date: 24 August 2011
Full work available at URL: https://www.mat.unical.it/ASPOCP09/
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
answer set programming (ASP) machineextension of ASPproblems not solvable with normal programsTuring's oracle machine
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)
Uses Software
This page was built for publication:
