The Logical Consequence Role in LPNMR: A Parameterized Computation Approach

DOI10.1007/978-3-642-04238-6_43zbMath1258.68038OpenAlexW1577096194MaRDI QIDQ3643140

Simone Pascucci, Mauricio Osorio Galindo

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

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

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