List of Officers and Members of the Association for Symbolic Logic.
C. J. DucassePublished in: J. Symb. Log. (1936)
Keyphrases
- logic programming
- high level
- epistemic logic
- virtual communities
- defeasible logic
- computational properties
- logic programs
- symbolic representation
- automated reasoning
- sound and complete axiomatization
- proof theory
- deontic logic
- association analysis
- predicate logic
- classical logic
- logical framework
- database
- modal logic
- social networks
- learning algorithm
- data sets