Algebraic Logic Conference.
Hajnal AndrékaM. FerencziIstván NémetiGyörgy SerényPublished in: J. Symb. Log. (1989)
Keyphrases
- computer algebra
- algebraic structure
- classical logic
- advances in artificial intelligence
- logic programming
- sound and complete axiomatization
- selected papers
- modal logic
- automated reasoning
- computational properties
- multi valued
- invited talk
- international conference
- linear algebra
- asia pacific
- algebraic geometry
- mathematical theory
- predicate logic
- annual conference
- computer vision
- panel discussion
- machine learning
- program chairs
- genetic algorithm
- proof theory
- bayesian networks
- expressive power
- knowledge discovery and data mining