Examples of Action Domains
Described in the Language of CCalc

From the paper "Nonmonotonic causal theories" by Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain and Hudson Turner (Artificial Intelligence, Vol. 153, 2004, pp. 49-104)
- Monkey and Bananas (Figures 10-12)
- Prediction and postdiction in the Monkey and Bananas domain (Section 3.3)
- Defeasible Rules in the Monkey and Bananas domain (Section 3.5)
- Shooting Turkeys (Figure 5)
- Going to Work (Figure 6)
- Lifting the Ends of the Table (Figure 7)
- Holding the Pendulum (Figure 8)
- Publishing Papers (Figure 9)
From the paper "Representing the Zoo World and the Traffic World in the Language of the Causal Calculator" by Varol Akman, Selim Erdogan, Joohyung Lee, Vladimir Lifschitz and Hudson Turner (Artificial Intelligence, Vol. 153, 2004, pp. 105-140)
- The landscape, animals, movement and actions components of the Zoo World, and their union
- The description of a little zoo and Test Queries 1, 2, 3, 4, 5 and 6
  To run Test 1, type
  | ?- loadf[zoo,'zoo-example','zoo-test1'].
  and then
  | ?- query 0.
- The description of the Traffic World and Test Scenarios 1, 2 and 3
  To run Test 1, type
  | ?- loadf scenario1.
  and then
  | ?- query 1.
  or
  | ?- query 2.
From the paper "Getting to the airport: the oldest planning problem in AI" by Vladimir Lifschitz, Norman McCain, Emilio Remolina and Armando Tacchella (in Logic-Based Artificial Intelligence, 2000, pp. 147-165), adapted to the syntax of CCalc Version 2: the domain and the problem
From the paper "Describing additive fluents in action language C+" by Joohyung Lee and Vladimir Lifschitz (in Proc. IJCAI-03, 2003, pp. 1079-1084):
- Buying and Selling (Section 6): domain and example
- Spacecraft Integer (Section 7): domain and example
- Missionaries and Cannibals with Two Boats (Section 8): domain and example
Other domains:
- Towers of Hanoi
- Blocks World: description and a planning problem

Examples of Action Domains Described in the Language of CCalc

Examples of Action Domains
Described in the Language of CCalc