Decidability and implementation of parametrized logic programs

DOI10.1007/978-3-642-40564-8_36MaRDI QIDQ2851266zbMATH OpenOpenAlexFDO

Authors José Júlio Alferes, Ricardo Gonçalves

Publication date 10 October 2013

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40564-8_36

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Parametrized logic programming
• scientific article; zbMATH DE number 4098708
• scientific article; zbMATH DE number 2237358
• scientific article; zbMATH DE number 2085278
• Fixed-parameter complexity of semantics for logic programs

Cited in

(9)

• Parametrized semantics of logic programs -- a unifying framework
• scientific article; zbMATH DE number 6387492 (Why is no real title available?)
• Parametrized equilibrium logic
• An embedding of input-output logic in deontic logic programs
• The Logical Consequence Role in LPNMR: A Parameterized Computation Approach
• scientific article; zbMATH DE number 139798 (Why is no real title available?)
• scientific article; zbMATH DE number 1926635 (Why is no real title available?)
• Parametrized logic programming
• On the semantics of deliberation in IndiGolog -- from theory to implementation

This page was built for publication: Decidability and implementation of parametrized logic programs

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