Parametrized equilibrium logic

DOI10.1007/978-3-642-20895-9_25MaRDI QIDQ3003262zbMATH OpenOpenAlexFDO

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

Publication date 26 May 2011

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-20895-9_25

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic programming (68N17) Temporal logic (03B44)

Recommendations

• Equilibrium logic
• The Modal Logic of Equilibrium Models
• Parametrized logic programming
• Temporal Equilibrium Logic: A First Approach
• Decidability and implementation of parametrized logic programs

Cited in

(5)

• Equivalence of defeasible normative systems
• scientific article; zbMATH DE number 6290314 (Why is no real title available?)
• On the Logic and Computation of Partial Equilibrium Models
• Partial equilibrium logic
• Parametrized logic programming

This page was built for publication: Parametrized equilibrium logic

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