Logic programming revisited
From MaRDI portal
Publication:5738920
DOI10.1145/383779.383789zbMath1365.68148MaRDI QIDQ5738920
Marc Denecker, Maurice Bruynooghe, Victor W. Marek
Publication date: 13 June 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/383779.383789
68N17: Logic programming
Related Items
Inference and learning in probabilistic logic programs using weighted Boolean formulas, Contextual hypotheses and semantics of logic programs, Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic, Ultimate approximation and its application in nonmonotonic knowledge representation systems, Inductive situation calculus, A connection between the Cantor-Bendixson derivative and the well-founded semantics of finite logic programs, Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning, Truth versus information in logic programming