Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation.
Dimiter VakarelovPublished in: Stud Logica (2006)
Keyphrases
- logic programs
- logic programming
- deductive databases
- compositional semantics
- containment of conjunctive queries
- theoretical foundation
- predicate logic
- data sets
- website
- high impact
- data model
- evolutionary algorithm
- data exchange
- multiscale
- theoretical basis
- decision theory
- horn clauses
- datalog programs
- learning algorithm
- databases