Parametrized logic programming

DOI10.1007/978-3-642-15675-5_17MaRDI QIDQ4930764zbMATH OpenOpenAlexFDO

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

Publication date 1 October 2010

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

Full work available at URL https://doi.org/10.1007/978-3-642-15675-5_17

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Parametrized semantics of logic programs -- a unifying framework
• scientific article; zbMATH DE number 4098708
• Decidability and implementation of parametrized logic programs
• Parametrized equilibrium logic
• scientific article; zbMATH DE number 2237358

Cited in

(14)

• Parametrized semantics of logic programs -- a unifying framework
• Parametric logic: Foundations
• scientific article; zbMATH DE number 1638651 (Why is no real title available?)
• Forgetting in ASP: the forgotten properties
• Decidability and implementation of parametrized logic programs
• 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 4098708 (Why is no real title available?)
• Equivalence of defeasible normative systems
• scientific article; zbMATH DE number 2111988 (Why is no real title available?)
• Parametric linear dynamic logic
• scientific article; zbMATH DE number 2237358 (Why is no real title available?)
• An NP-complete fragment of fibring logic

This page was built for publication: Parametrized logic programming

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