Taxon: a Language for Formal Reasoning with Digital Fabrication Machines.
Jasper Tran O'LearyChandrakana NandiKhang LeeNadya PeekPublished in: UIST (2021)
Keyphrases
- highly expressive
- formal language
- meta level
- visual languages
- formal languages
- operational semantics
- precisely defined
- formal representation
- programming language
- knowledge base
- formal models
- uml class diagrams
- natural language
- knowledge representation languages
- high speed
- formal descriptions
- intuitionistic logic
- expert systems
- reasoning process
- qualitative reasoning
- knowledge representation
- high density
- specification language
- formal specification
- integrated circuit
- proof theory
- natural language processing
- language learning
- formal model
- controlled natural language
- default reasoning
- formal methods
- knowledge processing
- reasoning systems