Splitting a CR-Prolog Program

DOI10.1007/978-3-642-04238-6_5MaRDI QIDQ3643103zbMATH OpenOpenAlexFDO

Authors Marcello Balduccini

Publication date 10 November 2009

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

Full work available at URL https://doi.org/10.1007/978-3-642-04238-6_5

Mathematics Subject Classification ID

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

Recommendations

• cr-models: An Inference Engine for CR-Prolog
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Answer set based design of knowledge systems
• Logic Programming
• scientific article; zbMATH DE number 1292288

This page was built for publication: Splitting a CR-Prolog Program

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