scientific article
From MaRDI portal
Publication:3089164
zbMath1219.68088MaRDI QIDQ3089164
Mingyi Zhang, Jia-Huai You, Yisong Wang
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.
constraint satisfaction problemdisjunctive logic programscompletion and loop formulasFASPnormal logic programs with functions
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)
Uses Software
This page was built for publication:
