Squares in Fork Arrow Logic.
Renata P. de FreitasJorge Petrucio VianaMario R. F. BenevidesSheila R. M. VelosoPaulo A. S. VelosoPublished in: J. Philos. Log. (2003)
Keyphrases
- classical logic
- digital circuits
- predicate logic
- logic programming
- modal logic
- multi valued
- logic synthesis
- state space search
- artificial intelligence
- computational properties
- multiscale
- multi agent
- hough transform
- formal theory
- sound and complete axiomatization
- epistemic logic
- dynamic logic
- database
- defeasible logic
- relational databases
- search algorithm
- case study
- decision trees
- learning algorithm
- machine learning
- real world