Co-inductive Axiomatization of a Synchronous Language.
David NowakJean-René BeauvaisJean-Pierre TalpinPublished in: TPHOLs (1998)
Keyphrases
- functional programs
- programming language
- natural language
- machine learning
- asynchronous communication
- english language
- modeling language
- concept learning
- inductive learning
- language learning
- general purpose
- software engineering
- operational semantics
- rule learning
- database
- object oriented
- knowledge representation
- xml documents
- relational databases
- learning environment
- decision making
- genetic algorithm
- data sets
- real time