Login / Signup

Automated requirement contradiction detection through formal logic and LLMs.

Alexander Elenga GärtnerDietmar Göhlich
Published in: Autom. Softw. Eng. (2024)
Keyphrases
  • formal logic
  • predicate logic
  • artificial intelligence
  • anomaly detection
  • information systems
  • case study
  • learning strategies
  • databases
  • data mining
  • description logics
  • theoretical framework