Logic Characterization of Floyd Languages
Violetta LonatiDino MandrioliMatteo PradellaPublished in: CoRR (2012)
Keyphrases
- logic programming
- expressive power
- language independent
- classical logic
- highly expressive
- modal logic
- predicate logic
- sound and complete axiomatization
- arabic language
- natural deduction
- automated reasoning
- multi lingual
- grammatical inference
- multi valued
- computational properties
- logical framework
- database
- co occurrence
- data model
- database systems
- machine learning