Visualising reasoning: what ATP can learn from CP

DOI10.1016/J.ENTCS.2012.06.006MaRDI QIDQ5170236zbMATH OpenOpenAlexWikidataFDO

Authors John K. Slaney

Publication date 22 July 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2012.06.006

zbMATH Keywords

automated reasoningvisualisation

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• AI*IA 2005: Advances in Artificial Intelligence
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Visual theorem proving with the Incredible Proof Machine
• scientific article; zbMATH DE number 4203762
• scientific article; zbMATH DE number 500942

Cites work

• Constraint Logic Programming Using ECLⁱPS^e
• scientific article; zbMATH DE number 2080099 (Why is no real title available?)
• Visualization and optimization

Cited in

(2)

• AI*IA 2005: Advances in Artificial Intelligence
• VizAR: visualization of automated reasoning proofs (system description)

Describes a project that uses

Uses Software

• MiniZinc
• DiSCiPl

This page was built for publication: Visualising reasoning: what ATP can learn from CP

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