scientific article; zbMATH DE number 2090542

MaRDI QIDQ4812975zbMATH OpenFDO

Authors

Publication date 12 August 2004

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

Mathematics Subject Classification ID

Logic programming (68N17)

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

Cited in

(12)

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

Describes a project that uses

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)