Login / Signup

Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach.

Harsh BeoharSebastian GurkeBarbara KönigKarla MessingJonas ForsterLutz SchröderPaul Wild
Published in: CoRR (2023)
Keyphrases
  • valued logic
  • datalog programs
  • data mining
  • logic programs
  • stable models
  • neural network
  • data analysis
  • software engineering
  • classical logic