A Corpus of Spatial Reasoning Problems

Downloads:

• No text available
• No slides available

BibTeX:

@inproceedings{aitp-2021,
  author = {Pease, Adam and Santos, Paulo and Rademaker, Alexandre},
  title = {A Corpus of Spatial Reasoning Problems},
  booktitle = {Proceedings of the 6th Conference on Artificial Intelligence and Theorem Proving},
  year = {2021},
  optkey = {},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  optpages = {},
  month = sep,
  address = {Aussois and online, France},
  optorganization = {},
  optpublisher = {},
  note = {to appear},
  optannote = {}
}