Extending Theories of Action: Formal Theory and Practical Applications

Contents

• Abstract Actions for Stochastic Planning

  Jonathan King Tash

  PDF

• Reified Logic for Representing First Order Temporal Constraints

  Rasiah Loganantharaj

  PDF

• Observations on Observations in Action Theories (Position Paper)

  James M. Crawford and David W. Etherington

  PDF

• Representation of Deliberation and Execution Time in Influence Diagrams

  John M. Agosta

  PDF

• On Solving the Qualification Problem

  Charles Elkan

  PDF

• Formalizing Counterfactual and Nondeterministic Actions in First Order Logic

  Charles Elkan

  PDF

• Incorporating Action into Diagnostic Problem Solving (An Abridged Report)

  Sheila A. McIlraith

  PDF

• Control Strategies in Planning

  Fahiem Bacchus and Froduald Kabanza

  PDF

• A Theory of Complex Actions for Enterprise Modeling

  Michael Gruninger and Javier A. Pinto

  PDF

• AI Planning in Dynamic, Uncertain Domains

  Jim Blythe

  PDF

• Sensing and Acting in the Independent Choice Logics

  David Poole

  PDF

• Actions as Processes: a Position on Planning

  David Pym, Louise Pryor and David Murphy

  PDF

• Conditional Actions, Context Dependent Actions and Information Gathering

  Robert P. Goldman and Mark S. Boddy

  PDF

• Enhanced Propositional Dynamic Logic for Reasoning about Concurrent Actions (Extended Abstract)

  Giuseppe De Giacomo and Maurizio Lenzerini

  PDF

• Representing Actions – I: (Laws, Observations and Hypothesis)

  Chitta Baral, Michael Gelfond and Alessandro Provetti

  PDF

• Action Representations for Space Shuttle Operations Support

  Jane T. Malin, Dan Ryan, and Debra Schreckenghost

  PDF

• A Brief Outline of ALX3, a Multi-Agent Action Logic

  Zhisheng Huang and Michael Masuch

  PDF

• Toward the Assessment of Logics for Concurrent Actions

  Choong-Ho Yi

  PDF

• Nondeterministic Actions and the Frame Problem

  Craig Boutilier and Nir Friedman

  PDF

• Context-Sensitive Event Occurrence Minimisation

  Murray Shanahan

  PDF

• Representing Iterative Loops for Decision Theoretic Planning (Preliminary Report)

  Liem Ngo and Peter Haddawy

  PDF

• Analyzing Languages of Actions for the Purpose of Synthesis

  D. Paul Benjamin

  PDF

• How to Avoid “Thinking on Your Feet”

  Lloyd Greenwald

  PDF

• Some Requirements on an Action Language for Legal Discourse (Position Paper)

  L. Thorne McCarty

  PDF

• Generating Macro Operators for Decision-Theoretic Planning

  AnHai Doan and Peter Haddawy

  PDF

• The Role of Plans in Planning in Task-Related Discourse

  R. Michael Young

  PDF

• A Causal Theory of Ramifications and Qualifications (Extended Abstract)

  Norman McCain and Hudson Turner

  PDF

• Relating Formalizations of Actions

  Tom Costello

  PDF

• An Interdisciplinary Theory of Autonomous Action

  Richard Levinson

  PDF

• Action as a Local Surgery

  Judea Pearl

  PDF

• Representation and Evaluation of Plans with Loops

  David E. Smith and Mike Williamson

  PDF

• Structured-Based Generation of Plans

  Adnan Darwiche

  PDF

• Situation Calculus Specifications for Event Calculus Logic Programs

  Rob Miller

  PDF

• An Extended Theory of Temporal Propositions

  Jixin Ma and Brain Knight

  PDF

• Actions with Indirect Effects (Extended Abstract)

  Enrico Giunchiglia, G. Neelakantan Kartha and Vladimir Lifschitz

  PDF

• Reasoning about Actions: Non-deterministic Effects, Constraints, and Qualification

  Chitta Baral

  PDF

• On the Logic of Dynamic Systems

  Michael Thielscher

  PDF

• Exploiting Structure in Policy Construction

  Craig Boutilier, Richard Dearden and Moise’s Goldszmidt

  PDF

• A Decision-Based View of Causality

  David Heckerman and Ross Shachter

  PDF