Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/cade/BeckertG15,
  author       = {Bernhard Beckert and
                  Sarah Grebing},
  editor       = {Ulrich Furbach and
                  Claudia Schon},
  title        = {Interactive Theorem Proving - Modelling the User in the Proof Process},
  booktitle    = {Proceedings of the Workshop on Bridging the Gap between Human and
                  Automated Reasoning - {A} workshop of the 25th International Conference
                  on Automated Deduction (CADE-25), Berlin, Germany, August 1, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1412},
  pages        = {60--73},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1412/6o.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:14 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/BeckertG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Dietz15,
  author       = {Emanuelle{-}Anna Dietz},
  editor       = {Ulrich Furbach and
                  Claudia Schon},
  title        = {A Computational Logic Approach to Syllogisms in Human Reasoning},
  booktitle    = {Proceedings of the Workshop on Bridging the Gap between Human and
                  Automated Reasoning - {A} workshop of the 25th International Conference
                  on Automated Deduction (CADE-25), Berlin, Germany, August 1, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1412},
  pages        = {17--31},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1412/3o.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/Dietz15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/FurbachGS15,
  author       = {Ulrich Furbach and
                  Andrew S. Gordon and
                  Claudia Schon},
  editor       = {Ulrich Furbach and
                  Claudia Schon},
  title        = {Tackling Benchmark Problems of Commonsense Reasoning},
  booktitle    = {Proceedings of the Workshop on Bridging the Gap between Human and
                  Automated Reasoning - {A} workshop of the 25th International Conference
                  on Automated Deduction (CADE-25), Berlin, Germany, August 1, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1412},
  pages        = {47--59},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1412/5o.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/FurbachGS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Holldobler15,
  author       = {Steffen H{\"{o}}lldobler},
  editor       = {Ulrich Furbach and
                  Claudia Schon},
  title        = {Weak Completion Semantics and its Applications in Human Reasoning},
  booktitle    = {Proceedings of the Workshop on Bridging the Gap between Human and
                  Automated Reasoning - {A} workshop of the 25th International Conference
                  on Automated Deduction (CADE-25), Berlin, Germany, August 1, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1412},
  pages        = {2--16},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1412/2o.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/Holldobler15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/VargaSM15,
  author       = {Alexandra Varga and
                  Keith Stenning and
                  Laura Martignon},
  editor       = {Ulrich Furbach and
                  Claudia Schon},
  title        = {There is no one Logic to Model Human Reasoning: the Case from Interpretation},
  booktitle    = {Proceedings of the Workshop on Bridging the Gap between Human and
                  Automated Reasoning - {A} workshop of the 25th International Conference
                  on Automated Deduction (CADE-25), Berlin, Germany, August 1, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1412},
  pages        = {32--46},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1412/4o.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/VargaSM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cade/2015bridging,
  editor       = {Ulrich Furbach and
                  Claudia Schon},
  title        = {Proceedings of the Workshop on Bridging the Gap between Human and
                  Automated Reasoning - {A} workshop of the 25th International Conference
                  on Automated Deduction (CADE-25), Berlin, Germany, August 1, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1412},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1412},
  urn          = {urn:nbn:de:0074-1412-3},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/2015bridging.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}