scientific article; zbMATH DE number 7015120
From MaRDI portal
Publication:4619827
zbMath1404.68008MaRDI QIDQ4619827
Publication date: 7 February 2019
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) History of mathematics in the 21st century (01A61) Logic programming (68N17) History of computer science (68-03)
Related Items (4)
Obligation as optimal goal satisfaction ⋮ The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference ⋮ Abductive reasoning in explanation problems of an observed effect ⋮ onlineSPARC: A Programming Environment for Answer Set Programming
This page was built for publication: