Computing narratives of cognitive user experience for building design analysis KR for industry scale computer-aided architecture design
the stable model semantics for logic programming .