Searching for Well-Behaved Fragments of Halpern-Shoham Logic

Cite

Text

Walega. "Searching for Well-Behaved Fragments of Halpern-Shoham Logic." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/769

Markdown

[Walega. "Searching for Well-Behaved Fragments of Halpern-Shoham Logic." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/walega2017ijcai-searching/) doi:10.24963/IJCAI.2017/769

BibTeX

@inproceedings{walega2017ijcai-searching,
  title     = {{Searching for Well-Behaved Fragments of Halpern-Shoham Logic}},
  author    = {Walega, Przemyslaw Andrzej},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2017},
  pages     = {5219-5220},
  doi       = {10.24963/IJCAI.2017/769},
  url       = {https://mlanthology.org/ijcai/2017/walega2017ijcai-searching/}
}