Modularization of logic programs

DOI10.1007/978-3-031-31476-6_12zbMath1529.68072OpenAlexW4376854031MaRDI QIDQ6175111

Luís Moniz Pereira, Alexandre Miguel Pinto

Publication date: 17 August 2023

Published in: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-31476-6_12

zbMATH Keywords

propertiessemanticslogic programsmodularizationcredulous reasoning

Mathematics Subject Classification ID

Knowledge representation (68T30) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Cites Work

• The well-founded semantics for general logic programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Modularization of logic programs