Research Output

A discrete formalism for reasoning about action and change.

 

  • Date:

    30 November 1996

  • Publication Status:

    Published

  • DOI:

    10.2495/AI970101

  • Library of Congress:

    QA75 Electronic computers. Computer science

  • Dewey Decimal Classification:

    004 Data processing & computer science

Citation

Knight, B., Ma, J. & Peng, T. (1996). A discrete formalism for reasoning about action and change. In Proc. of The twelfth International Conference on Artificial Intelligence in Engineering. doi:10.2495/AI970101

Authors

Keywords

Action and change; formalism; reasoning;

Available Documents