scientific article; zbMATH DE number 6139992

zbMath1269.68094arXiv1108.3281MaRDI QIDQ4906890

Miroslaw Truszczynski, Victor W. Marek, Ilkka Niemelä

Publication date: 28 February 2013

Full work available at URL: https://arxiv.org/abs/1108.3281

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

zbMATH Keywords

nonmonotonic reasoninglogic programminganswer-set programming

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17) History of computer science (68-03)

Uses Software

• Cmodels

This page was built for publication: