• Skip to main content
  • Skip to primary sidebar
AAAI

AAAI

Association for the Advancement of Artificial Intelligence

    • AAAI

      AAAI

      Association for the Advancement of Artificial Intelligence

  • About AAAIAbout AAAI
    • News
    • Officers and Committees
    • Staff
    • Bylaws
    • Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • AI for Humanity Award
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • Partnerships
    • Resources
    • Mailing Lists
    • Past Presidential Addresses
    • AAAI 2025 Presidential Panel on the Future of AI Research
    • Presidential Panel on Long-Term AI Futures
    • Past Policy Reports
      • The Role of Intelligent Systems in the National Information Infrastructure (1995)
      • A Report to ARPA on Twenty-First Century Intelligent Systems (1994)
    • Logos
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • EAAI
    • HCOMP
    • IAAI
    • ICWSM
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
    • Contribute
    • Order Proceedings
  • aaai-icon_ai-magazine-line-yellowAI Magazine
  • MembershipMembership
    • Member Login
    • Chapters

  • Career CenterAI Jobs
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

  • Twitter
  • Facebook
  • LinkedIn
Home / Proceedings / Papers from the 1995 AAAI Spring Symposium /

Extending Theories of Action: Formal Theory and Practical Applications

Contents

  • Sensing and Acting in the Independent Choice Logics

    David Poole

    PDF
  • 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
  • How to Avoid “Thinking on Your Feet”

    Lloyd Greenwald

    PDF
  • Representation and Evaluation of Plans with Loops

    David E. Smith and Mike Williamson

    PDF
  • Action as a Local Surgery

    Judea Pearl

    PDF
  • An Interdisciplinary Theory of Autonomous Action

    Richard Levinson

    PDF
  • Relating Formalizations of Actions

    Tom Costello

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

    Norman McCain and Hudson Turner

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

    R. Michael Young

    PDF
  • Generating Macro Operators for Decision-Theoretic Planning

    AnHai Doan and Peter Haddawy

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

    L. Thorne McCarty

    PDF
  • Analyzing Languages of Actions for the Purpose of Synthesis

    D. Paul Benjamin

    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
  • Structured-Based Generation of Plans

    Adnan Darwiche

    PDF
  • A Decision-Based View of Causality

    David Heckerman and Ross Shachter

    PDF
  • Exploiting Structure in Policy Construction

    Craig Boutilier, Richard Dearden and Moise’s Goldszmidt

    PDF
  • On the Logic of Dynamic Systems

    Michael Thielscher

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

    Chitta Baral

    PDF
  • Actions with Indirect Effects (Extended Abstract)

    Enrico Giunchiglia, G. Neelakantan Kartha and Vladimir Lifschitz

    PDF
  • An Extended Theory of Temporal Propositions

    Jixin Ma and Brain Knight

    PDF
  • Situation Calculus Specifications for Event Calculus Logic Programs

    Rob Miller

    PDF

Primary Sidebar