Proof nets and semi-star-autonomous categories.
Willem HeijltjesLutz StraßburgerPublished in: Math. Struct. Comput. Sci. (2016)
Keyphrases
- autonomous systems
- cooperative
- semi autonomous
- linear logic
- theorem prover
- database
- modal logic
- geometry theorem proving
- complete axiomatization
- logical rules
- broad categories
- autonomous vehicles
- robotic systems
- first order logic
- dynamic environments
- knowledge representation
- mobile robot
- evolutionary algorithm
- database systems
- information systems
- real world
- databases