The Causal Calculator (CCalc) is a system for representing commonsense knowledge about action and change. It implements a fragment of the causal logic described in 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). The original version of CCalc was part of Norman McCain’s dissertation, Causality in commonsense reasoning about actions (University of Texas, 1997). Now the system is being maintained by Texas Action Group at Austin. The semantics of the language of CCalc is related to default logic and logic programming. Computationally, CCalc uses ideas of satisfiability planning. (A related system, Cplus2ASP from Arizona State University, processes CCalc input using answer set solvers instead of SAT solvers.)

References in zbMATH (referenced in 54 articles , 1 standard article )

Showing results 1 to 20 of 54.
Sorted by year (citations)

1 2 3 next

  1. De Giacomo, Giuseppe; Lespérance, Yves; Patrizi, Fabio: Bounded situation calculus action theories (2016)
  2. Lent, Jeremy; Thomason, Richmond H.: Action models for conditionals (2015)
  3. Ji, Jianmin; Chen, Xiaoping: A weighted causal theory for acquiring and utilizing open knowledge (2014)
  4. Babb, Joseph; Lee, Joohyung: Cplus 2ASP: computing action language $\cal C$+ in answer set programming (2013)
  5. Giordano, Laura; Martelli, Alberto; Theseider Dupré, Daniele: Reasoning about actions with Temporal Answer Sets (2013)
  6. Strass, Hannes; Thielscher, Michael: A general first-order solution to the ramification problem with cycles (2013)
  7. Armando, Alessandro; Giunchiglia, Enrico; Maratea, Marco; Ponta, Serena Elisa: An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints (2012)
  8. Artikis, Alexander: Dynamic specification of open agent systems (2012)
  9. Bochman, Alexander; Gabbay, Dov M.: Causal dynamic inference (2012)
  10. Chen, Xiaoping; Jin, Guoqiang; Yang, Fangkai: Extending action language $\mathcalC+$ by formalizing composite actions (2012)
  11. Ferraris, Paolo; Lee, Joohyung; Lierler, Yuliya; Lifschitz, Vladimir; Yang, Fangkai: Representing first-order causal theories by logic programs (2012)
  12. Haufe, Sebastian; Schiffel, Stephan; Thielscher, Michael: Automated verification of state sequence invariants in general game playing (2012)
  13. Aker, Erdi; Erdogan, Ahmetcan; Erdem, Esra; Patoglu, Volkan: Causal reasoning for planning and coordination of multiple housekeeping robots (2011)
  14. Casolary, Michael; Lee, Joohyung: Representing the language of the causal calculator in answer set programming (2011)
  15. Kakas, Antonis; Michael, Loizos; Miller, Rob: $\cal M$odular-$\cal E$ and the role of elaboration tolerance in solving the qualification problem (2011)
  16. Pitt, Jeremy; Ramirez-Cano, Daniel; Draief, Moez; Artikis, Alexander: Interleaving multi-agent systems and social networks for organized adaptation (2011)
  17. Thielscher, Michael: Translating general game descriptions into an action language (2011)
  18. Thielscher, Michael: A unifying action calculus (2011)
  19. Angiulli, Fabrizio; Greco, Gianluigi; Palopoli, Luigi: Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results (2010)
  20. Basol, Selen; Erdem, Ozan; Fink, Michael; Ianni, Giovambattista: HEX programs with action atoms (2010)

1 2 3 next