Language Invariance and Spectrum Exchangeability in Inductive Logic.
Jürgen LandesJeff B. ParisAlena VencovskáPublished in: ECSQARU (2007)
Keyphrases
- functional programs
- formal language
- proof theory
- intuitionistic logic
- dynamic logic
- programming language
- predicate calculus
- recursive programs
- natural language
- deductive reasoning
- highly expressive
- operational semantics
- formal theory
- lambda calculus
- formal logic
- agent programming
- modal logic
- logic programming
- predicate logic
- logic programming language
- classical logic
- language learning
- description logics
- modal operators
- database language
- model theoretic
- natural deduction
- computational linguistics
- automated reasoning
- inductive reasoning
- discriminative power
- knowledge representation