The Logical Consequence Role in LPNMR: A Parameterized Computation Approach

DOI10.1007/978-3-642-04238-6_43MaRDI QIDQ3643140zbMATH OpenOpenAlexFDO

Authors Mauricio Osorio Galindo, Simone Pascucci

Publication date 10 November 2009

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-04238-6_43

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Fixed-parameter complexity of semantics for logic programs
• scientific article; zbMATH DE number 2085278
• Decidability and implementation of parametrized logic programs
• Parametrized logic programming
• On the parameterized complexity of non-monotonic logics

Cited in

(1)

• scientific article; zbMATH DE number 2085278 (Why is no real title available?)

This page was built for publication: The Logical Consequence Role in LPNMR: A Parameterized Computation Approach

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