Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics (bibtex)
by Tim Lyon, Kees van Berkel
Reference:
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT LogicsTim Lyon, Kees van BerkelPRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings, pages 202–218, 2019.
Bibtex Entry:
@inproceedings{DBLP:conf/prima/Lyon019,
  author    = {Tim Lyon and
               Kees van Berkel},
  title     = {Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for {STIT} Logics},
  booktitle = {{PRIMA} 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings},
  pages     = {202--218},
  year      = {2019},
  crossref  = {DBLP:conf/prima/2019},
  url       = {https://link.springer.com/chapter/10.1007/978-3-030-33792-6_13},
  doi       = {10.1007/978-3-030-33792-6\_13},
  timestamp = {Thu, 07 Nov 2019 09:20:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/prima/Lyon019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Powered by bibtexbrowser