scientific article; zbMATH DE number 2090542

zbMATH Open1045.68519MaRDI QIDQ4812975FDOQ4812975

Authors:

Publication date: 12 August 2004

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

Title of this publication is not available (Why is that?)

Recommendations

• Nested expressions in logic programs
• Logic Programming and Nonmonotonic Reasoning
• Normal Form Nested Programs
• Logic Programming
• Some (in)translatability results for normal logic programs and propositional theories

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (12)

• Model-based recasting in answer-set programming
• Possibilistic nested logic programs and strong equivalence
• Some (in)translatability results for normal logic programs and propositional theories
• Equilibrium logic
• Normal Form Nested Programs
• Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog
• A polynomial reduction of forks into logic programs
• A core language for fuzzy answer set programming
• Safe beliefs for propositional theories
• Normal form nested programs
• A tableaux calculus for default intuitionistic logic
• Logic Programming

Uses Software

• Smodels

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4812975)