On the Epistemological Foundations of Logic Programming and Its Extensions

Marc Denecker

The goal of this study is to investigate the declarative reading of logic programming (LP) and its extensions: stable logic programming, answer set programming and abductive logic programming.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.