Sign in

Generalized Rewrite Theories and Coherence Completion.

José Meseguer
Published in: WRLA@ETAPS (2018)
Keyphrases
  • genetic algorithm
  • artificial intelligence
  • data sets
  • website
  • multi agent
  • information technology
  • data model
  • causal reasoning
  • rewrite rules
  • underlying assumptions
  • legal knowledge