Ambient Calculus and its Logic in the Calculus of Inductive Constructions.
Ivan ScagnettoMarino MiculanPublished in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
- algebraic structure
- computer algebra
- natural deduction
- cut elimination
- proof search
- sequent calculus
- formal language
- ambient intelligence
- automated theorem proving
- proof procedure
- relation algebra
- transition systems
- machine learning
- predicate logic
- computational properties
- inference rules
- intelligent systems
- data model
- multi agent systems
- deductive reasoning
- natural language
- genetic algorithm