KR2020Proceedings of the 17th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning

Rhodes, Greece. September 12-18, 2020.

Edited by
  1. Diego Calvanese
  2. Esra Erdem
  3. Michael Thielscher

ISSN: 2334-1033
ISBN: 978-0-9992411-7-2

Sponsored by
Published by

Copyright © 2020 International Joint Conferences on Artificial Intelligence Organization

On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach

  1. Renyan Feng(Guizhou University, P. R. China, Vrije Universiteit Amsterdam, The Netherlands)
  2. Erman Acar(Vrije Universiteit Amsterdam, The Netherlands)
  3. Stefan Schlobach(Vrije Universiteit Amsterdam, The Netherlands)
  4. Yisong Wang(Guizhou University, P. R. China)
  5. Wanwei Liu(National University of Defense Technology, P. R. China)

Bibtex record

@inproceedings{KR2020-37,
    title     = {{On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach}},
    author    = {Feng, Renyan and Acar, Erman and Schlobach, Stefan and Wang, Yisong and Liu, Wanwei},
    booktitle = {{Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {361--370},
    year      = {2020},
    month     = {9},
    doi       = {10.24963/kr.2020/37},
    url       = {https://doi.org/10.24963/kr.2020/37},
  }
Go back