Login / Signup

An Equational Axiomatization of Dynamic Negation and Relational Composition.

Marco Hollenberg
Published in: J. Log. Lang. Inf. (1997)
Keyphrases
  • dynamic environments
  • relational databases
  • relational data
  • horn clauses
  • genetic algorithm
  • logic programming
  • theorem proving
  • database
  • databases
  • neural network
  • search engine
  • web service composition
  • predicate logic