On logical constraints in logic programming

DOI10.1007/3-540-59487-6_4MaRDI QIDQ5101440zbMATH OpenOpenAlexFDO

Authors Wiktor Marek, Jeffrey Remmel, Anil Nerode

Publication date 30 August 2022

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

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.9095

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Logic programs with stable model semantics as a constraint programming paradigm
• Logics in Artificial Intelligence
• scientific article; zbMATH DE number 1368933
• Logic Programming and Nonmonotonic Reasoning
• Characterizations of stable model semantics for logic programs with arbitrary constraint atoms

Cites work

• A logic for default reasoning
• scientific article; zbMATH DE number 1142320 (Why is no real title available?)
• Stable and extension class theory for logic programs and default logics
• The recursion-theoretic complexity of the semantics of predicate logic as a programming language
• The Semantics of Predicate Logic as a Programming Language

Cited in

(11)

• Logic programming: laxness and saturation
• Constraint and Logic Programming: Ugo Montanari’s Main Contributions and Introduction to the Volume Section
• scientific article; zbMATH DE number 4074543 (Why is no real title available?)
• Algèbres effectives dans la programmation logique avec contraintes
• scientific article; zbMATH DE number 1980915 (Why is no real title available?)
• scientific article; zbMATH DE number 2031599 (Why is no real title available?)
• scientific article; zbMATH DE number 2031626 (Why is no real title available?)
• scientific article; zbMATH DE number 1368929 (Why is no real title available?)
• scientific article; zbMATH DE number 2084772 (Why is no real title available?)
• Logic Programming and Nonmonotonic Reasoning
• Implementing logical connectives in constraint programming

Describes a project that uses

Uses Software

• CHIP

This page was built for publication: On logical constraints in logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5101440)