cvb.acronym: Bridging 2017
cvb.archive: http://sunsite.informatik.rwth-aachen.de/ftp/pub/publications/CEUR-WS/Vol-1994.zip
cvb.ceurpubdate: '2017-11-15'
cvb.city: London
cvb.cityWikidataId: Q84
cvb.colocated: CogSci 2017
cvb.country: United Kingdom
cvb.countryWikidataId: Q145
cvb.dateFrom: '2017-07-26'
cvb.dateTo: '2017-07-26'
cvb.desc: '?'
cvb.editors: Claudia Schon, Ulrich Furbach
cvb.fromLine: 38288
cvb.h1: Bridging 2017 Bridging the Gap between Human and Automated Reasoning
cvb.h3: 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)
cvb.homepage: http://ratiolog.uni-koblenz.de/bridging2017.html
cvb.loc_city: London
cvb.loc_country: UK
cvb.loc_days: '26'
cvb.loc_locs: null
cvb.loc_month: July
cvb.loc_other: null
cvb.loc_region: null
cvb.loc_typos: null
cvb.loctime: London, UK, July 26, 2017
cvb.number: 1994
cvb.pubDate: '2017-11-15T00:00:00'
cvb.published: '2017-11-15'
cvb.seealso: "Vol-1651\u21F9Vol-1412"
cvb.submittedBy: Claudia Schon
cvb.tdtitle: Proceedings of the Workshop on Bridging the Gap between Human and Automated
  Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning?,
  London, UK, July 26, 2017.
cvb.title: Proceedings of the Workshop on Bridging the Gap between Human and Automated
  Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning?
cvb.toLine: 38312
cvb.url: http://ceur-ws.org/Vol-1994/
cvb.urn: urn:nbn:de:0074-1994-5
cvb.urn_check_digit: 5
cvb.urn_ok: 1
cvb.valid: 1
cvb.virtualEvent: null
cvb.vol_number: null
cvb.volname: Bridging the Gap between Human and Automated Reasoning 2017
cvb.voltitle: Bridging the Gap between Human and Automated Reasoning
cvb.volume_number: Vol-1994
cvb.year: '2017'
spt.acronym: Bridging 2017
spt.date: '2017-11-15'
spt.dblp: conf/cogsci/2017bridging
spt.description: Proceedings of Bridging 2017 workshop
spt.html_url: /Vol-1994.html
spt.k10plus: '1028853270'
spt.number: 1994
spt.title: Proceedings of the Workshop on Bridging the Gap between Human and Automated
  Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning?
spt.url: http://ceur-ws.org/Vol-1994/
spt.urn: urn:nbn:de:0074-1994-5
spt.wikidataid: Q113543874
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
wd.URN_NBN: urn:nbn:de:0074-1994-5
wd.Volume: null
wd.dblpEventId: conf/cogsci/bridging2017
wd.dblpProceedingsId: conf/cogsci/2017bridging
wd.described_at_URL: http://ceur-ws.org/Vol-1994/
wd.event: http://www.wikidata.org/entity/Q113623379
wd.eventLabel: 3rd Workshop on Bridging the Gap between Human and Automated Reasoning
wd.eventSeries: http://www.wikidata.org/entity/Q113646198
wd.eventSeriesLabel: Workshop on Bridging the Gap between Human and Automated Reasoning
wd.eventSeriesOrdinal: '3'
wd.fullWorkUrl: http://ceur-ws.org/Vol-1994/
wd.homePage: null
wd.item: http://www.wikidata.org/entity/Q113543874
wd.itemDescription: Proceedings of Bridging 2017 workshop
wd.itemLabel: Proceedings of the Workshop on Bridging the Gap between Human and Automated
  Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning?
wd.language_of_work_or_name: null
wd.language_of_work_or_nameLabel: null
wd.ppnId: '1028853270'
wd.publication_date: '2017-11-15T00:00:00'
wd.sVolume: 1994
wd.short_name: Bridging 2017
wd.title: Proceedings of the Workshop on Bridging the Gap between Human and Automated
  Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning?
