Login / Signup
From intuitionistic proof nets to Interaction Grammars.
Guy Perrier
Published in:
TAG+ (2000)
Keyphrases
</>
linear logic
theorem prover
natural deduction
proof search
theorem proving
data sets
sequent calculus
human computer interaction
context free grammars
cut elimination
natural language
machine learning
logical framework
grammatical inference
interval valued
user interaction
knowledge representation
neural network