Login / Signup

Reduction Techniques for Proving Decidability in Logics and their Meet-Combination.

João RasgaCristina SernadasWalter Carnielli
Published in: Bull. Symb. Log. (2021)
Keyphrases
  • expressive power
  • decision procedures
  • case study
  • description logics
  • inference rules
  • databases
  • neural network
  • information systems
  • multi agent systems
  • first order logic
  • combining multiple