ML Anthology

Discrete-Time Temporal Reasoning with Horn DLRs

Peter Jonsson, Tomas Lööw
IJCAI 2011 pp. 931-936
doi:10.5591/978-1-57735-516-8/IJCAI11-161 /ijcai/2011/jonsson2011ijcai-discrete/
IJCAI Semantic Scholar

Cite

Text

Jonsson and Lööw. "Discrete-Time Temporal Reasoning with Horn DLRs." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-161

Markdown

[Jonsson and Lööw. "Discrete-Time Temporal Reasoning with Horn DLRs." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/jonsson2011ijcai-discrete/) doi:10.5591/978-1-57735-516-8/IJCAI11-161

BibTeX

@inproceedings{jonsson2011ijcai-discrete,
  title     = {{Discrete-Time Temporal Reasoning with Horn DLRs}},
  author    = {Jonsson, Peter and Lööw, Tomas},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {931-936},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-161},
  url       = {https://mlanthology.org/ijcai/2011/jonsson2011ijcai-discrete/}
}