A characterization of the Language Invariant families satisfying Spectrum Exchangeability in Polyadic Inductive Logic.
Jürgen LandesJeff B. ParisAlena VencovskáPublished in: Ann. Pure Appl. Log. (2010)
Keyphrases
- functional programs
- dynamic logic
- logic programming
- intuitionistic logic
- deductive reasoning
- formal language
- natural language
- programming language
- agent programming
- predicate calculus
- proof theory
- language learning
- classical logic
- computational properties
- logic programming language
- conditional logic
- formal theory
- order sorted
- predicate logic
- operational semantics
- inductive learning
- machine learning
- modal operators
- concurrent programming
- multi valued
- affine invariant
- highly expressive
- modal logic
- knowledge base
- propositional dynamic logic
- inductive logic programming
- formal logic
- database language
- deontic logic
- relational structures
- model theoretic