On logic programming interpretations of Dislog: Programming long-distance dependencies in logic

DOI10.1007/3-540-53162-9_42MaRDI QIDQ5096199zbMATH OpenOpenAlexFDO

Authors Patrick Saint-Dizier

Publication date 16 August 2022

Published in Algebraic and Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-53162-9_42

Mathematics Subject Classification ID

Logic programming (68N17) Natural language processing (68T50)

Recommendations

• scientific article; zbMATH DE number 1926616
• On the relations between disjunctive and linear logic programming
• Interpreting disjunctive logic programs based on a strong sense of disjunction
• Disjunctive logic and semantics of disjunctive logic programs
• scientific article; zbMATH DE number 4101138
• An abductive approach to disjunctive logic programming
• Towards logic programs with ordered and unordered disjunction
• A fixpoint semantics for disjunctive logic programs
• An alternative approach to the semantics of disjunctive logic programs and deductive databases
• scientific article; zbMATH DE number 1292286

Cites work

• Attribute grammars. Definitions, systems and bibliography
• scientific article; zbMATH DE number 3978351 (Why is no real title available?)
• Towards a programming language based on the notion of two-level grammar

This page was built for publication: On logic programming interpretations of Dislog: Programming long-distance dependencies in logic

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