Negation and Involutive Adjunctions.
Kosta DosenZoran PetricPublished in: We Will Show Them! (1) (2005)
Keyphrases
- scale spaces
- logic programs
- logic programming
- scale space
- lower order
- horn clauses
- multiscale
- expert systems
- case study
- containment of conjunctive queries
- data mining
- real world
- compositional semantics
- knowledge representation
- predicate logic
- fixpoint
- deductive databases
- edge detection
- database
- evolutionary algorithm
- image analysis
- knowledge base
- computer vision
- artificial intelligence
- databases