Conservation principles and action schemes in the synthesis of geometric concepts
From MaRDI portal
Publication:1028905
DOI10.1016/j.artint.2006.12.003zbMath1168.03315OpenAlexW2014849489MaRDI QIDQ1028905
Publication date: 9 July 2009
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2006.12.003
knowledge representationdiagrammatic reasoningstructured learningconservation principlesgeometric descriptionaction schemesdiagrammatic theorem-provinggeometric abstractionsynthetic concepts
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Uses Software
Cites Work
- A logical framework for depiction and image interpretation
- Diagram processing: Computing with diagrams
- Plane geometry theorem proving using forward chaining
- Generating Referring Expressions: Boolean Extensions of the Incremental Algorithm
- Diagrammatic Representation and Inference
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Conservation principles and action schemes in the synthesis of geometric concepts
