Login / Signup

Strategies in Conditional Narrowing Modulo SMT Plus Axioms.

Luis AguirreNarciso Martí-OlietMiguel PalominoIsabel Pita
Published in: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Keyphrases
  • database
  • neural network
  • information systems
  • knowledge base
  • nonmonotonic inference
  • artificial intelligence
  • real time
  • search engine
  • conditional logic
  • random field model