Search dblp for Publications

export results for "venn diagram representation"

 download as .bib file

@article{DBLP:journals/jolli/MoktefiP15,
  author    = {Amirouche Moktefi and
               Ahti{-}Veikko Pietarinen},
  title     = {On the Diagrammatic Representation of Existential Statements with
               Venn Diagrams},
  journal   = {J. Log. Lang. Inf.},
  volume    = {24},
  number    = {4},
  pages     = {361--374},
  year      = {2015},
  url       = {https://doi.org/10.1007/s10849-015-9228-1},
  doi       = {10.1007/s10849-015-9228-1},
  timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jolli/MoktefiP15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/DvoryanchikovaLCL10,
  author    = {Aleksandra Dvoryanchikova and
               Andrei Lobov and
               Anna Capanji and
               Jose L. Martinez Lastra},
  title     = {Edwards-Venn Diagrams for knowledge representation and reasoning in
               industrial systems},
  booktitle = {Proceedings of 15th {IEEE} International Conference on Emerging Technologies
               and Factory Automation, {ETFA} 2010, September 13-16, 2010, Bilbao,
               Spain},
  pages     = {1--7},
  publisher = {{IEEE}},
  year      = {2010},
  url       = {https://doi.org/10.1109/ETFA.2010.5641281},
  doi       = {10.1109/ETFA.2010.5641281},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/etfa/DvoryanchikovaLCL10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/02/Swoboda02,
  author    = {Nik Swoboda},
  editor    = {Michael Anderson and
               Bernd Meyer and
               Patrick Olivier},
  title     = {Implementing Euler/Venn Reasoning Systems},
  booktitle = {Diagrammatic Representation and Reasoning},
  pages     = {371--386},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/978-1-4471-0109-3\_21},
  doi       = {10.1007/978-1-4471-0109-3\_21},
  timestamp = {Thu, 18 Jun 2020 16:53:07 +0200},
  biburl    = {https://dblp.org/rec/books/sp/02/Swoboda02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics