cr-models: An Inference Engine for CR-Prolog

DOI10.1007/978-3-540-72200-7_4zbMath1149.68325OpenAlexW1600627406MaRDI QIDQ5425395

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)

Related Items (6)

A Theory of Intentions for Intelligent Agents ⋮ Modular action language ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Justifications for logic programs under answer set semantics ⋮ Integrating answer set programming and constraint logic programming

Uses Software

• Smodels

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