Formalizing Narratives Using Nested Circumscription Export

@inproceedings{baral96formalizing, abstract = {The representation of narratives of actions and observations is a current issue in Knowledge Representation, where traditional plan-oriented treatments of action seem to fall short. To address narratives, Pinto and Reiter have extended Situation Calculus axioms, Kowalski and Sergot have introduced the Event Calculus in Logic Programming, and Baral et al. have defined the specification language L which allows to express actual and hypothetical situations in a uniform setting. The L entailment...}, address = {Stanford University}, author = {Baral, Chitta and Gabaldon, Alfredo and Provetti, Alessandro}, booktitle = {Working Papers: Common Sense '96}, citeulike-article-id = {331516}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.1218}, editor = {Buvac, Sasa and Costello, Tom}, keywords = {ai, circumscription, default, depth, narratives, nonmonotonic, reasoning\_about\_action, situation\_calculus}, pages = {15--24}, posted-at = {2005-09-23 23:33:55}, priority = {2}, publisher = {Computer Science Department, Stanford University}, title = {Formalizing Narratives Using Nested Circumscription}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.1218}, year = {1996} }

TY - CONF ID - baral96formalizing L3 - citeulike-article-id:331516 N2 - The representation of narratives of actions and observations is a current issue in Knowledge Representation, where traditional plan-oriented treatments of action seem to fall short. To address narratives, Pinto and Reiter have extended Situation Calculus axioms, Kowalski and Sergot have introduced the Event Calculus in Logic Programming, and Baral et al. have defined the specification language L which allows to express actual and hypothetical situations in a uniform setting. The L entailment... AD - Stanford University EP - 24 TI - Formalizing Narratives Using Nested Circumscription PB - Computer Science Department, Stanford University T2 - Working Papers: Common Sense '96 SP - 15 KW - ai KW - circumscription KW - default KW - depth KW - narratives KW - nonmonotonic KW - reasoning_about_action KW - situation_calculus AU - Baral, Chitta AU - Gabaldon, Alfredo AU - Provetti, Alessandro A2 - Buvac, Sasa A2 - Costello, Tom PY - 1996/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.1218 ER -