Towards a mizar environment for isabelle: foundations and language.
Cezary KaliszykKarol PakJosef UrbanPublished in: CPP (2016)
Keyphrases
- programming environment
- robotic agents
- language learning
- programming language
- real time
- complex environments
- artificial intelligence
- information systems
- natural language
- computer assisted
- theorem prover
- computing environments
- sensory data
- linguistic knowledge
- object oriented programming
- simulation environment
- environmental conditions
- context dependent
- general purpose
- bayesian networks
- neural network
- data sets