Formalizing narratives using nested circumscription – Artificial Intelligence Formalizing narratives using nested circumscription – Artificial IntelligenceDownload Now!