cr-models: An Inference Engine for CR-Prolog

DOI10.1007/978-3-540-72200-7_4MaRDI QIDQ5425395zbMATH OpenOpenAlexFDO

Authors Marcello Balduccini

Publication date 13 November 2007

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

Full work available at URL https://doi.org/10.1007/978-3-540-72200-7_4

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17)

Recommendations

• CR-Prolog as a Specification Language for Constraint Satisfaction Problems
• Logic Programming
• Extracting context-sensitive models in inductive logic programming
• scientific article; zbMATH DE number 823595
• Translating LPOD and CR-\(\mathrm{Prolog}_2\) into standard answer set programs
• Constraint-based inference in probabilistic logic programs
• Inference in the \(\mathrm{FO(C)}\) modelling language
• Evaluating inference algorithms for the Prolog factor language

Cited in

(8)

• CR-Prolog as a Specification Language for Constraint Satisfaction Problems
• Splitting a CR-Prolog Program
• Integrating answer set programming and constraint logic programming
• A theory of intentions for intelligent agents (extended abstract)
• scientific article; zbMATH DE number 7453107 (Why is no real title available?)
• scientific article; zbMATH DE number 7453110 (Why is no real title available?)
• Justifications for logic programs under answer set semantics
• Modular action language \(\mathcal{ALM}\)

Describes a project that uses

Uses Software

• Smodels

This page was built for publication: cr-models: An Inference Engine for CR-Prolog

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