Observing Functional Logic Computations.
Bernd BrasselOlaf ChitilMichael HanusFrank HuchPublished in: PADL (2004)
Keyphrases
- logic programming
- classical logic
- modal logic
- information systems
- functional analysis
- multi valued
- proof theory
- computational properties
- sound and complete axiomatization
- data sets
- functional properties
- set theory
- logical framework
- knowledge representation
- database systems
- artificial intelligence
- learning algorithm