Normal Form Nested Programs

DOI10.1007/978-3-540-87803-2_8MaRDI QIDQ5900402zbMATH OpenOpenAlexFDO

Authors Annamaria Bria, Wolfgang Faber, N. Leone

Publication date 27 October 2008

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10955/500

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Normal form nested programs
• Logic Programming and Nonmonotonic Reasoning
• Nested expressions in logic programs
• scientific article; zbMATH DE number 2090542
• Logic Programming

Cites work

• A structure-preserving clause form translation
• Complete Problems Involving Boolean Labelled Structures and Projection Transactions
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 25192 (Why is no real title available?)
• scientific article; zbMATH DE number 2090542 (Why is no real title available?)
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic Programming and Nonmonotonic Reasoning
• Logics in Artificial Intelligence
• Nested expressions in logic programs
• The DLV system for knowledge representation and reasoning

Cited in

(6)

• Dual-normal logic programs -- the forgotten class
• Temporal logic programs with variables
• scientific article; zbMATH DE number 2090542 (Why is no real title available?)
• Intelligent Instantiation and Supersafe Rules
• Normal forms for answer sets programming
• Normal form nested programs

Describes a project that uses

Uses Software

• GNT

This page was built for publication: Normal Form Nested Programs

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