Introduction to "Hilbert's epsilon and tau in Logic, Informatics and Linguistics".
Stergios ChatzikyriakidisFabio PasqualiChristian RetoréPublished in: FLAP (2017)
Keyphrases
- modal logic
- classical logic
- language learning
- defeasible logic
- computer science
- logic programming
- sound and complete axiomatization
- asynchronous circuits
- predicate logic
- scale spaces
- natural language
- case study
- information technology
- proof theory
- data sets
- special case
- delay insensitive
- databases
- abductive reasoning
- neural network
- real world
- website
- computational properties
- sample complexity
- social sciences
- multiscale
- cognitive science
- expressive power
- scale space