Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties

DOI10.1007/978-3-642-29414-3_4zbMath1356.68034DBLPconf/birthday/MancarellaT12OpenAlexW157181982WikidataQ62047994 ScholiaQ62047994MaRDI QIDQ2900469

Francesca Toni, Paolo Mancarella

Publication date: 23 July 2012

Published in: Logic Programs, Norms and Action (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29414-3_4

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

This page was built for publication: Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties