Erratum to "Arity and Alternation in Second-Order Logic".
Johann A. MakowskyY. B. PnueliPublished in: Ann. Pure Appl. Log. (1998)
Keyphrases
- logic programming
- function symbols
- higher order
- modal logic
- classical logic
- logic programs
- high order
- artificial intelligence
- real time
- horn clauses
- computational properties
- multi valued
- data sets
- deontic logic
- predicate logic
- defeasible logic
- machine learning
- probabilistic logic
- multi agent
- automated reasoning
- learning algorithm
- expert systems