On Fork Arrow Logic and its Expressive Power.
Paulo A. S. VelosoRenata P. de FreitasJorge Petrucio VianaMario R. F. BenevidesSheila R. M. VelosoPublished in: J. Philos. Log. (2007)
Keyphrases
- expressive power
- computational properties
- monadic second order logic
- relation algebra
- first order logic
- data complexity
- query language
- relational algebra
- transitive closure
- logic programming
- classical logic
- constraint query languages
- automated reasoning
- knowledge representation
- epistemic logic
- expert systems
- artificial intelligence
- machine learning