A Deductive System for PC(ID)

DOI10.1007/978-3-540-72200-7_15zbMath1149.68422OpenAlexW1581171876MaRDI QIDQ5425406

Ping Hou, Marc Denecker, Johan Wittocx

Publication date: 13 November 2007

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://lirias.kuleuven.be/handle/123456789/146754

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Logic programming (68N17)

This page was built for publication: A Deductive System for PC(ID)