BibTeX record conf/cogsci/Kowalski17

download as .bib file

@inproceedings{DBLP:conf/cogsci/Kowalski17,
  author    = {Robert A. Kowalski},
  title     = {Satisfiability for First-order Logic as a Non-Modal Deontic Logic},
  booktitle = {Proceedings of the Workshop on Bridging the Gap between Human and
               Automated Reasoning - Is Logic and Automated Reasoning a Foundation
               for Human Reasoning? co-located with 39th Annual Meeting of the Cognitive
               Science Society (CogSci 2017), London, UK, July 26, 2017.},
  pages     = {84--90},
  year      = {2017},
  crossref  = {DBLP:conf/cogsci/2017bridging},
  url       = {http://ceur-ws.org/Vol-1994/Bridging2017\_paper8.pdf},
  timestamp = {Tue, 28 May 2019 16:23:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cogsci/Kowalski17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cogsci/2017bridging,
  editor    = {Claudia Schon and
               Ulrich Furbach},
  title     = {Proceedings of the Workshop on Bridging the Gap between Human and
               Automated Reasoning - Is Logic and Automated Reasoning a Foundation
               for Human Reasoning? co-located with 39th Annual Meeting of the Cognitive
               Science Society (CogSci 2017), London, UK, July 26, 2017},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1994},
  publisher = {CEUR-WS.org},
  year      = {2017},
  url       = {http://ceur-ws.org/Vol-1994},
  urn       = {urn:nbn:de:0074-1994-5},
  timestamp = {Tue, 28 May 2019 16:23:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cogsci/2017bridging},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics