
Progression of Decomposed Situation Calculus Theories
Author(s) -
Denis Ponomaryov,
Mikhail Soutchanski
Publication year - 2013
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v27i1.8612
Subject(s) - forgetting , decomposition , situation calculus , computer science , scope (computer science) , subject (documents) , theory , signature (topology) , action (physics) , calculus (dental) , theoretical computer science , artificial intelligence , mathematics , cognitive psychology , programming language , psychology , medicine , ecology , physics , geometry , dentistry , quantum mechanics , library science , biology