Normal Form Nested Programs

DOI10.1007/978-3-540-87803-2_8zbMath1178.68131OpenAlexW1634756728MaRDI QIDQ5900402

Annamaria Bria, Nicola Leone, Wolfgang Faber

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)

Related Items (2)

Temporal logic programs with variables ⋮ Intelligent Instantiation and Supersafe Rules

Uses Software

• GNT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A structure-preserving clause form translation
• Nested expressions in logic programs
• Complete Problems Involving Boolean Labelled Structures and Projection Transactions
• Knowledge Representation, Reasoning and Declarative Problem Solving
• The DLV system for knowledge representation and reasoning
• Logics in Artificial Intelligence
• Logic Programming and Nonmonotonic Reasoning

This page was built for publication: Normal Form Nested Programs