Sign in

Declarative Algorithms in Datalog with Extrema: Their Formal Semantics Simplified.

Carlo ZanioloMohan YangMatteo InterlandiAriyam DasAlexander ShkapskyTyson Condie
Published in: ICLP (Technical Communications) (2018)
Keyphrases
  • formal semantics
  • machine learning
  • knowledge representation
  • expressive power
  • integrity constraints
  • query answering
  • multi agent systems
  • computational complexity
  • first order logic