scientific article; zbMATH DE number 2090542

zbMath1045.68519MaRDI QIDQ4812975

No author found.

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2401/24010405.htm

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

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (8)

A polynomial reduction of forks into logic programs ⋮ Equilibrium logic ⋮ Model-based recasting in answer-set programming ⋮ A core language for fuzzy answer set programming ⋮ Safe beliefs for propositional theories ⋮ A tableaux calculus for default intuitionistic logic ⋮ Normal Form Nested Programs ⋮ Possibilistic nested logic programs and strong equivalence

Uses Software

• Smodels

This page was built for publication: