Composing Normal Programs with Function Symbols

DOI10.1007/978-3-540-89982-2_38zbMath1185.68147OpenAlexW1558235571MaRDI QIDQ5504671

Sabrina Baselice, Piero A. Bonatti

Publication date: 22 January 2009

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-89982-2_38

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Answer Set Programming: A Primer

Uses Software

• Smodels
• Datalog

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reasoning with infinite stable models
• On the partial semantics for disjunctive deductive databases
• Logic programming and nonmonotonic reasoning. Proceedings of the 4th international conference, LPNMR '97, held in Dagstuhl, Germany, July 28--31, 1997
• $\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols
• On Finitely Recursive Programs
• The Stable Models of a Predicate Logic Program
• Knowledge Representation, Reasoning and Declarative Problem Solving
• On the Expressibility of Stable Logic Programming

This page was built for publication: Composing Normal Programs with Function Symbols