ML Anthology

Reasoning About Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report

Witold Lukaszewicz, Ewa Madalinska-Bugaj
IJCAI 1995 pp. 1950-1955
doi:10.1007/978-94-017-1741-0_14 /ijcai/1995/lukaszewicz1995ijcai-reasoning/
PDF IJCAI Semantic Scholar

Cite

Text

Lukaszewicz and Madalinska-Bugaj. "Reasoning About Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report." International Joint Conference on Artificial Intelligence, 1995. doi:10.1007/978-94-017-1741-0_14

Markdown

[Lukaszewicz and Madalinska-Bugaj. "Reasoning About Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report." International Joint Conference on Artificial Intelligence, 1995.](https://mlanthology.org/ijcai/1995/lukaszewicz1995ijcai-reasoning/) doi:10.1007/978-94-017-1741-0_14

BibTeX

@inproceedings{lukaszewicz1995ijcai-reasoning,
  title     = {{Reasoning About Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report}},
  author    = {Lukaszewicz, Witold and Madalinska-Bugaj, Ewa},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1995},
  pages     = {1950-1955},
  doi       = {10.1007/978-94-017-1741-0_14},
  url       = {https://mlanthology.org/ijcai/1995/lukaszewicz1995ijcai-reasoning/}
}