Editing Frame problem (section)

==References==
* {{cite journal | last1 = Doherty | first1 = P. | last2 = Gustafsson | first2 = J. | last3 = Karlsson | first3 = L. | last4 = Kvarnström | first4 = J. | year = 1998 | title = TAL: Temporal action logics language specification and tutorial | url = http://www.ep.liu.se/ej/etai/1998/009 | journal = Electronic Transactions on Artificial Intelligence | volume = 2 | issue = 3–4| pages = 273–306 }}
* {{cite journal | last1 = Gelfond | first1 = M. | last2 = Lifschitz | first2 = V. | year = 1993 | title = Representing action and change by logic programs | journal = [[Journal of Logic Programming]] | volume = 17 | issue = 2–4| pages = 301–322 | doi=10.1016/0743-1066(93)90035-f| doi-access =  }}
* {{cite journal | last1 = Gelfond | first1 = M. | last2 = Lifschitz | first2 = V. | year = 1998 | title = Action languages | url = http://www.ep.liu.se/ej/etai/1998/007 | journal = Electronic Transactions on Artificial Intelligence | volume = 2 | issue = 3–4| pages = 193–210 }}
* {{cite journal | last1 = Hanks | first1 = S. | last2 = McDermott | first2 = D. | year = 1987 | title = Nonmonotonic logic and temporal projection | journal = [[Artificial Intelligence (journal)|Artificial Intelligence]] | volume = 33 | issue = 3| pages = 379–412 | doi=10.1016/0004-3702(87)90043-9}}
* {{cite journal | last1 = Levesque | first1 = H. | author-link3 = Raymond Reiter | last2 = Pirri | first2 = F. | last3 = Reiter | first3 = R. | year = 1998 | title = Foundations for the situation calculus | url = http://www.ep.liu.se/ej/etai/1998/005 | journal = Electronic Transactions on Artificial Intelligence | volume = 2 | issue = 3–4| pages = 159–178 }}
* {{cite journal | last1 = Liberatore | first1 = P. | year = 1997 | title = The complexity of the language A | url = http://www.ep.liu.se/ej/etai/1997/002 | journal = [[Electronic Transactions on Artificial Intelligence]] | volume = 1 | issue = 1–3| pages = 13–37 }}
* {{cite web |first=V. |last=Lifschitz |year=2012 |url=http://www.cs.utexas.edu/~vl/papers/jmc.pdf |archive-url=https://web.archive.org/web/20140211073025/http://www.cs.utexas.edu/~vl/papers/jmc.pdf |archive-date=2014-02-11 |url-status=live |title=The frame problem, then and now |publisher=[[University of Texas at Austin]]}} Presented at ''Celebration of John McCarthy's Accomplishments'', [[Stanford University]], March 25, 2012.
* {{cite journal | last1 = McCarthy | first1 = J. | last2 = Hayes | first2 = P. J. | year = 1969 | title = Some philosophical problems from the standpoint of artificial intelligence | url = http://www-formal.stanford.edu/jmc/mcchay69.html | journal = Machine Intelligence | volume = 4 | pages = 463–502 | citeseerx = 10.1.1.85.5082 }}
* {{cite journal | last1 = McCarthy | first1 = J. | year = 1986 | title = Applications of circumscription to formalizing common-sense knowledge | url = http://www-formal.stanford.edu/jmc/applications.html | journal = Artificial Intelligence | volume = 28 | pages = 89–116 | doi=10.1016/0004-3702(86)90032-9| citeseerx = 10.1.1.29.5268 }}
* {{cite journal | last1 = Miller | first1 = R. | last2 = Shanahan | first2 = M. | year = 1999 | title = The event-calculus in classical logic - alternative axiomatizations | url = http://www.ida.liu.se/ext/epa/ej/etai/1999/016/epapage.html | journal = Electronic Transactions on Artificial Intelligence | volume = 3 | issue = 1| pages = 77–105 }}
* {{cite journal | last1 = Pirri | first1 = F. | last2 = Reiter | first2 = R. | year = 1999 | title = Some contributions to the metatheory of the Situation Calculus | journal = [[Journal of the ACM]] | volume = 46 | issue = 3| pages = 325–361 | doi = 10.1145/316542.316545 | s2cid = 16203802 }}
* {{cite journal | last1 = Reiter | first1 = R. | author-link = Raymond Reiter | year = 1980 | title = A logic for default reasoning | url = http://www.umiacs.umd.edu/%7Ehorty/courses/readings/reiter-default-1980.pdf| journal = Artificial Intelligence | volume = 13 | issue = 1–2| pages = 81–132 | doi=10.1016/0004-3702(80)90014-4| citeseerx = 10.1.1.250.9224 }}
* {{cite book |author-link=Raymond Reiter |first=R. |last=Reiter |year=1991 |chapter=The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression |editor=Lifschitz, Vladimir |title=Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy |pages=359–380 |publisher=Academic Press |location=New York|citeseerx=10.1.1.137.2995 }}
* {{cite journal | last1 = Sandewall | first1 = E. | year = 1972 | title = An approach to the Frame Problem and its Implementation | journal = Machine Intelligence | volume = 7 | pages = 195–204 }}
* {{cite book |first=E. |last=Sandewall |year=1994 |title=Features and Fluents |volume=(vol. 1) |publisher=Oxford University Press |location=New York |isbn=978-0-19-853845-5}}
* {{cite book |first1=E. |last1=Sandewall |first2=Y. |last2=Shoham |year=1995 |chapter=Non-monotonic Temporal Reasoning |editor1=Gabbay, D. M. |editor2=Hogger, C. J. |editor3=Robinson, J. A. |title=Handbook of Logic in Artificial Intelligence and Logic Programming |volume=(vol. 4) |pages=439–498 |publisher=Oxford University Press |isbn=978-0-19-853791-5}}
* {{cite journal | last1 = Sandewall | first1 = E. | year = 1998 | title = Cognitive robotics logic and its metatheory: Features and fluents revisited | url = http://www.ep.liu.se/ej/etai/1998/010 | journal = Electronic Transactions on Artificial Intelligence | volume = 2 | issue = 3–4| pages = 307–329 }}
* {{cite book |first=M. |last=Shanahan |year=1997 |title=Solving the frame problem: A mathematical investigation of the common sense law of inertia |publisher=MIT Press|url=https://books.google.com/books?id=z8zR3Ds7xKQC&dq=%22Solving+the+frame+problem:+A+mathematical+investigation+of+the+common+sense+law+of+inertia.%22&pg=PR13|isbn=9780262193849 }}
* {{cite journal | last1 = Thielscher | first1 = M. | year = 1998 | title = Introduction to the fluent calculus | url = http://www.ep.liu.se/ej/etai/1998/006 | journal = Electronic Transactions on Artificial Intelligence | volume = 2 | issue = 3–4| pages = 179–192 }}
* {{cite journal | last1 = Toth | first1 = J.A. | year = 1995 | title = Book review. Kenneth M. and Patrick J. Hayes, eds | journal = Reasoning Agents in a Dynamic World: The Frame Problem. Artificial Intelligence | volume = 73 | issue = 1–2| pages = 323–369 | doi=10.1016/0004-3702(95)90043-8| doi-access = free }}
* {{cite journal | last1 = Turner | first1 = H. | year = 1997 | title = Representing actions in logic programs and default theories: a situation calculus approach | url = http://www.d.umn.edu/~hudson/papers/ralpdt6.pdf | journal = Journal of Logic Programming | volume = 31 | issue = 1–3| pages = 245–298 | doi=10.1016/s0743-1066(96)00125-2| doi-access = free }}