4826:
3939:
2836:
109:
4215:
For example, in the blocks world domain, we might want to describe an initial state in which there are two blocks, a red block on a green block on a table, like a toy traffic light, followed by moving the red block to the table at time 1 and moving the green block onto the red block at time 3,
3629:
1867:
4886:
The event calculus has a natural implementation in pure Prolog (without any features that do not have a logical interpretation). For example, the blocks world scenario above can be implemented (with minor modifications) by the program:
3373:
4385:
85:. These and later extensions have been used to formalize non-deterministic actions, concurrent actions, actions with delayed effects, gradual changes, actions with duration, continuous change, and non-inertial fluents.
31:
and about the way in which they change the state of some real or artificial world. It deals both with action events, which are performed by agents, and with external events, which are outside the control of any agent.
4542:
4810:
3923:
831:
4668:
292:
7199:
1479:
1226:
1706:
528:
2555:. In fact, circumscription is one of the several semantics that can be given to negation as failure, and it is closely related to the completion semantics for logic programs (which interprets
1043:
612:
3379:
7153:
885:
346:
5586:
936:
444:
3738:
3060:
1587:
1334:
651:
3193:
2049:
1712:
1515:
1262:
1115:
1079:
687:
382:
3125:
2822:. In most applications, times are represented discretely, by the natural numbers, or continuously, by non-negative real numbers. However, times can also be partially ordered.
1620:
1548:
1367:
1295:
7164:
6815:
R. Reiter (1991). The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In
Vladimir Lifshitz, editor,
1642:
There are many variants of the event calculus. But the core axiom of one of the simplest and most useful variants can be expressed as a single, domain-independent axiom:
5500:
4126:
2985:
2737:
4210:
4079:
2938:
2690:
2646:
5432:
4035:
2602:
3773:
3667:
4166:
2820:
2777:
4146:
2800:
2757:
2527:
2460:
2393:
2346:
2301:
2270:
2247:
2220:
2177:
2150:
2127:
2099:
2504:
2480:
2433:
2413:
2366:
2321:
2197:
2076:
956:
402:
5455:
This builds in a simplifying assumption that events do not simultaneously initiate and terminate the same fluent. As a consequence, the definition of the
3201:
5399:
This rewriting enables the elimination of existential quantifiers, conforming to the Prolog convention that all variables are universally quantified.
4222:
7013:
6954:
4391:
170:
56:
6893:
6775:
6743:
4674:
3781:
695:
5979:
However, to work correctly, all variables in negative conditions must first be instantiated to terms containing no variables. For example:
70:
and developed for representing narratives and database updates. Kave Eshghi showed how to use the event calculus for planning, by using
7322:
7183:
4550:
7332:
7107:
6846:
4873:
3986:
2883:
156:
180:
6873:
6666:
5402:
The order of the conditions in the body of the core axiom(s) has been changed, to generate answers to queries in temporal order.
6844:
Gelfond, M.; Przymusinska, H.; Przymusinski, T. (1989). "On the relationship between circumscription and negation as failure".
4847:
3960:
2857:
1376:
130:
1126:
4851:
3964:
2861:
134:
1120:
The relationships between events and the fluents that they initiate and terminate are also represented by atomic formulae:
1648:
449:
92:
59:
time, associating events with the time at which they happen, and associating fluents with the times at which they hold.
6528:
In addition to Prolog and its variants, several other tools for reasoning using the event calculus are also available:
964:
7317:
536:
71:
24:
4836:
3949:
2846:
119:
3624:{\displaystyle {\mathit {terminates}}(move(Object,Place),on(Object,Place1),Time)\leftarrow different(Place1,Place).}
7327:
4855:
4840:
3968:
3953:
2865:
2850:
2779:
predicates. To apply the event calculus to a particular problem, these other predicates also need to be defined.
138:
123:
1639:, of representing and reasoning about the way in which actions and other events change the state of some world.
7337:
836:
297:
5505:
890:
2540:
82:
7102:
1862:{\displaystyle [{\mathit {happensAt}}(E1,T1)\wedge {\mathit {initiates}}(E1,F,T1)\wedge (T1<T2)\wedge }
407:
3672:
2994:
1553:
1300:
617:
88:
3130:
1873:
1484:
1231:
1084:
1048:
656:
351:
3669:
holds in an initial state, say at time 1, then with the simple core axiom above we need an event, say
3065:
1592:
1520:
1339:
1267:
7070:"An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future"
35:
The event calculus represents the state of the world at any time by the set of all the facts (called
2552:
2536:
6948:
Skarlatidis, Anastasios; Paliouras, Georgios; Artikis, Alexander; Vouros, George A. (2015-02-17).
7132:
7050:
7022:
6989:
6963:
6817:
Artificial intelligence and mathematical theory of computation: papers in honour of John McCarthy
6728:
Computational Logic: Logic
Programming and Beyond: Essays in Honour of Robert A. Kowalski Part II
6642:
6591:
1632:
7007:
Skarlatidis, Anastasios; Artikis, Alexander; Filippou, Jason; Paliouras, Georgios (March 2015).
5458:
4084:
2943:
2695:
4171:
4040:
2899:
2651:
2607:
7179:
7124:
7042:
6981:
6930:
6889:
6781:
6771:
6739:
6685:
6634:
6581:
5408:
2544:
67:
28:
4002:
2569:
7116:
7081:
7032:
6973:
6922:
6881:
6855:
6731:
6675:
6626:
3743:
3637:
4151:
2805:
2762:
7192:
Solving the frame problem: A mathematical investigation of the common sense law of inertia
6911:"An answer set programming-based implementation of epistemic probabilistic event calculus"
6831:
Solving the frame problem: A mathematical investigation of the common sense law of inertia
4131:
2896:
To apply the event calculus in a particular problem domain, it is necessary to define the
2785:
2742:
78:
63:
6557:
2509:
2442:
2375:
2328:
2283:
2252:
2229:
2202:
2159:
2132:
2109:
2081:
2782:
The event calculus is compatible with different definitions of the temporal predicates
2489:
2465:
2418:
2398:
2351:
2306:
2182:
2061:
941:
387:
6568:
Notable extensions of the event calculus include Markov logic networks–based variants
95:
can be used to give an algorithmic semantics to tense and aspect in natural language.
7311:
7136:
6859:
6730:, Lecture Notes in Computer Science, Berlin, Heidelberg: Springer, pp. 452–490,
6704:
6680:
6661:
6586:
1636:
55:
The event calculus differs from most other approaches for reasoning about change by
7101:
D'Asaro, Fabio
Aurelio; Bikakis, Antonis; Dickens, Luke; Miller, Rob (2020-10-01).
7054:
6993:
6799:
6646:
2988:
174:
7191:
7120:
6885:
6830:
5368:
The Prolog program differs from the earlier formalisation in the following ways:
6569:
4825:
3938:
3368:{\displaystyle {\mathit {initiates}}(move(Object,Place),on(Object,Place),Time).}
2835:
2548:
108:
7069:
6926:
6722:
Miller, Rob; Shanahan, Murray (2002), Kakas, Antonis C.; Sadri, Fariba (eds.),
6547:
6532:
4380:{\displaystyle {\mathit {happensAt}}(initialise(on(red\_block,green\_block),0)}
7037:
7008:
7128:
7046:
6985:
6934:
6910:
6909:
D'Asaro, Fabio
Aurelio; Bikakis, Antonis; Dickens, Luke; Miller, Rob (2024).
6819:, pages 359–380, San Diego, CA, USA. Academic Press Professional, Inc. 1991.
6785:
6735:
6689:
6638:
923:
515:
461:
7068:
Ma, Jiefei; Miller, Rob; Morgenstern, Leora; Patkos, Theodore (2014-07-28).
3127:, which expresses that the object is on the place and terminates the fluent
2535:
The event calculus solves the frame problem by interpreting this axiom in a
50:
and the fluent is not terminated by any event that happens in the meantime.
6723:
6800:
Some philosophical problems from the standpoint of artificial intelligence
6765:
4537:{\displaystyle {\mathit {happensAt}}(initialise(on(green\_block,table),0)}
74:
to generate hypothetical actions to achieve a desired state of affairs.
6630:
37:
6542:
6537:
4805:{\displaystyle {\mathit {happensAt}}(move(green\_block,red\_block),3)}
3918:{\displaystyle {\mathit {initiates}}(initialise(Fluent),Fluent,Time).}
826:{\displaystyle {\mathit {happensAt}}(move(green\_block,red\_block),3)}
48:
if the fluent is initiated by an event that happens at an earlier time
6614:
6977:
6552:
7086:
7027:
6968:
6949:
1631:
The event calculus was developed in part as an alternative to the
7176:
Commonsense
Reasoning: An Event Calculus Based Approach (2nd Ed.)
5502:
predicate has been simplified by eliminating the condition that
5372:
The core axiom has been rewritten, using an auxiliary predicate
41:) that hold at the time. Events initiate and terminate fluents:
4663:{\displaystyle {\mathit {happensAt}}(move(red\_block,table),1)}
692:
Events are also reified and represented by terms. For example,
4819:
4212:
predicates that describe the specific context of the problem.
3932:
2829:
102:
287:{\displaystyle {\mathit {holdsAt}}(on(green\_block,table),1)}
91:
and Hamm showed how a formulation of the event calculus as a
4704:
4701:
4698:
4695:
4692:
4689:
4686:
4683:
4680:
4580:
4577:
4574:
4571:
4568:
4565:
4562:
4559:
4556:
4421:
4418:
4415:
4412:
4409:
4406:
4403:
4400:
4397:
4252:
4249:
4246:
4243:
4240:
4237:
4234:
4231:
4228:
3811:
3808:
3805:
3802:
3799:
3796:
3793:
3790:
3787:
3412:
3409:
3406:
3403:
3400:
3397:
3394:
3391:
3388:
3385:
3231:
3228:
3225:
3222:
3219:
3216:
3213:
3210:
3207:
1979:
1976:
1973:
1970:
1967:
1964:
1961:
1958:
1955:
1952:
1924:
1921:
1918:
1915:
1912:
1909:
1906:
1903:
1900:
1800:
1797:
1794:
1791:
1788:
1785:
1782:
1779:
1776:
1745:
1742:
1739:
1736:
1733:
1730:
1727:
1724:
1721:
1672:
1669:
1666:
1663:
1660:
1657:
1654:
1607:
1604:
1601:
1598:
1574:
1571:
1568:
1565:
1562:
1559:
1535:
1532:
1529:
1526:
1502:
1499:
1496:
1493:
1490:
1409:
1406:
1403:
1400:
1397:
1394:
1391:
1388:
1385:
1382:
1354:
1351:
1348:
1345:
1321:
1318:
1315:
1312:
1309:
1306:
1282:
1279:
1276:
1273:
1249:
1246:
1243:
1240:
1237:
1156:
1153:
1150:
1147:
1144:
1141:
1138:
1135:
1132:
1102:
1099:
1096:
1093:
1090:
1066:
1063:
1060:
1057:
1054:
994:
991:
988:
985:
982:
979:
976:
973:
970:
920:
917:
914:
911:
908:
905:
902:
899:
896:
872:
869:
866:
863:
860:
857:
854:
851:
848:
845:
842:
725:
722:
719:
716:
713:
710:
707:
704:
701:
674:
671:
668:
665:
662:
638:
635:
632:
629:
626:
623:
560:
557:
554:
551:
548:
545:
542:
512:
509:
506:
503:
500:
497:
494:
491:
488:
485:
482:
479:
476:
473:
470:
467:
464:
458:
455:
431:
428:
425:
422:
419:
416:
413:
369:
366:
363:
360:
357:
333:
330:
327:
324:
321:
318:
315:
312:
309:
306:
303:
204:
201:
198:
195:
192:
189:
186:
7103:"Probabilistic reasoning about epistemic action narratives"
3195:, which expresses that the object is on a different place:
3999:
To apply the event calculus, given the definitions of the
62:
The original version of the event calculus, introduced by
1474:{\displaystyle {\mathit {terminates}}(event,fluent,time)}
1221:{\displaystyle {\mathit {initiates}}(event,fluent,time)}
3062:
of moving an object onto a place intitiates the fluent
5975:
The program can also answer negative queries, such as
5613:
the Prolog program generates all answers to the query
6724:"Some Alternative Formulations of the Event Calculus"
5508:
5461:
5411:
4677:
4553:
4394:
4225:
4174:
4154:
4134:
4087:
4043:
4005:
3784:
3746:
3675:
3640:
3382:
3204:
3133:
3068:
2997:
2946:
2902:
2808:
2788:
2765:
2745:
2698:
2654:
2610:
2572:
2512:
2492:
2468:
2445:
2421:
2401:
2378:
2354:
2331:
2309:
2286:
2255:
2232:
2205:
2185:
2162:
2135:
2112:
2084:
2064:
1876:
1715:
1651:
1595:
1556:
1523:
1487:
1379:
1342:
1303:
1270:
1234:
1129:
1087:
1051:
967:
944:
893:
839:
698:
659:
620:
539:
452:
410:
390:
354:
300:
183:
6950:"Probabilistic Event Calculus for Event Recognition"
1701:{\displaystyle {\mathit {holdsAt}}(F,T2)\leftarrow }
5593:
5435:
5373:
7009:"A probabilistic logic programming event calculus"
5580:
5494:
5434:has been removed from the corresponding condition
5426:
4804:
4662:
4536:
4379:
4204:
4160:
4140:
4120:
4073:
4029:
3917:
3767:
3732:
3661:
3623:
3367:
3187:
3119:
3054:
2979:
2932:
2814:
2794:
2771:
2751:
2731:
2684:
2640:
2596:
2521:
2498:
2474:
2454:
2427:
2407:
2387:
2360:
2340:
2315:
2295:
2264:
2241:
2214:
2191:
2171:
2144:
2121:
2093:
2070:
2043:
1861:
1700:
1614:
1581:
1542:
1509:
1473:
1361:
1328:
1289:
1256:
1220:
1109:
1073:
1037:
950:
930:
879:
825:
681:
645:
606:
523:{\displaystyle {\mathit {on(green\_block,table)}}}
522:
438:
396:
376:
340:
286:
5592:Given an appropriate definition of the predicate
1038:{\displaystyle {\mathit {happensAt}}(event,time)}
2987:predicates for that domain. For example, in the
607:{\displaystyle {\mathit {holdsAt}}(fluent,time)}
81:and Rob Miller in the 1990s and reformulated in
6806:, 4:463–502. Edinburgh University Press, 1969.
43:
6915:International Journal of Approximate Reasoning
6613:Kowalski, Robert; Sergot, Marek (1986-03-01).
66:and Marek Sergot in 1986, was formulated as a
16:Language for reasoning and representing events
6880:. Boston, MA: Springer US. pp. 293–322.
6558:Epistemic Probabilistic Event Calculus (EPEC)
173:. This means that fluents are represented by
8:
4854:. Unsourced material may be challenged and
3967:. Unsourced material may be challenged and
2864:. Unsourced material may be challenged and
137:. Unsourced material may be challenged and
4168:predicates, it is necessary to define the
2566:The core event calculus axiom defines the
530:is a term. In general, the atomic formula
7178:. Waltham, MA: Morgan Kaufmann/Elsevier.
7085:
7036:
7026:
6967:
6679:
5977:which fluents do not hold at which times?
5507:
5460:
5410:
4874:Learn how and when to remove this message
4679:
4678:
4676:
4555:
4554:
4552:
4396:
4395:
4393:
4227:
4226:
4224:
4173:
4153:
4133:
4086:
4042:
4004:
3987:Learn how and when to remove this message
3786:
3785:
3783:
3745:
3674:
3639:
3384:
3383:
3381:
3206:
3205:
3203:
3132:
3067:
2996:
2945:
2901:
2884:Learn how and when to remove this message
2807:
2787:
2764:
2744:
2697:
2653:
2609:
2571:
2511:
2491:
2467:
2444:
2420:
2400:
2377:
2353:
2330:
2308:
2285:
2254:
2231:
2204:
2184:
2161:
2134:
2111:
2083:
2063:
1951:
1950:
1899:
1898:
1875:
1775:
1774:
1720:
1719:
1714:
1653:
1652:
1650:
1597:
1596:
1594:
1558:
1557:
1555:
1525:
1524:
1522:
1489:
1488:
1486:
1381:
1380:
1378:
1344:
1343:
1341:
1305:
1304:
1302:
1272:
1271:
1269:
1236:
1235:
1233:
1131:
1130:
1128:
1089:
1088:
1086:
1053:
1052:
1050:
969:
968:
966:
943:
895:
894:
892:
841:
840:
838:
700:
699:
697:
661:
660:
658:
622:
621:
619:
541:
540:
538:
454:
453:
451:
412:
411:
409:
389:
356:
355:
353:
302:
301:
299:
185:
184:
182:
157:Learn how and when to remove this message
7014:Theory and Practice of Logic Programming
6802:. In B. Meltzer and D. Michie, editors,
6705:"Abductive planning with event calculus"
6662:"Database updates in the event calculus"
3634:If we want to represent the fact that a
880:{\displaystyle {\mathit {green\_block}}}
341:{\displaystyle {\mathit {green\_block}}}
7212:
7202:" Springer Verlag, LNAI (1600): 409-30.
6955:ACM Transactions on Computational Logic
6602:
5581:{\displaystyle different(Place1,Place)}
4216:turning the traffic light upside down:
931:{\displaystyle {\mathit {red\_block)}}}
83:first-order logic with circumscription
7186:. (Guide to using the event calculus)
6543:Event Calculus Answer Set Programming
27:for representing and reasoning about
7:
6608:
6606:
6572:, epistemic and their combinations.
4852:adding citations to reliable sources
3965:adding citations to reliable sources
2862:adding citations to reliable sources
135:adding citations to reliable sources
439:{\displaystyle {\mathit {holdsAt}}}
169:In the event calculus, fluents are
6615:"A logic-based calculus of events"
4772:
4742:
4612:
4486:
4347:
4311:
3733:{\displaystyle initialise(Fluent)}
3055:{\displaystyle move(Object,Place)}
1880:
1877:
1582:{\displaystyle {\mathit {fluent}}}
1329:{\displaystyle {\mathit {fluent}}}
793:
763:
646:{\displaystyle {\mathit {fluent}}}
236:
14:
7163:R. Kowalski and F. Sadri (1995) "
6798:J. McCarthy and P. Hayes (1969).
6533:Abductive Event Calculus Planners
3188:{\displaystyle on(Object,Place1)}
2539:, such as first-order logic with
2462:is before or at the same time as
2044:{\displaystyle \neg \exists E2,T}
1510:{\displaystyle {\mathit {event}}}
1257:{\displaystyle {\mathit {event}}}
1110:{\displaystyle {\mathit {time.}}}
1074:{\displaystyle {\mathit {event}}}
682:{\displaystyle {\mathit {time.}}}
377:{\displaystyle {\mathit {table}}}
6667:The Journal of Logic Programming
6538:Discrete Event Calculus Reasoner
4824:
3937:
3120:{\displaystyle on(Object,Place)}
2834:
1615:{\displaystyle {\mathit {time}}}
1543:{\displaystyle {\mathit {time}}}
1362:{\displaystyle {\mathit {time}}}
1290:{\displaystyle {\mathit {time}}}
107:
6876:(1977). "Negation as Failure".
6660:Kowalski, Robert (1992-01-01).
7165:Variants of the Event Calculus
6767:The proper treatment of events
6553:Run-Time Event Calculus (RTEC)
5575:
5536:
5405:The equality in the condition
4799:
4790:
4724:
4709:
4657:
4648:
4600:
4585:
4531:
4522:
4468:
4459:
4426:
4374:
4365:
4299:
4290:
4257:
3909:
3870:
3849:
3816:
3727:
3706:
3615:
3576:
3546:
3543:
3525:
3483:
3471:
3432:
3417:
3359:
3341:
3302:
3290:
3251:
3236:
3182:
3140:
3114:
3075:
3049:
3010:
2038:
2035:
2011:
2005:
1984:
1944:
1929:
1895:
1853:
1835:
1829:
1805:
1768:
1750:
1716:
1695:
1692:
1677:
1468:
1414:
1215:
1161:
1032:
999:
820:
811:
745:
730:
601:
565:
281:
272:
218:
209:
1:
6770:. Malden, MA: Blackwell Pub.
7200:The Event Calculus Explained
7121:10.1016/j.artint.2020.103352
6886:10.1007/978-1-4684-3384-5_11
6860:10.1016/0004-3702(89)90068-4
6681:10.1016/0743-1066(92)90041-Z
1589:ceases to be true after the
7154:The Event Calculus Assessed
7354:
6927:10.1016/j.ijar.2023.109101
5495:{\displaystyle terminates}
4121:{\displaystyle terminates}
2980:{\displaystyle terminates}
2732:{\displaystyle terminates}
2604:predicate in terms of the
7323:Logic in computer science
7174:Mueller, Erik T. (2015).
7038:10.1017/S1471068413000690
4205:{\displaystyle happensAt}
4074:{\displaystyle initiates}
2933:{\displaystyle initiates}
2685:{\displaystyle initiates}
2641:{\displaystyle happensAt}
46:A fluent holds at a time
7333:Knowledge representation
7220:
7074:EPiC Series in Computing
6764:Lambalgen, Hamm (2005).
6736:10.1007/3-540-45632-5_17
6619:New Generation Computing
5981:
5619:
5427:{\displaystyle T1\leq T}
4889:
3929:Problem-dependent axioms
1627:Domain-independent axiom
93:constraint logic program
7108:Artificial Intelligence
6847:Artificial Intelligence
6548:Reactive Event Calculus
4816:A Prolog implementation
4030:{\displaystyle holdsAt}
2826:Domain-dependent axioms
2597:{\displaystyle holdsAt}
2278:it is not the case that
1635:, as a solution to the
1336:becomes true after the
5582:
5496:
5428:
4806:
4664:
4538:
4381:
4206:
4162:
4142:
4122:
4075:
4031:
3919:
3769:
3768:{\displaystyle Fluent}
3740:, which initiates the
3734:
3663:
3662:{\displaystyle Fluent}
3625:
3369:
3189:
3121:
3056:
2981:
2934:
2816:
2796:
2773:
2753:
2733:
2686:
2642:
2598:
2523:
2500:
2476:
2456:
2429:
2409:
2389:
2362:
2342:
2317:
2297:
2280:there exists an event
2266:
2243:
2216:
2193:
2173:
2146:
2123:
2095:
2072:
2054:The axiom states that
2045:
1863:
1702:
1616:
1583:
1544:
1511:
1481:expresses that if the
1475:
1363:
1330:
1291:
1258:
1228:expresses that if the
1222:
1111:
1075:
1039:
952:
932:
881:
827:
683:
647:
608:
524:
446:is a predicate, while
440:
398:
378:
342:
288:
53:
7198:Shanahan, M. (1999) "
7152:Brandano, S. (2001) "
6703:Eshghi, Kave (1988).
5583:
5497:
5429:
4807:
4665:
4539:
4382:
4207:
4163:
4161:{\displaystyle \leq }
4143:
4123:
4076:
4032:
3920:
3770:
3735:
3664:
3626:
3370:
3190:
3122:
3057:
2982:
2935:
2817:
2815:{\displaystyle \leq }
2797:
2774:
2772:{\displaystyle \leq }
2754:
2734:
2687:
2643:
2599:
2524:
2501:
2477:
2457:
2430:
2410:
2390:
2363:
2343:
2318:
2298:
2267:
2244:
2217:
2194:
2174:
2147:
2124:
2096:
2073:
2046:
1864:
1703:
1617:
1584:
1545:
1512:
1476:
1364:
1331:
1292:
1259:
1223:
1112:
1076:
1040:
953:
933:
882:
828:
684:
648:
609:
525:
441:
399:
379:
343:
289:
7189:Shanahan, M. (1997)
7080:. EasyChair: 75–87.
6878:Logic and Data Bases
6828:Shanahan, M. (1997)
6804:Machine Intelligence
5506:
5459:
5409:
4848:improve this section
4675:
4551:
4392:
4223:
4172:
4152:
4141:{\displaystyle <}
4132:
4085:
4041:
4003:
3961:improve this section
3782:
3744:
3673:
3638:
3380:
3202:
3131:
3066:
2995:
2944:
2900:
2858:improve this section
2806:
2795:{\displaystyle <}
2786:
2763:
2752:{\displaystyle <}
2743:
2696:
2652:
2608:
2570:
2510:
2490:
2466:
2443:
2419:
2399:
2376:
2352:
2329:
2307:
2284:
2253:
2230:
2203:
2183:
2160:
2133:
2110:
2082:
2062:
1874:
1713:
1649:
1593:
1554:
1521:
1485:
1377:
1340:
1301:
1268:
1232:
1127:
1085:
1049:
965:
942:
891:
837:
696:
657:
618:
537:
450:
408:
388:
352:
298:
181:
131:improve this section
7158:IEEE TIME Symposium
5617:in temporal order:
2553:negation as failure
2537:non-monotonic logic
1045:expresses that the
833:expresses that the
614:expresses that the
294:expresses that the
77:It was extended by
7318:1986 introductions
6631:10.1007/BF03037383
6592:Situation calculus
5578:
5492:
5424:
4802:
4660:
4534:
4377:
4202:
4158:
4138:
4118:
4071:
4027:
3915:
3765:
3730:
3659:
3621:
3365:
3185:
3117:
3052:
2977:
2930:
2812:
2792:
2769:
2749:
2729:
2682:
2638:
2594:
2522:{\displaystyle T2}
2519:
2496:
2472:
2455:{\displaystyle T1}
2452:
2425:
2405:
2388:{\displaystyle E2}
2385:
2358:
2341:{\displaystyle E2}
2338:
2313:
2296:{\displaystyle E2}
2293:
2265:{\displaystyle T2}
2262:
2242:{\displaystyle T1}
2239:
2215:{\displaystyle T1}
2212:
2189:
2172:{\displaystyle E1}
2169:
2145:{\displaystyle T1}
2142:
2129:happens at a time
2122:{\displaystyle E1}
2119:
2094:{\displaystyle T2}
2091:
2068:
2041:
1859:
1698:
1633:situation calculus
1612:
1579:
1540:
1507:
1471:
1359:
1326:
1287:
1254:
1218:
1107:
1071:
1035:
948:
928:
887:is moved onto the
877:
823:
679:
643:
604:
520:
436:
394:
374:
338:
284:
99:Fluents and events
7328:Logic programming
6962:(2): 11:1–11:37.
6895:978-1-4684-3386-9
6777:978-0-470-75925-7
6745:978-3-540-45632-2
6582:First-order logic
4884:
4883:
4876:
3997:
3996:
3989:
2991:domain, an event
2894:
2893:
2886:
2499:{\displaystyle T}
2475:{\displaystyle T}
2428:{\displaystyle T}
2408:{\displaystyle F}
2361:{\displaystyle T}
2316:{\displaystyle T}
2192:{\displaystyle F}
2071:{\displaystyle F}
951:{\displaystyle 3}
397:{\displaystyle 1}
167:
166:
159:
7345:
7302:
7299:
7296:
7293:
7290:
7287:
7284:
7281:
7278:
7275:
7272:
7269:
7266:
7263:
7260:
7257:
7254:
7251:
7248:
7245:
7242:
7239:
7236:
7233:
7230:
7227:
7224:
7217:
7141:
7140:
7098:
7092:
7091:
7089:
7065:
7059:
7058:
7040:
7030:
7004:
6998:
6997:
6971:
6945:
6939:
6938:
6906:
6900:
6899:
6870:
6864:
6863:
6841:
6835:
6826:
6820:
6813:
6807:
6796:
6790:
6789:
6761:
6755:
6754:
6753:
6752:
6719:
6713:
6712:
6700:
6694:
6693:
6683:
6657:
6651:
6650:
6610:
6519:
6516:
6513:
6510:
6507:
6504:
6501:
6498:
6495:
6492:
6489:
6486:
6483:
6480:
6477:
6474:
6471:
6468:
6465:
6462:
6459:
6456:
6453:
6450:
6447:
6444:
6441:
6438:
6435:
6432:
6429:
6426:
6423:
6420:
6417:
6414:
6411:
6408:
6405:
6402:
6399:
6396:
6393:
6390:
6387:
6384:
6381:
6378:
6375:
6372:
6369:
6366:
6363:
6360:
6357:
6354:
6351:
6348:
6345:
6342:
6339:
6336:
6333:
6330:
6327:
6324:
6321:
6318:
6315:
6312:
6309:
6306:
6303:
6300:
6297:
6294:
6291:
6288:
6285:
6282:
6279:
6276:
6273:
6270:
6267:
6264:
6261:
6258:
6255:
6252:
6249:
6246:
6243:
6240:
6237:
6234:
6231:
6228:
6225:
6222:
6219:
6216:
6213:
6210:
6207:
6204:
6201:
6198:
6195:
6192:
6189:
6186:
6183:
6180:
6177:
6174:
6171:
6168:
6165:
6162:
6159:
6156:
6153:
6150:
6147:
6144:
6141:
6138:
6135:
6132:
6129:
6126:
6123:
6120:
6117:
6114:
6111:
6108:
6105:
6102:
6099:
6096:
6093:
6090:
6087:
6084:
6081:
6078:
6075:
6072:
6069:
6066:
6063:
6060:
6057:
6054:
6051:
6048:
6045:
6042:
6039:
6036:
6033:
6030:
6027:
6024:
6021:
6018:
6015:
6012:
6009:
6006:
6003:
6000:
5997:
5994:
5991:
5988:
5985:
5971:
5968:
5965:
5962:
5959:
5956:
5953:
5950:
5947:
5944:
5941:
5938:
5935:
5932:
5929:
5926:
5923:
5920:
5917:
5914:
5911:
5908:
5905:
5902:
5899:
5896:
5893:
5890:
5887:
5884:
5881:
5878:
5875:
5872:
5869:
5866:
5863:
5860:
5857:
5854:
5851:
5848:
5845:
5842:
5839:
5836:
5833:
5830:
5827:
5824:
5821:
5818:
5815:
5812:
5809:
5806:
5803:
5800:
5797:
5794:
5791:
5788:
5785:
5782:
5779:
5776:
5773:
5770:
5767:
5764:
5761:
5758:
5755:
5752:
5749:
5746:
5743:
5740:
5737:
5734:
5731:
5728:
5725:
5722:
5719:
5716:
5713:
5710:
5707:
5704:
5701:
5698:
5695:
5692:
5689:
5686:
5683:
5680:
5677:
5674:
5671:
5668:
5665:
5662:
5659:
5656:
5653:
5650:
5647:
5644:
5641:
5638:
5635:
5632:
5629:
5626:
5623:
5615:what holds when?
5612:
5611:
5608:
5605:
5602:
5599:
5596:
5587:
5585:
5584:
5579:
5501:
5499:
5498:
5493:
5454:
5453:
5450:
5447:
5444:
5441:
5438:
5433:
5431:
5430:
5425:
5398:
5397:
5394:
5391:
5388:
5385:
5382:
5379:
5376:
5364:
5361:
5358:
5355:
5352:
5349:
5346:
5343:
5340:
5337:
5334:
5331:
5328:
5325:
5322:
5319:
5316:
5313:
5310:
5307:
5304:
5301:
5298:
5295:
5292:
5289:
5286:
5283:
5280:
5277:
5274:
5271:
5268:
5265:
5262:
5259:
5256:
5253:
5250:
5247:
5244:
5241:
5238:
5235:
5232:
5229:
5226:
5223:
5220:
5217:
5214:
5211:
5208:
5205:
5202:
5199:
5196:
5193:
5190:
5187:
5184:
5181:
5178:
5175:
5172:
5169:
5166:
5163:
5160:
5157:
5154:
5151:
5148:
5145:
5142:
5139:
5136:
5133:
5130:
5127:
5124:
5121:
5118:
5115:
5112:
5109:
5106:
5103:
5100:
5097:
5094:
5091:
5088:
5085:
5082:
5079:
5076:
5073:
5070:
5067:
5064:
5061:
5058:
5055:
5052:
5049:
5046:
5043:
5040:
5037:
5034:
5031:
5028:
5025:
5022:
5019:
5016:
5013:
5010:
5007:
5004:
5001:
4998:
4995:
4992:
4989:
4986:
4983:
4980:
4977:
4974:
4971:
4968:
4965:
4962:
4959:
4956:
4953:
4950:
4947:
4944:
4941:
4938:
4935:
4932:
4929:
4926:
4923:
4920:
4917:
4914:
4911:
4908:
4905:
4902:
4899:
4896:
4893:
4879:
4872:
4868:
4865:
4859:
4828:
4820:
4811:
4809:
4808:
4803:
4708:
4707:
4669:
4667:
4666:
4661:
4584:
4583:
4543:
4541:
4540:
4535:
4425:
4424:
4386:
4384:
4383:
4378:
4256:
4255:
4211:
4209:
4208:
4203:
4167:
4165:
4164:
4159:
4147:
4145:
4144:
4139:
4127:
4125:
4124:
4119:
4080:
4078:
4077:
4072:
4036:
4034:
4033:
4028:
3992:
3985:
3981:
3978:
3972:
3941:
3933:
3924:
3922:
3921:
3916:
3815:
3814:
3774:
3772:
3771:
3766:
3739:
3737:
3736:
3731:
3668:
3666:
3665:
3660:
3630:
3628:
3627:
3622:
3416:
3415:
3374:
3372:
3371:
3366:
3235:
3234:
3194:
3192:
3191:
3186:
3126:
3124:
3123:
3118:
3061:
3059:
3058:
3053:
2986:
2984:
2983:
2978:
2939:
2937:
2936:
2931:
2889:
2882:
2878:
2875:
2869:
2838:
2830:
2821:
2819:
2818:
2813:
2801:
2799:
2798:
2793:
2778:
2776:
2775:
2770:
2758:
2756:
2755:
2750:
2738:
2736:
2735:
2730:
2691:
2689:
2688:
2683:
2647:
2645:
2644:
2639:
2603:
2601:
2600:
2595:
2528:
2526:
2525:
2520:
2505:
2503:
2502:
2497:
2481:
2479:
2478:
2473:
2461:
2459:
2458:
2453:
2434:
2432:
2431:
2426:
2414:
2412:
2411:
2406:
2394:
2392:
2391:
2386:
2367:
2365:
2364:
2359:
2347:
2345:
2344:
2339:
2322:
2320:
2319:
2314:
2302:
2300:
2299:
2294:
2271:
2269:
2268:
2263:
2248:
2246:
2245:
2240:
2221:
2219:
2218:
2213:
2198:
2196:
2195:
2190:
2178:
2176:
2175:
2170:
2151:
2149:
2148:
2143:
2128:
2126:
2125:
2120:
2100:
2098:
2097:
2092:
2078:holds at a time
2077:
2075:
2074:
2069:
2050:
2048:
2047:
2042:
1983:
1982:
1928:
1927:
1868:
1866:
1865:
1860:
1804:
1803:
1749:
1748:
1707:
1705:
1704:
1699:
1676:
1675:
1621:
1619:
1618:
1613:
1611:
1610:
1588:
1586:
1585:
1580:
1578:
1577:
1549:
1547:
1546:
1541:
1539:
1538:
1516:
1514:
1513:
1508:
1506:
1505:
1480:
1478:
1477:
1472:
1413:
1412:
1368:
1366:
1365:
1360:
1358:
1357:
1335:
1333:
1332:
1327:
1325:
1324:
1296:
1294:
1293:
1288:
1286:
1285:
1263:
1261:
1260:
1255:
1253:
1252:
1227:
1225:
1224:
1219:
1160:
1159:
1116:
1114:
1113:
1108:
1106:
1105:
1080:
1078:
1077:
1072:
1070:
1069:
1044:
1042:
1041:
1036:
998:
997:
957:
955:
954:
949:
937:
935:
934:
929:
927:
926:
886:
884:
883:
878:
876:
875:
832:
830:
829:
824:
729:
728:
688:
686:
685:
680:
678:
677:
652:
650:
649:
644:
642:
641:
613:
611:
610:
605:
564:
563:
529:
527:
526:
521:
519:
518:
445:
443:
442:
437:
435:
434:
403:
401:
400:
395:
383:
381:
380:
375:
373:
372:
347:
345:
344:
339:
337:
336:
293:
291:
290:
285:
208:
207:
162:
155:
151:
148:
142:
111:
103:
7353:
7352:
7348:
7347:
7346:
7344:
7343:
7342:
7338:Logical calculi
7308:
7307:
7306:
7305:
7301:
7300:
7297:
7294:
7291:
7288:
7285:
7282:
7279:
7276:
7273:
7270:
7267:
7264:
7261:
7258:
7255:
7252:
7249:
7246:
7243:
7240:
7237:
7234:
7231:
7228:
7225:
7222:
7218:
7214:
7209:
7149:
7147:Further reading
7144:
7100:
7099:
7095:
7067:
7066:
7062:
7006:
7005:
7001:
6978:10.1145/2699916
6947:
6946:
6942:
6908:
6907:
6903:
6896:
6872:
6871:
6867:
6843:
6842:
6838:
6827:
6823:
6814:
6810:
6797:
6793:
6778:
6763:
6762:
6758:
6750:
6748:
6746:
6721:
6720:
6716:
6702:
6701:
6697:
6659:
6658:
6654:
6612:
6611:
6604:
6600:
6578:
6566:
6526:
6524:Reasoning tools
6521:
6520:
6517:
6514:
6511:
6508:
6505:
6502:
6499:
6496:
6493:
6490:
6487:
6484:
6481:
6478:
6475:
6472:
6469:
6466:
6463:
6460:
6457:
6454:
6451:
6448:
6445:
6442:
6439:
6436:
6433:
6430:
6427:
6424:
6421:
6418:
6415:
6412:
6409:
6406:
6403:
6400:
6397:
6394:
6391:
6388:
6385:
6382:
6379:
6376:
6373:
6370:
6367:
6364:
6361:
6358:
6355:
6352:
6349:
6346:
6343:
6340:
6337:
6334:
6331:
6328:
6325:
6322:
6319:
6316:
6313:
6310:
6307:
6304:
6301:
6298:
6295:
6292:
6289:
6286:
6283:
6280:
6277:
6274:
6271:
6268:
6265:
6262:
6259:
6256:
6253:
6250:
6247:
6244:
6241:
6238:
6235:
6232:
6229:
6226:
6223:
6220:
6217:
6214:
6211:
6208:
6205:
6202:
6199:
6196:
6193:
6190:
6187:
6184:
6181:
6178:
6175:
6172:
6169:
6166:
6163:
6160:
6157:
6154:
6151:
6148:
6145:
6142:
6139:
6136:
6133:
6130:
6127:
6124:
6121:
6118:
6115:
6112:
6109:
6106:
6103:
6100:
6097:
6094:
6091:
6088:
6085:
6082:
6079:
6076:
6073:
6070:
6067:
6064:
6061:
6058:
6055:
6052:
6049:
6046:
6043:
6040:
6037:
6034:
6031:
6028:
6025:
6022:
6019:
6016:
6013:
6010:
6007:
6004:
6001:
5998:
5995:
5992:
5989:
5986:
5983:
5973:
5972:
5969:
5966:
5963:
5960:
5957:
5954:
5951:
5948:
5945:
5942:
5939:
5936:
5933:
5930:
5927:
5924:
5921:
5918:
5915:
5912:
5909:
5906:
5903:
5900:
5897:
5894:
5891:
5888:
5885:
5882:
5879:
5876:
5873:
5870:
5867:
5864:
5861:
5858:
5855:
5852:
5849:
5846:
5843:
5840:
5837:
5834:
5831:
5828:
5825:
5822:
5819:
5816:
5813:
5810:
5807:
5804:
5801:
5798:
5795:
5792:
5789:
5786:
5783:
5780:
5777:
5774:
5771:
5768:
5765:
5762:
5759:
5756:
5753:
5750:
5747:
5744:
5741:
5738:
5735:
5732:
5729:
5726:
5723:
5720:
5717:
5714:
5711:
5708:
5705:
5702:
5699:
5696:
5693:
5690:
5687:
5684:
5681:
5678:
5675:
5672:
5669:
5666:
5663:
5660:
5657:
5654:
5651:
5648:
5645:
5642:
5639:
5636:
5633:
5630:
5627:
5624:
5621:
5609:
5606:
5603:
5600:
5597:
5594:
5504:
5503:
5457:
5456:
5451:
5448:
5445:
5442:
5439:
5436:
5407:
5406:
5395:
5392:
5389:
5386:
5383:
5380:
5377:
5374:
5366:
5365:
5362:
5359:
5356:
5353:
5350:
5347:
5344:
5341:
5338:
5335:
5332:
5329:
5326:
5323:
5320:
5317:
5314:
5311:
5308:
5305:
5302:
5299:
5296:
5293:
5290:
5287:
5284:
5281:
5278:
5275:
5272:
5269:
5266:
5263:
5260:
5257:
5254:
5251:
5248:
5245:
5242:
5239:
5236:
5233:
5230:
5227:
5224:
5221:
5218:
5215:
5212:
5209:
5206:
5203:
5200:
5197:
5194:
5191:
5188:
5185:
5182:
5179:
5176:
5173:
5170:
5167:
5164:
5161:
5158:
5155:
5152:
5149:
5146:
5143:
5140:
5137:
5134:
5131:
5128:
5125:
5122:
5119:
5116:
5113:
5110:
5107:
5104:
5101:
5098:
5095:
5092:
5089:
5086:
5083:
5080:
5077:
5074:
5071:
5068:
5065:
5062:
5059:
5056:
5053:
5050:
5047:
5044:
5041:
5038:
5035:
5032:
5029:
5026:
5023:
5020:
5017:
5014:
5011:
5008:
5005:
5002:
4999:
4996:
4993:
4990:
4987:
4984:
4981:
4978:
4975:
4972:
4969:
4966:
4963:
4960:
4957:
4954:
4951:
4948:
4945:
4942:
4939:
4936:
4933:
4930:
4927:
4924:
4921:
4918:
4915:
4912:
4909:
4906:
4903:
4900:
4897:
4894:
4891:
4880:
4869:
4863:
4860:
4845:
4829:
4818:
4673:
4672:
4549:
4548:
4390:
4389:
4221:
4220:
4170:
4169:
4150:
4149:
4130:
4129:
4083:
4082:
4039:
4038:
4001:
4000:
3993:
3982:
3976:
3973:
3958:
3942:
3931:
3780:
3779:
3742:
3741:
3671:
3670:
3636:
3635:
3378:
3377:
3200:
3199:
3129:
3128:
3064:
3063:
2993:
2992:
2942:
2941:
2898:
2897:
2890:
2879:
2873:
2870:
2855:
2839:
2828:
2804:
2803:
2784:
2783:
2761:
2760:
2741:
2740:
2694:
2693:
2650:
2649:
2606:
2605:
2568:
2567:
2541:circumscription
2508:
2507:
2488:
2487:
2464:
2463:
2441:
2440:
2417:
2416:
2397:
2396:
2374:
2373:
2350:
2349:
2327:
2326:
2305:
2304:
2282:
2281:
2251:
2250:
2228:
2227:
2201:
2200:
2181:
2180:
2158:
2157:
2131:
2130:
2108:
2107:
2080:
2079:
2060:
2059:
1872:
1871:
1711:
1710:
1647:
1646:
1629:
1591:
1590:
1552:
1551:
1519:
1518:
1517:happens at the
1483:
1482:
1375:
1374:
1338:
1337:
1299:
1298:
1266:
1265:
1264:happens at the
1230:
1229:
1125:
1124:
1083:
1082:
1081:happens at the
1047:
1046:
963:
962:
940:
939:
889:
888:
835:
834:
694:
693:
655:
654:
616:
615:
535:
534:
448:
447:
406:
405:
386:
385:
350:
349:
296:
295:
179:
178:
177:. For example,
163:
152:
146:
143:
128:
112:
101:
79:Murray Shanahan
64:Robert Kowalski
52:
49:
47:
17:
12:
11:
5:
7351:
7349:
7341:
7340:
7335:
7330:
7325:
7320:
7310:
7309:
7304:
7303:
7221:
7211:
7210:
7208:
7205:
7204:
7203:
7196:
7187:
7184:978-0128014165
7172:
7161:
7148:
7145:
7143:
7142:
7093:
7060:
7021:(2): 213–245.
6999:
6940:
6901:
6894:
6865:
6836:
6821:
6808:
6791:
6776:
6756:
6744:
6714:
6695:
6674:(1): 121–146.
6652:
6601:
6599:
6596:
6595:
6594:
6589:
6584:
6577:
6574:
6565:
6562:
6561:
6560:
6555:
6550:
6545:
6540:
6535:
6525:
6522:
5982:
5620:
5590:
5589:
5577:
5574:
5571:
5568:
5565:
5562:
5559:
5556:
5553:
5550:
5547:
5544:
5541:
5538:
5535:
5532:
5529:
5526:
5523:
5520:
5517:
5514:
5511:
5491:
5488:
5485:
5482:
5479:
5476:
5473:
5470:
5467:
5464:
5423:
5420:
5417:
5414:
5403:
5400:
4890:
4882:
4881:
4832:
4830:
4823:
4817:
4814:
4813:
4812:
4801:
4798:
4795:
4792:
4789:
4786:
4783:
4780:
4777:
4774:
4771:
4768:
4765:
4762:
4759:
4756:
4753:
4750:
4747:
4744:
4741:
4738:
4735:
4732:
4729:
4726:
4723:
4720:
4717:
4714:
4711:
4706:
4703:
4700:
4697:
4694:
4691:
4688:
4685:
4682:
4670:
4659:
4656:
4653:
4650:
4647:
4644:
4641:
4638:
4635:
4632:
4629:
4626:
4623:
4620:
4617:
4614:
4611:
4608:
4605:
4602:
4599:
4596:
4593:
4590:
4587:
4582:
4579:
4576:
4573:
4570:
4567:
4564:
4561:
4558:
4545:
4544:
4533:
4530:
4527:
4524:
4521:
4518:
4515:
4512:
4509:
4506:
4503:
4500:
4497:
4494:
4491:
4488:
4485:
4482:
4479:
4476:
4473:
4470:
4467:
4464:
4461:
4458:
4455:
4452:
4449:
4446:
4443:
4440:
4437:
4434:
4431:
4428:
4423:
4420:
4417:
4414:
4411:
4408:
4405:
4402:
4399:
4387:
4376:
4373:
4370:
4367:
4364:
4361:
4358:
4355:
4352:
4349:
4346:
4343:
4340:
4337:
4334:
4331:
4328:
4325:
4322:
4319:
4316:
4313:
4310:
4307:
4304:
4301:
4298:
4295:
4292:
4289:
4286:
4283:
4280:
4277:
4274:
4271:
4268:
4265:
4262:
4259:
4254:
4251:
4248:
4245:
4242:
4239:
4236:
4233:
4230:
4201:
4198:
4195:
4192:
4189:
4186:
4183:
4180:
4177:
4157:
4137:
4117:
4114:
4111:
4108:
4105:
4102:
4099:
4096:
4093:
4090:
4070:
4067:
4064:
4061:
4058:
4055:
4052:
4049:
4046:
4026:
4023:
4020:
4017:
4014:
4011:
4008:
3995:
3994:
3945:
3943:
3936:
3930:
3927:
3926:
3925:
3914:
3911:
3908:
3905:
3902:
3899:
3896:
3893:
3890:
3887:
3884:
3881:
3878:
3875:
3872:
3869:
3866:
3863:
3860:
3857:
3854:
3851:
3848:
3845:
3842:
3839:
3836:
3833:
3830:
3827:
3824:
3821:
3818:
3813:
3810:
3807:
3804:
3801:
3798:
3795:
3792:
3789:
3764:
3761:
3758:
3755:
3752:
3749:
3729:
3726:
3723:
3720:
3717:
3714:
3711:
3708:
3705:
3702:
3699:
3696:
3693:
3690:
3687:
3684:
3681:
3678:
3658:
3655:
3652:
3649:
3646:
3643:
3632:
3631:
3620:
3617:
3614:
3611:
3608:
3605:
3602:
3599:
3596:
3593:
3590:
3587:
3584:
3581:
3578:
3575:
3572:
3569:
3566:
3563:
3560:
3557:
3554:
3551:
3548:
3545:
3542:
3539:
3536:
3533:
3530:
3527:
3524:
3521:
3518:
3515:
3512:
3509:
3506:
3503:
3500:
3497:
3494:
3491:
3488:
3485:
3482:
3479:
3476:
3473:
3470:
3467:
3464:
3461:
3458:
3455:
3452:
3449:
3446:
3443:
3440:
3437:
3434:
3431:
3428:
3425:
3422:
3419:
3414:
3411:
3408:
3405:
3402:
3399:
3396:
3393:
3390:
3387:
3375:
3364:
3361:
3358:
3355:
3352:
3349:
3346:
3343:
3340:
3337:
3334:
3331:
3328:
3325:
3322:
3319:
3316:
3313:
3310:
3307:
3304:
3301:
3298:
3295:
3292:
3289:
3286:
3283:
3280:
3277:
3274:
3271:
3268:
3265:
3262:
3259:
3256:
3253:
3250:
3247:
3244:
3241:
3238:
3233:
3230:
3227:
3224:
3221:
3218:
3215:
3212:
3209:
3184:
3181:
3178:
3175:
3172:
3169:
3166:
3163:
3160:
3157:
3154:
3151:
3148:
3145:
3142:
3139:
3136:
3116:
3113:
3110:
3107:
3104:
3101:
3098:
3095:
3092:
3089:
3086:
3083:
3080:
3077:
3074:
3071:
3051:
3048:
3045:
3042:
3039:
3036:
3033:
3030:
3027:
3024:
3021:
3018:
3015:
3012:
3009:
3006:
3003:
3000:
2976:
2973:
2970:
2967:
2964:
2961:
2958:
2955:
2952:
2949:
2929:
2926:
2923:
2920:
2917:
2914:
2911:
2908:
2905:
2892:
2891:
2842:
2840:
2833:
2827:
2824:
2811:
2791:
2768:
2748:
2728:
2725:
2722:
2719:
2716:
2713:
2710:
2707:
2704:
2701:
2681:
2678:
2675:
2672:
2669:
2666:
2663:
2660:
2657:
2637:
2634:
2631:
2628:
2625:
2622:
2619:
2616:
2613:
2593:
2590:
2587:
2584:
2581:
2578:
2575:
2561:if and only if
2533:
2532:
2531:
2530:
2518:
2515:
2495:
2485:
2471:
2451:
2448:
2438:
2424:
2404:
2384:
2381:
2371:
2357:
2337:
2334:
2312:
2292:
2289:
2275:
2261:
2258:
2238:
2235:
2225:
2211:
2208:
2188:
2168:
2165:
2155:
2141:
2138:
2118:
2115:
2104:
2090:
2087:
2067:
2052:
2051:
2040:
2037:
2034:
2031:
2028:
2025:
2022:
2019:
2016:
2013:
2010:
2007:
2004:
2001:
1998:
1995:
1992:
1989:
1986:
1981:
1978:
1975:
1972:
1969:
1966:
1963:
1960:
1957:
1954:
1949:
1946:
1943:
1940:
1937:
1934:
1931:
1926:
1923:
1920:
1917:
1914:
1911:
1908:
1905:
1902:
1897:
1894:
1891:
1888:
1885:
1882:
1879:
1869:
1858:
1855:
1852:
1849:
1846:
1843:
1840:
1837:
1834:
1831:
1828:
1825:
1822:
1819:
1816:
1813:
1810:
1807:
1802:
1799:
1796:
1793:
1790:
1787:
1784:
1781:
1778:
1773:
1770:
1767:
1764:
1761:
1758:
1755:
1752:
1747:
1744:
1741:
1738:
1735:
1732:
1729:
1726:
1723:
1718:
1708:
1697:
1694:
1691:
1688:
1685:
1682:
1679:
1674:
1671:
1668:
1665:
1662:
1659:
1656:
1628:
1625:
1624:
1623:
1609:
1606:
1603:
1600:
1576:
1573:
1570:
1567:
1564:
1561:
1537:
1534:
1531:
1528:
1504:
1501:
1498:
1495:
1492:
1470:
1467:
1464:
1461:
1458:
1455:
1452:
1449:
1446:
1443:
1440:
1437:
1434:
1431:
1428:
1425:
1422:
1419:
1416:
1411:
1408:
1405:
1402:
1399:
1396:
1393:
1390:
1387:
1384:
1371:
1370:
1356:
1353:
1350:
1347:
1323:
1320:
1317:
1314:
1311:
1308:
1284:
1281:
1278:
1275:
1251:
1248:
1245:
1242:
1239:
1217:
1214:
1211:
1208:
1205:
1202:
1199:
1196:
1193:
1190:
1187:
1184:
1181:
1178:
1175:
1172:
1169:
1166:
1163:
1158:
1155:
1152:
1149:
1146:
1143:
1140:
1137:
1134:
1118:
1117:
1104:
1101:
1098:
1095:
1092:
1068:
1065:
1062:
1059:
1056:
1034:
1031:
1028:
1025:
1022:
1019:
1016:
1013:
1010:
1007:
1004:
1001:
996:
993:
990:
987:
984:
981:
978:
975:
972:
958:. In general:
947:
925:
922:
919:
916:
913:
910:
907:
904:
901:
898:
874:
871:
868:
865:
862:
859:
856:
853:
850:
847:
844:
822:
819:
816:
813:
810:
807:
804:
801:
798:
795:
792:
789:
786:
783:
780:
777:
774:
771:
768:
765:
762:
759:
756:
753:
750:
747:
744:
741:
738:
735:
732:
727:
724:
721:
718:
715:
712:
709:
706:
703:
690:
689:
676:
673:
670:
667:
664:
640:
637:
634:
631:
628:
625:
603:
600:
597:
594:
591:
588:
585:
582:
579:
576:
573:
570:
567:
562:
559:
556:
553:
550:
547:
544:
517:
514:
511:
508:
505:
502:
499:
496:
493:
490:
487:
484:
481:
478:
475:
472:
469:
466:
463:
460:
457:
433:
430:
427:
424:
421:
418:
415:
393:
371:
368:
365:
362:
359:
335:
332:
329:
326:
323:
320:
317:
314:
311:
308:
305:
283:
280:
277:
274:
271:
268:
265:
262:
259:
256:
253:
250:
247:
244:
241:
238:
235:
232:
229:
226:
223:
220:
217:
214:
211:
206:
203:
200:
197:
194:
191:
188:
165:
164:
115:
113:
106:
100:
97:
44:
25:logical theory
21:event calculus
15:
13:
10:
9:
6:
4:
3:
2:
7350:
7339:
7336:
7334:
7331:
7329:
7326:
7324:
7321:
7319:
7316:
7315:
7313:
7219:For example:
7216:
7213:
7206:
7201:
7197:
7194:
7193:
7188:
7185:
7181:
7177:
7173:
7170:
7166:
7162:
7159:
7155:
7151:
7150:
7146:
7138:
7134:
7130:
7126:
7122:
7118:
7114:
7110:
7109:
7104:
7097:
7094:
7088:
7087:10.29007/zswj
7083:
7079:
7075:
7071:
7064:
7061:
7056:
7052:
7048:
7044:
7039:
7034:
7029:
7024:
7020:
7016:
7015:
7010:
7003:
7000:
6995:
6991:
6987:
6983:
6979:
6975:
6970:
6965:
6961:
6957:
6956:
6951:
6944:
6941:
6936:
6932:
6928:
6924:
6920:
6916:
6912:
6905:
6902:
6897:
6891:
6887:
6883:
6879:
6875:
6869:
6866:
6861:
6857:
6853:
6849:
6848:
6840:
6837:
6833:
6832:
6825:
6822:
6818:
6812:
6809:
6805:
6801:
6795:
6792:
6787:
6783:
6779:
6773:
6769:
6768:
6760:
6757:
6747:
6741:
6737:
6733:
6729:
6725:
6718:
6715:
6710:
6706:
6699:
6696:
6691:
6687:
6682:
6677:
6673:
6669:
6668:
6663:
6656:
6653:
6648:
6644:
6640:
6636:
6632:
6628:
6624:
6620:
6616:
6609:
6607:
6603:
6597:
6593:
6590:
6588:
6587:Frame problem
6585:
6583:
6580:
6579:
6575:
6573:
6571:
6570:probabilistic
6563:
6559:
6556:
6554:
6551:
6549:
6546:
6544:
6541:
6539:
6536:
6534:
6531:
6530:
6529:
6523:
5980:
5978:
5618:
5616:
5572:
5569:
5566:
5563:
5560:
5557:
5554:
5551:
5548:
5545:
5542:
5539:
5533:
5530:
5527:
5524:
5521:
5518:
5515:
5512:
5509:
5489:
5486:
5483:
5480:
5477:
5474:
5471:
5468:
5465:
5462:
5421:
5418:
5415:
5412:
5404:
5401:
5371:
5370:
5369:
4888:
4878:
4875:
4867:
4857:
4853:
4849:
4843:
4842:
4838:
4833:This section
4831:
4827:
4822:
4821:
4815:
4796:
4793:
4787:
4784:
4781:
4778:
4775:
4769:
4766:
4763:
4760:
4757:
4754:
4751:
4748:
4745:
4739:
4736:
4733:
4730:
4727:
4721:
4718:
4715:
4712:
4671:
4654:
4651:
4645:
4642:
4639:
4636:
4633:
4630:
4627:
4624:
4621:
4618:
4615:
4609:
4606:
4603:
4597:
4594:
4591:
4588:
4547:
4546:
4528:
4525:
4519:
4516:
4513:
4510:
4507:
4504:
4501:
4498:
4495:
4492:
4489:
4483:
4480:
4477:
4474:
4471:
4465:
4462:
4456:
4453:
4450:
4447:
4444:
4441:
4438:
4435:
4432:
4429:
4388:
4371:
4368:
4362:
4359:
4356:
4353:
4350:
4344:
4341:
4338:
4335:
4332:
4329:
4326:
4323:
4320:
4317:
4314:
4308:
4305:
4302:
4296:
4293:
4287:
4284:
4281:
4278:
4275:
4272:
4269:
4266:
4263:
4260:
4219:
4218:
4217:
4213:
4199:
4196:
4193:
4190:
4187:
4184:
4181:
4178:
4175:
4155:
4135:
4115:
4112:
4109:
4106:
4103:
4100:
4097:
4094:
4091:
4088:
4068:
4065:
4062:
4059:
4056:
4053:
4050:
4047:
4044:
4024:
4021:
4018:
4015:
4012:
4009:
4006:
3991:
3988:
3980:
3970:
3966:
3962:
3956:
3955:
3951:
3946:This section
3944:
3940:
3935:
3934:
3928:
3912:
3906:
3903:
3900:
3897:
3894:
3891:
3888:
3885:
3882:
3879:
3876:
3873:
3867:
3864:
3861:
3858:
3855:
3852:
3846:
3843:
3840:
3837:
3834:
3831:
3828:
3825:
3822:
3819:
3778:
3777:
3776:
3775:at any time:
3762:
3759:
3756:
3753:
3750:
3747:
3724:
3721:
3718:
3715:
3712:
3709:
3703:
3700:
3697:
3694:
3691:
3688:
3685:
3682:
3679:
3676:
3656:
3653:
3650:
3647:
3644:
3641:
3618:
3612:
3609:
3606:
3603:
3600:
3597:
3594:
3591:
3588:
3585:
3582:
3579:
3573:
3570:
3567:
3564:
3561:
3558:
3555:
3552:
3549:
3540:
3537:
3534:
3531:
3528:
3522:
3519:
3516:
3513:
3510:
3507:
3504:
3501:
3498:
3495:
3492:
3489:
3486:
3480:
3477:
3474:
3468:
3465:
3462:
3459:
3456:
3453:
3450:
3447:
3444:
3441:
3438:
3435:
3429:
3426:
3423:
3420:
3376:
3362:
3356:
3353:
3350:
3347:
3344:
3338:
3335:
3332:
3329:
3326:
3323:
3320:
3317:
3314:
3311:
3308:
3305:
3299:
3296:
3293:
3287:
3284:
3281:
3278:
3275:
3272:
3269:
3266:
3263:
3260:
3257:
3254:
3248:
3245:
3242:
3239:
3198:
3197:
3196:
3179:
3176:
3173:
3170:
3167:
3164:
3161:
3158:
3155:
3152:
3149:
3146:
3143:
3137:
3134:
3111:
3108:
3105:
3102:
3099:
3096:
3093:
3090:
3087:
3084:
3081:
3078:
3072:
3069:
3046:
3043:
3040:
3037:
3034:
3031:
3028:
3025:
3022:
3019:
3016:
3013:
3007:
3004:
3001:
2998:
2990:
2974:
2971:
2968:
2965:
2962:
2959:
2956:
2953:
2950:
2947:
2927:
2924:
2921:
2918:
2915:
2912:
2909:
2906:
2903:
2888:
2885:
2877:
2867:
2863:
2859:
2853:
2852:
2848:
2843:This section
2841:
2837:
2832:
2831:
2825:
2823:
2809:
2789:
2780:
2766:
2746:
2726:
2723:
2720:
2717:
2714:
2711:
2708:
2705:
2702:
2699:
2679:
2676:
2673:
2670:
2667:
2664:
2661:
2658:
2655:
2635:
2632:
2629:
2626:
2623:
2620:
2617:
2614:
2611:
2591:
2588:
2585:
2582:
2579:
2576:
2573:
2564:
2562:
2558:
2554:
2550:
2546:
2545:logic program
2542:
2538:
2516:
2513:
2493:
2486:
2484:
2469:
2449:
2446:
2439:
2437:
2422:
2402:
2382:
2379:
2372:
2370:
2355:
2335:
2332:
2325:
2324:
2310:
2290:
2287:
2279:
2276:
2274:
2259:
2256:
2236:
2233:
2226:
2224:
2209:
2206:
2186:
2166:
2163:
2156:
2154:
2139:
2136:
2116:
2113:
2105:
2103:
2088:
2085:
2065:
2057:
2056:
2055:
2032:
2029:
2026:
2023:
2020:
2017:
2014:
2008:
2002:
1999:
1996:
1993:
1990:
1987:
1947:
1941:
1938:
1935:
1932:
1892:
1889:
1886:
1883:
1870:
1856:
1850:
1847:
1844:
1841:
1838:
1832:
1826:
1823:
1820:
1817:
1814:
1811:
1808:
1771:
1765:
1762:
1759:
1756:
1753:
1709:
1689:
1686:
1683:
1680:
1645:
1644:
1643:
1640:
1638:
1637:frame problem
1634:
1626:
1465:
1462:
1459:
1456:
1453:
1450:
1447:
1444:
1441:
1438:
1435:
1432:
1429:
1426:
1423:
1420:
1417:
1373:
1372:
1212:
1209:
1206:
1203:
1200:
1197:
1194:
1191:
1188:
1185:
1182:
1179:
1176:
1173:
1170:
1167:
1164:
1123:
1122:
1121:
1029:
1026:
1023:
1020:
1017:
1014:
1011:
1008:
1005:
1002:
961:
960:
959:
945:
817:
814:
808:
805:
802:
799:
796:
790:
787:
784:
781:
778:
775:
772:
769:
766:
760:
757:
754:
751:
748:
742:
739:
736:
733:
653:holds at the
598:
595:
592:
589:
586:
583:
580:
577:
574:
571:
568:
533:
532:
531:
391:
278:
275:
269:
266:
263:
260:
257:
254:
251:
248:
245:
242:
239:
233:
230:
227:
224:
221:
215:
212:
176:
172:
161:
158:
150:
140:
136:
132:
126:
125:
121:
116:This section
114:
110:
105:
104:
98:
96:
94:
90:
89:Van Lambalgen
86:
84:
80:
75:
73:
69:
68:logic program
65:
60:
58:
51:
42:
40:
39:
33:
30:
26:
22:
7215:
7195:. MIT Press.
7190:
7175:
7168:
7157:
7112:
7106:
7096:
7077:
7073:
7063:
7018:
7012:
7002:
6959:
6953:
6943:
6918:
6914:
6904:
6877:
6868:
6854:(1): 75–94.
6851:
6845:
6839:
6834:. MIT Press.
6829:
6824:
6816:
6811:
6803:
6794:
6766:
6759:
6749:, retrieved
6727:
6717:
6708:
6698:
6671:
6665:
6655:
6625:(1): 67–95.
6622:
6618:
6567:
6527:
5976:
5974:
5614:
5591:
5367:
4885:
4870:
4864:January 2024
4861:
4846:Please help
4834:
4214:
3998:
3983:
3977:January 2024
3974:
3959:Please help
3947:
3633:
2989:blocks world
2895:
2880:
2874:January 2024
2871:
2856:Please help
2844:
2781:
2565:
2560:
2556:
2534:
2482:
2435:
2368:
2277:
2272:
2222:
2152:
2101:
2053:
1641:
1630:
1119:
691:
168:
153:
147:January 2024
144:
129:Please help
117:
87:
76:
61:
54:
45:
36:
34:
20:
18:
6874:Clark, K.L.
6500:green_block
6473:green_block
6434:green_block
6407:green_block
6368:green_block
6341:green_block
6302:green_block
6275:green_block
6203:green_block
6128:green_block
6080:green_block
6062:green_block
5952:green_block
5886:green_block
5787:green_block
5721:green_block
5694:green_block
5655:green_block
5348:green_block
5294:green_block
5252:green_block
2551:logic with
2549:Horn clause
2395:terminates
2348:happens at
2303:and a time
2249:is before
7312:Categories
7115:: 103352.
6921:: 109101.
6751:2020-10-05
6711:: 562–579.
6598:References
6564:Extensions
5276:initialise
5240:initialise
5186:terminates
5114:initialise
5030:terminates
2506:is before
2323:such that
2179:initiates
348:is on the
7137:221521535
7129:0004-3702
7047:1471-0684
7028:1204.1851
6986:1529-3785
6969:1207.3270
6935:0888-613X
6786:212129657
6690:0743-1066
6639:1882-7055
6467:red_block
6401:red_block
6374:red_block
6335:red_block
6308:red_block
6269:red_block
6236:red_block
6209:red_block
6143:timePoint
6104:red_block
6086:red_block
6056:red_block
6032:timePoint
6020:timePoint
6008:timePoint
5996:timePoint
5984:timePoint
5958:red_block
5919:red_block
5892:red_block
5853:red_block
5820:red_block
5754:red_block
5688:red_block
5419:≤
5354:red_block
5336:happensAt
5318:red_block
5306:happensAt
5288:red_block
5270:happensAt
5234:happensAt
5138:initiates
5108:initiates
5054:happensAt
4949:initiates
4931:happensAt
4835:does not
4773:_
4743:_
4613:_
4487:_
4348:_
4312:_
4156:≤
3948:does not
3547:←
2845:does not
2810:≤
2767:≤
2543:or, as a
2106:an event
2058:a fluent
2021:≤
2009:∧
1948:∧
1881:∃
1878:¬
1857:∧
1833:∧
1772:∧
1696:←
1550:then the
1297:then the
906:_
858:_
794:_
764:_
480:_
319:_
237:_
118:does not
72:abduction
7295:timeline
7271:Eternity
7250:Eternity
7244:timeline
7171:: 67-81.
6709:Iclp/SLP
6576:See also
938:at time
384:at time
57:reifying
7160:: 7-12.
7055:5701272
6994:6389629
6647:7584513
6173:holdsAt
5625:holdsAt
5375:clipped
5003:clipped
4979:clipped
4892:holdsAt
4856:removed
4841:sources
3969:removed
3954:sources
2866:removed
2851:sources
404:. Here
171:reified
139:removed
124:sources
38:fluents
7289:Before
7277:member
7262:Before
7256:append
7223:before
7182:
7135:
7127:
7053:
7045:
6992:
6984:
6933:
6892:
6784:
6774:
6742:
6688:
6645:
6637:
6155:fluent
6116:fluent
6092:fluent
6068:fluent
6044:fluent
5940:Fluent
5907:Fluent
5874:Fluent
5841:Fluent
5808:Fluent
5775:Fluent
5742:Fluent
5709:Fluent
5676:Fluent
5643:Fluent
5631:Fluent
5595:before
5437:before
5222:Place1
5216:Object
5198:Object
5168:Object
5150:Object
5126:Fluent
5120:Fluent
5090:before
5072:before
5042:Fluent
5009:Fluent
4985:Fluent
4961:Fluent
4913:before
4898:Fluent
29:events
7283:Time1
7235:Time2
7229:Time1
7207:Notes
7133:S2CID
7051:S2CID
7023:arXiv
6990:S2CID
6964:arXiv
6643:S2CID
6506:table
6440:table
6242:table
6134:table
6110:table
5925:table
5859:table
5826:table
5793:table
5760:table
5727:table
5661:table
5607:Time2
5601:Time1
5443:Time1
5393:Time2
5387:Time1
5324:table
5258:table
5204:Place
5174:Place
5156:Place
5102:Time2
5078:Time1
5060:Event
5036:Event
5021:Time2
5015:Time1
4997:Time2
4991:Time1
4967:Time1
4955:Event
4943:Time1
4937:Event
4925:Time2
4919:Time1
4904:Time2
2547:, in
175:terms
23:is a
7180:ISBN
7169:ICLP
7125:ISSN
7043:ISSN
6982:ISSN
6931:ISSN
6890:ISBN
6782:OCLC
6772:ISBN
6740:ISBN
6686:ISSN
6635:ISSN
5964:Time
5931:Time
5898:Time
5865:Time
5832:Time
5799:Time
5766:Time
5733:Time
5700:Time
5667:Time
5637:Time
5449:Time
5381:Fact
5342:move
5312:move
5228:Time
5192:move
5180:Time
5144:move
5132:Time
5096:Time
5084:Time
5066:Time
5048:Time
4839:any
4837:cite
4148:and
4136:<
3952:any
3950:cite
2940:and
2849:any
2847:cite
2802:and
2790:<
2759:and
2747:<
2027:<
1845:<
122:any
120:cite
19:The
7298:().
7167:,"
7156:,"
7117:doi
7113:287
7082:doi
7033:doi
6974:doi
6923:doi
6919:165
6882:doi
6856:doi
6732:doi
6676:doi
6627:doi
6188:)).
6167:not
6137:)).
6113:)).
6089:)).
6065:)).
5297:)),
5261:)),
5000:)).
4973:not
4850:by
3963:by
2860:by
2563:).
2559:as
2483:and
2436:and
2415:at
2369:and
2273:and
2223:and
2199:at
2153:and
133:by
7314::
7292:).
7274:),
7253:),
7241::-
7131:.
7123:.
7111:.
7105:.
7078:26
7076:.
7072:.
7049:.
7041:.
7031:.
7019:15
7017:.
7011:.
6988:.
6980:.
6972:.
6960:16
6958:.
6952:.
6929:.
6917:.
6913:.
6888:.
6852:38
6850:.
6780:.
6738:,
6726:,
6707:.
6684:.
6672:12
6670:.
6664:.
6641:.
6633:.
6621:.
6617:.
6605:^
6518:5.
6509:),
6494:on
6485:5.
6476:),
6461:on
6452:4.
6443:),
6428:on
6419:4.
6410:),
6395:on
6386:3.
6377:),
6362:on
6353:3.
6344:),
6329:on
6320:2.
6311:),
6296:on
6287:2.
6278:),
6263:on
6254:1.
6245:),
6230:on
6221:1.
6212:),
6197:on
6164:),
6152:),
6140:?-
6122:on
6098:on
6074:on
6050:on
6041:).
6029:).
6017:).
6005:).
5993:).
5970:5.
5961:),
5946:on
5937:5.
5928:),
5913:on
5904:4.
5895:),
5880:on
5871:4.
5862:),
5847:on
5838:3.
5829:),
5814:on
5805:3.
5796:),
5781:on
5772:2.
5763:),
5748:on
5739:2.
5730:),
5715:on
5706:1.
5697:),
5682:on
5673:1.
5664:),
5649:on
5640:).
5622:?-
5610:),
5452:).
5396:).
5363:).
5357:),
5333:).
5327:),
5303:).
5282:on
5267:).
5246:on
5231:).
5225:),
5210:on
5207:),
5183:).
5177:),
5162:on
5159:),
5135:).
5123:),
5105:).
5087:),
5069:),
5051:),
5027::-
4970:),
4946:),
4928:),
4910::-
4128:,
4081:,
4037:,
2739:,
2692:,
2648:,
2557:if
2102:if
7286:,
7280:(
7268:,
7265:,
7259:(
7247:(
7238:)
7232:,
7226:(
7139:.
7119::
7090:.
7084::
7057:.
7035::
7025::
6996:.
6976::
6966::
6937:.
6925::
6898:.
6884::
6862:.
6858::
6788:.
6734::
6692:.
6678::
6649:.
6629::
6623:4
6515:=
6512:T
6503:,
6497:(
6491:=
6488:F
6482:=
6479:T
6470:,
6464:(
6458:=
6455:F
6449:=
6446:T
6437:,
6431:(
6425:=
6422:F
6416:=
6413:T
6404:,
6398:(
6392:=
6389:F
6383:=
6380:T
6371:,
6365:(
6359:=
6356:F
6350:=
6347:T
6338:,
6332:(
6326:=
6323:F
6317:=
6314:T
6305:,
6299:(
6293:=
6290:F
6284:=
6281:T
6272:,
6266:(
6260:=
6257:F
6251:=
6248:T
6239:,
6233:(
6227:=
6224:F
6218:=
6215:T
6206:,
6200:(
6194:=
6191:F
6185:T
6182:,
6179:F
6176:(
6170:(
6161:F
6158:(
6149:T
6146:(
6131:,
6125:(
6119:(
6107:,
6101:(
6095:(
6083:,
6077:(
6071:(
6059:,
6053:(
6047:(
6038:5
6035:(
6026:4
6023:(
6014:3
6011:(
6002:2
5999:(
5990:1
5987:(
5967:=
5955:,
5949:(
5943:=
5934:=
5922:,
5916:(
5910:=
5901:=
5889:,
5883:(
5877:=
5868:=
5856:,
5850:(
5844:=
5835:=
5823:,
5817:(
5811:=
5802:=
5790:,
5784:(
5778:=
5769:=
5757:,
5751:(
5745:=
5736:=
5724:,
5718:(
5712:=
5703:=
5691:,
5685:(
5679:=
5670:=
5658:,
5652:(
5646:=
5634:,
5628:(
5604:,
5598:(
5588:.
5576:)
5573:e
5570:c
5567:a
5564:l
5561:P
5558:,
5555:1
5552:e
5549:c
5546:a
5543:l
5540:P
5537:(
5534:t
5531:n
5528:e
5525:r
5522:e
5519:f
5516:f
5513:i
5510:d
5490:s
5487:e
5484:t
5481:a
5478:n
5475:i
5472:m
5469:r
5466:e
5463:t
5446:,
5440:(
5422:T
5416:1
5413:T
5390:,
5384:,
5378:(
5360:3
5351:,
5345:(
5339:(
5330:1
5321:,
5315:(
5309:(
5300:0
5291:,
5285:(
5279:(
5273:(
5264:0
5255:,
5249:(
5243:(
5237:(
5219:,
5213:(
5201:,
5195:(
5189:(
5171:,
5165:(
5153:,
5147:(
5141:(
5129:,
5117:(
5111:(
5099:,
5093:(
5081:,
5075:(
5063:,
5057:(
5045:,
5039:,
5033:(
5024:)
5018:,
5012:,
5006:(
4994:,
4988:,
4982:(
4976:(
4964:,
4958:,
4952:(
4940:,
4934:(
4922:,
4916:(
4907:)
4901:,
4895:(
4877:)
4871:(
4866:)
4862:(
4858:.
4844:.
4800:)
4797:3
4794:,
4791:)
4788:k
4785:c
4782:o
4779:l
4776:b
4770:d
4767:e
4764:r
4761:,
4758:k
4755:c
4752:o
4749:l
4746:b
4740:n
4737:e
4734:e
4731:r
4728:g
4725:(
4722:e
4719:v
4716:o
4713:m
4710:(
4705:t
4702:A
4699:s
4696:n
4693:e
4690:p
4687:p
4684:a
4681:h
4658:)
4655:1
4652:,
4649:)
4646:e
4643:l
4640:b
4637:a
4634:t
4631:,
4628:k
4625:c
4622:o
4619:l
4616:b
4610:d
4607:e
4604:r
4601:(
4598:e
4595:v
4592:o
4589:m
4586:(
4581:t
4578:A
4575:s
4572:n
4569:e
4566:p
4563:p
4560:a
4557:h
4532:)
4529:0
4526:,
4523:)
4520:e
4517:l
4514:b
4511:a
4508:t
4505:,
4502:k
4499:c
4496:o
4493:l
4490:b
4484:n
4481:e
4478:e
4475:r
4472:g
4469:(
4466:n
4463:o
4460:(
4457:e
4454:s
4451:i
4448:l
4445:a
4442:i
4439:t
4436:i
4433:n
4430:i
4427:(
4422:t
4419:A
4416:s
4413:n
4410:e
4407:p
4404:p
4401:a
4398:h
4375:)
4372:0
4369:,
4366:)
4363:k
4360:c
4357:o
4354:l
4351:b
4345:n
4342:e
4339:e
4336:r
4333:g
4330:,
4327:k
4324:c
4321:o
4318:l
4315:b
4309:d
4306:e
4303:r
4300:(
4297:n
4294:o
4291:(
4288:e
4285:s
4282:i
4279:l
4276:a
4273:i
4270:t
4267:i
4264:n
4261:i
4258:(
4253:t
4250:A
4247:s
4244:n
4241:e
4238:p
4235:p
4232:a
4229:h
4200:t
4197:A
4194:s
4191:n
4188:e
4185:p
4182:p
4179:a
4176:h
4116:s
4113:e
4110:t
4107:a
4104:n
4101:i
4098:m
4095:r
4092:e
4089:t
4069:s
4066:e
4063:t
4060:a
4057:i
4054:t
4051:i
4048:n
4045:i
4025:t
4022:A
4019:s
4016:d
4013:l
4010:o
4007:h
3990:)
3984:(
3979:)
3975:(
3971:.
3957:.
3913:.
3910:)
3907:e
3904:m
3901:i
3898:T
3895:,
3892:t
3889:n
3886:e
3883:u
3880:l
3877:F
3874:,
3871:)
3868:t
3865:n
3862:e
3859:u
3856:l
3853:F
3850:(
3847:e
3844:s
3841:i
3838:l
3835:a
3832:i
3829:t
3826:i
3823:n
3820:i
3817:(
3812:s
3809:e
3806:t
3803:a
3800:i
3797:t
3794:i
3791:n
3788:i
3763:t
3760:n
3757:e
3754:u
3751:l
3748:F
3728:)
3725:t
3722:n
3719:e
3716:u
3713:l
3710:F
3707:(
3704:e
3701:s
3698:i
3695:l
3692:a
3689:i
3686:t
3683:i
3680:n
3677:i
3657:t
3654:n
3651:e
3648:u
3645:l
3642:F
3619:.
3616:)
3613:e
3610:c
3607:a
3604:l
3601:P
3598:,
3595:1
3592:e
3589:c
3586:a
3583:l
3580:P
3577:(
3574:t
3571:n
3568:e
3565:r
3562:e
3559:f
3556:f
3553:i
3550:d
3544:)
3541:e
3538:m
3535:i
3532:T
3529:,
3526:)
3523:1
3520:e
3517:c
3514:a
3511:l
3508:P
3505:,
3502:t
3499:c
3496:e
3493:j
3490:b
3487:O
3484:(
3481:n
3478:o
3475:,
3472:)
3469:e
3466:c
3463:a
3460:l
3457:P
3454:,
3451:t
3448:c
3445:e
3442:j
3439:b
3436:O
3433:(
3430:e
3427:v
3424:o
3421:m
3418:(
3413:s
3410:e
3407:t
3404:a
3401:n
3398:i
3395:m
3392:r
3389:e
3386:t
3363:.
3360:)
3357:e
3354:m
3351:i
3348:T
3345:,
3342:)
3339:e
3336:c
3333:a
3330:l
3327:P
3324:,
3321:t
3318:c
3315:e
3312:j
3309:b
3306:O
3303:(
3300:n
3297:o
3294:,
3291:)
3288:e
3285:c
3282:a
3279:l
3276:P
3273:,
3270:t
3267:c
3264:e
3261:j
3258:b
3255:O
3252:(
3249:e
3246:v
3243:o
3240:m
3237:(
3232:s
3229:e
3226:t
3223:a
3220:i
3217:t
3214:i
3211:n
3208:i
3183:)
3180:1
3177:e
3174:c
3171:a
3168:l
3165:P
3162:,
3159:t
3156:c
3153:e
3150:j
3147:b
3144:O
3141:(
3138:n
3135:o
3115:)
3112:e
3109:c
3106:a
3103:l
3100:P
3097:,
3094:t
3091:c
3088:e
3085:j
3082:b
3079:O
3076:(
3073:n
3070:o
3050:)
3047:e
3044:c
3041:a
3038:l
3035:P
3032:,
3029:t
3026:c
3023:e
3020:j
3017:b
3014:O
3011:(
3008:e
3005:v
3002:o
2999:m
2975:s
2972:e
2969:t
2966:a
2963:n
2960:i
2957:m
2954:r
2951:e
2948:t
2928:s
2925:e
2922:t
2919:a
2916:i
2913:t
2910:i
2907:n
2904:i
2887:)
2881:(
2876:)
2872:(
2868:.
2854:.
2727:s
2724:e
2721:t
2718:a
2715:n
2712:i
2709:m
2706:r
2703:e
2700:t
2680:s
2677:e
2674:t
2671:a
2668:i
2665:t
2662:i
2659:n
2656:i
2636:t
2633:A
2630:s
2627:n
2624:e
2621:p
2618:p
2615:a
2612:h
2592:t
2589:A
2586:s
2583:d
2580:l
2577:o
2574:h
2529:.
2517:2
2514:T
2494:T
2470:T
2450:1
2447:T
2423:T
2403:F
2383:2
2380:E
2356:T
2336:2
2333:E
2311:T
2291:2
2288:E
2260:2
2257:T
2237:1
2234:T
2210:1
2207:T
2187:F
2167:1
2164:E
2140:1
2137:T
2117:1
2114:E
2089:2
2086:T
2066:F
2039:]
2036:)
2033:2
2030:T
2024:T
2018:1
2015:T
2012:(
2006:)
2003:T
2000:,
1997:F
1994:,
1991:2
1988:E
1985:(
1980:s
1977:e
1974:t
1971:a
1968:n
1965:i
1962:m
1959:r
1956:e
1953:t
1945:)
1942:T
1939:,
1936:2
1933:E
1930:(
1925:t
1922:A
1919:s
1916:n
1913:e
1910:p
1907:p
1904:a
1901:h
1896:[
1893:T
1890:,
1887:2
1884:E
1854:)
1851:2
1848:T
1842:1
1839:T
1836:(
1830:)
1827:1
1824:T
1821:,
1818:F
1815:,
1812:1
1809:E
1806:(
1801:s
1798:e
1795:t
1792:a
1789:i
1786:t
1783:i
1780:n
1777:i
1769:)
1766:1
1763:T
1760:,
1757:1
1754:E
1751:(
1746:t
1743:A
1740:s
1737:n
1734:e
1731:p
1728:p
1725:a
1722:h
1717:[
1693:)
1690:2
1687:T
1684:,
1681:F
1678:(
1673:t
1670:A
1667:s
1664:d
1661:l
1658:o
1655:h
1622:.
1608:e
1605:m
1602:i
1599:t
1575:t
1572:n
1569:e
1566:u
1563:l
1560:f
1536:e
1533:m
1530:i
1527:t
1503:t
1500:n
1497:e
1494:v
1491:e
1469:)
1466:e
1463:m
1460:i
1457:t
1454:,
1451:t
1448:n
1445:e
1442:u
1439:l
1436:f
1433:,
1430:t
1427:n
1424:e
1421:v
1418:e
1415:(
1410:s
1407:e
1404:t
1401:a
1398:n
1395:i
1392:m
1389:r
1386:e
1383:t
1369:.
1355:e
1352:m
1349:i
1346:t
1322:t
1319:n
1316:e
1313:u
1310:l
1307:f
1283:e
1280:m
1277:i
1274:t
1250:t
1247:n
1244:e
1241:v
1238:e
1216:)
1213:e
1210:m
1207:i
1204:t
1201:,
1198:t
1195:n
1192:e
1189:u
1186:l
1183:f
1180:,
1177:t
1174:n
1171:e
1168:v
1165:e
1162:(
1157:s
1154:e
1151:t
1148:a
1145:i
1142:t
1139:i
1136:n
1133:i
1103:.
1100:e
1097:m
1094:i
1091:t
1067:t
1064:n
1061:e
1058:v
1055:e
1033:)
1030:e
1027:m
1024:i
1021:t
1018:,
1015:t
1012:n
1009:e
1006:v
1003:e
1000:(
995:t
992:A
989:s
986:n
983:e
980:p
977:p
974:a
971:h
946:3
924:)
921:k
918:c
915:o
912:l
909:b
903:d
900:e
897:r
873:k
870:c
867:o
864:l
861:b
855:n
852:e
849:e
846:r
843:g
821:)
818:3
815:,
812:)
809:k
806:c
803:o
800:l
797:b
791:d
788:e
785:r
782:,
779:k
776:c
773:o
770:l
767:b
761:n
758:e
755:e
752:r
749:g
746:(
743:e
740:v
737:o
734:m
731:(
726:t
723:A
720:s
717:n
714:e
711:p
708:p
705:a
702:h
675:.
672:e
669:m
666:i
663:t
639:t
636:n
633:e
630:u
627:l
624:f
602:)
599:e
596:m
593:i
590:t
587:,
584:t
581:n
578:e
575:u
572:l
569:f
566:(
561:t
558:A
555:s
552:d
549:l
546:o
543:h
516:)
513:e
510:l
507:b
504:a
501:t
498:,
495:k
492:c
489:o
486:l
483:b
477:n
474:e
471:e
468:r
465:g
462:(
459:n
456:o
432:t
429:A
426:s
423:d
420:l
417:o
414:h
392:1
370:e
367:l
364:b
361:a
358:t
334:k
331:c
328:o
325:l
322:b
316:n
313:e
310:e
307:r
304:g
282:)
279:1
276:,
273:)
270:e
267:l
264:b
261:a
258:t
255:,
252:k
249:c
246:o
243:l
240:b
234:n
231:e
228:e
225:r
222:g
219:(
216:n
213:o
210:(
205:t
202:A
199:s
196:d
193:l
190:o
187:h
160:)
154:(
149:)
145:(
141:.
127:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.