European Summer Meeting of the Association for Symbolic Logic.
Heinz-Dieter EbbinghausJosé Fernández-PridaManuel GarridoDaniel LascarMario Rodríguez-ArtalejoPublished in: J. Symb. Log. (1989)
Keyphrases
- logic programming
- modal logic
- automated reasoning
- european project
- high level
- defeasible logic
- classical logic
- probabilistic logic
- probability theory
- multi party
- decision trees
- summer school
- neural network
- north american
- connectionist models
- asynchronous circuits
- database
- meeting room
- computational properties
- high school students
- multi valued
- symbolic representation
- logic programs
- genetic algorithm
- data sets