scientific article; zbMATH DE number 1453070

zbMath0952.68028MaRDI QIDQ4955343

Patrik Simons

Publication date: 25 May 2000

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

zbMATH Keywords

stable model semanticspropositional logic programs

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (6)

Answer set based design of knowledge systems ⋮ Improving the Normalization of Weight Rules in Answer Set Programs ⋮ Verification of bounded Petri nets using integer programming ⋮ Relating constraint answer set programming languages and algorithms ⋮ Cumulativity Tailored for Nonmonotonic Reasoning ⋮ Extending and implementing the stable model semantics

This page was built for publication: