Chitta Baral and Le-Hi Tuan. "Reasoning about actions in a probabilistic setting."
Henrik Grosskreutz and Gerhard Lakemeyer, "Belief Update and Probabilistic Projection in the pGOLOG Framework"
Craig Boutilier, Ray Reiter, and Robert Price. "Symbolic Dynamic Programming for first-order MDP's"
Joakim Gustafsson and Jonas Kvarnstrom, "Elaboration Tolerance through Object-Orientation"
Joohyung Lee, Vladimir Lifschitz, and Hudson Turner, "A Representation Of the Zoo World in the Language of the Causal Calculator"
Varol Akman, Selim T. Erdogan, Joohyung Lee, and Vladimir Lifschitz "A Representation of the Traffic World in the Language of the Causal Calculator"
John Bell, "Causal Counterfactuals."
Jerry Hobbs, "Causality".
John Horty. "Skepticism and Floating Conclusions."
Salem Benferhat, Souhila Kaci, Daniel Le Berre, Mary-Anne Williams, "Weakening Conflicting Information for Iterated Revision and Knowledge Integration"
Thomas Meyer, Aditya Ghose, and Samir Chopra, "Context-sensitive merging"
Richard Booth. "A negotiation-style framework for non-prioritised revision."
Alberto Finzi and Fiora Pirri, "Diagnosing failures and predicting safe runs in robot control."
Eyal Amir and Pedrito Maynard-Reid II, "LiSA: A Robot Driven by Logical Subsumption."
Sheila McIlraith and Tran Cao Son, "Adapting Golog for Programming the Semantic Web"
Andrew S. Gordon, "The Representational Requirements of Strategic Planning."
Barbara Dunin-Keplicz and Rineke Verbrugge, "The Role of Dialogue in Cooperative Problem Solving"
N. Sabouret and J.P. Sansonnet. "Automated Answers to Questions about a Running Process"
Patrick Doherty, Witold Lukaszewicz, and Andrzej Szalas. "Computing Strongest Necessary and Weakest Sufficient Conditions of First Order Formulas."
Sheila McIlraith and Eyal Amir, "Theorem Proving with Structured Theories"
Brandon Bennett and Antony Galton, "A Versatile Representation for Time and Events"
Peter Gardenfors and Mary-Anne Williams, "Reasoning about Categories in Conceptual Spaces."
Anthony G. Cohn and Shyamanta Hazarika, "Continuous Transitions in Mereotopology"
David Randell, Mark Witkowski, and Murray Shanahan, "Modelling and Exploiting Spatial Occlusion and Motion Parallax."
Josephina Sierra-Santibanez, "Heuristic Planning: a Declarative Forward-Chaining Approach"
G. Neelakantan Kartha. "A Circumscriptive Formalization of the Qualification Problem."
Mikhail Soutchanski, "A correspondence between two different solutions to the projection task with sensing"