Login / Signup

Specification of Adleman's Restricted Model Using an Automated Reasoning System: Verification of Lipton's Experiment.

Carmen Graciani DíazFrancisco-Jesús Martín-MateosMario J. Pérez-Jiménez
Published in: UMC (2002)
Keyphrases
  • automated reasoning
  • high level
  • conceptual model
  • probabilistic model
  • reasoning systems
  • expert systems
  • description logics
  • np complete
  • reasoning tasks
  • formal verification