Editorial: Introduction to the Universal Logic Corner.
Jean-Yves BéziauPublished in: J. Log. Comput. (2009)
Keyphrases
- multi valued
- special issue
- logic programming
- proof theory
- predicate logic
- knowledge base
- logical framework
- modal logic
- database
- automated reasoning
- sound and complete axiomatization
- nonmonotonic logics
- defeasible logic
- search algorithm
- multi agent
- multiscale
- image sequences
- case study
- information systems
- genetic algorithm
- information retrieval