Search dblp for Publications

export results for "toc:db/conf/cogsci/bridging2017.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cogsci/Kakas17,
  author    = {Antonis C. Kakas},
  title     = {Informalizing Formal Logic},
  booktitle = {Bridging@CogSci},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1994},
  pages     = {31--38},
  publisher = {CEUR-WS.org},
  year      = {2017}
}
@inproceedings{DBLP:conf/cogsci/KolaR17,
  author    = {Ilir Kola and
               Marco Ragni},
  title     = {Predicting Responses of Individual Reasoners in Syllogistic Reasoning
               by using Collaborative Filtering},
  booktitle = {Bridging@CogSci},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1994},
  pages     = {1},
  publisher = {CEUR-WS.org},
  year      = {2017}
}
@inproceedings{DBLP:conf/cogsci/Kowalski17,
  author    = {Robert A. Kowalski},
  title     = {Satisfiability for First-order Logic as a Non-Modal Deontic Logic},
  booktitle = {Bridging@CogSci},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1994},
  pages     = {84--90},
  publisher = {CEUR-WS.org},
  year      = {2017}
}
@inproceedings{DBLP:conf/cogsci/Olteteanu17,
  author    = {Ana{-}Maria Olteteanu},
  title     = {Towards Cognitive Social Machines for Bridging the Cognitive-Computational
               Gap in Creativity and Creative Reasoning},
  booktitle = {Bridging@CogSci},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1994},
  pages     = {54--68},
  publisher = {CEUR-WS.org},
  year      = {2017}
}
@inproceedings{DBLP:conf/cogsci/PereiraS17,
  author    = {Lu{\'{\i}}s Moniz Pereira and
               Ari Saptawijaya},
  title     = {Agent Morality via Counterfactuals in Logic Programming},
  booktitle = {Bridging@CogSci},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1994},
  pages     = {39--53},
  publisher = {CEUR-WS.org},
  year      = {2017}
}
@inproceedings{DBLP:conf/cogsci/RagniR17,
  author    = {Marco Ragni and
               Nicolas Riesterer},
  title     = {The Search for Cognitive Models: Standards and Challenges},
  booktitle = {Bridging@CogSci},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1994},
  pages     = {10--17},
  publisher = {CEUR-WS.org},
  year      = {2017}
}
@inproceedings{DBLP:conf/cogsci/SaldanhaHM17,
  author    = {Emmanuelle{-}Anna Dietz Saldanha and
               Steffen H{\"{o}}lldobler and
               Richard M{\"{o}}rbitz},
  title     = {Principles and Clusters in Human Syllogistic Reasoning},
  booktitle = {Bridging@CogSci},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1994},
  pages     = {69--83},
  publisher = {CEUR-WS.org},
  year      = {2017}
}
@inproceedings{DBLP:conf/cogsci/SaldanhaHR17,
  author    = {Emmanuelle{-}Anna Dietz Saldanha and
               Steffen H{\"{o}}lldobler and
               Isabelly Lour{\^{e}}do Rocha},
  title     = {The Weak Completion Semantics},
  booktitle = {Bridging@CogSci},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1994},
  pages     = {18--30},
  publisher = {CEUR-WS.org},
  year      = {2017}
}
@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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics