BibTeX records: Flávio S. Corrêa da Silva

download as .bib file

@inproceedings{DBLP:conf/ssci/AslanSN23,
  author       = {Bilal Aslan and
                  Fl{\'{a}}vio S. Corr{\^{e}}a da Silva and
                  Geoff Nitschke},
  title        = {Multi-Objective Evolution for Automated Chemistry},
  booktitle    = {{IEEE} Symposium Series on Computational Intelligence, {SSCI} 2023,
                  Mexico City, Mexico, December 5-8, 2023},
  pages        = {152--157},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/SSCI52147.2023.10372035},
  doi          = {10.1109/SSCI52147.2023.10372035},
  timestamp    = {Mon, 15 Jan 2024 21:26:31 +0100},
  biburl       = {https://dblp.org/rec/conf/ssci/AslanSN23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/giq/CorreaMS20,
  author       = {Andreiwid Sheffer Corr{\^{e}}a and
                  Alencar de Melo Jr. and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  title        = {A deep search method to survey data portals in the whole web: toward
                  a machine learning classification model},
  journal      = {Gov. Inf. Q.},
  volume       = {37},
  number       = {4},
  pages        = {101510},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.giq.2020.101510},
  doi          = {10.1016/J.GIQ.2020.101510},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/giq/CorreaMS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ict-express/SilvaCI20,
  author       = {Fl{\'{a}}vio S. Corr{\^{e}}a da Silva and
                  Frederico P. Costa and
                  Antonio F. Iemma},
  title        = {Practical considerations regarding classification learning for clinical
                  diagnosis and therapy advice in oncology},
  journal      = {{ICT} Express},
  volume       = {6},
  number       = {3},
  pages        = {151--154},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.icte.2020.03.004},
  doi          = {10.1016/J.ICTE.2020.03.004},
  timestamp    = {Sat, 21 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ict-express/SilvaCI20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Silva20,
  author       = {Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  editor       = {Filippo Palumbo and
                  Francesca Gasparini and
                  Francesca Fracasso},
  title        = {Positive Artificial Intelligence},
  booktitle    = {Proceedings of the Italian Workshop on Artificial Intelligence for
                  an Ageing Society 2020 co-located with 19th International Conference
                  of the Italian Association for Artificial Intelligence (AIxIA 2020),
                  Anywhere, November 25th-27th, 2020},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2804},
  pages        = {1--13},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2804/paper1.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/Silva20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Silva20a,
  author       = {Fl{\'{a}}vio S. Corr{\^{e}}a da Silva},
  editor       = {Matteo Baldoni and
                  Stefania Bandini},
  title        = {Towards Positive Artificial Intelligence},
  booktitle    = {AIxIA 2020 - Advances in Artificial Intelligence - XIXth International
                  Conference of the Italian Association for Artificial Intelligence,
                  Virtual Event, November 25-27, 2020, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12414},
  pages        = {359--371},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-77091-4\_22},
  doi          = {10.1007/978-3-030-77091-4\_22},
  timestamp    = {Mon, 07 Jun 2021 12:03:14 +0200},
  biburl       = {https://dblp.org/rec/conf/aiia/Silva20a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccel/Calcina-CcoriBF20,
  author       = {Pablo C. Calcina{-}Ccori and
                  Laisa Caroline Costa De Biase and
                  Geovane Fedrecheski and
                  Fl{\'{a}}vio S. Corr{\^{e}}a da Silva and
                  Marcelo Kn{\"{o}}rich Zuffo},
  title        = {SwarmGen: a framework for automatic generation of semantic services
                  in an IoT network},
  booktitle    = {2020 {IEEE} International Conference on Consumer Electronics (ICCE),
                  Las Vegas, NV, USA, January 4-6, 2020},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ICCE46568.2020.9043076},
  doi          = {10.1109/ICCE46568.2020.9043076},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccel/Calcina-CcoriBF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/giq/CorreaSS19,
  author       = {Andreiwid Sheffer Corr{\^{e}}a and
                  Raul Mendes de Souza and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  title        = {Towards an automated method to assess data portals in the deep web},
  journal      = {Gov. Inf. Q.},
  volume       = {36},
  number       = {3},
  pages        = {412--426},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.giq.2019.03.004},
  doi          = {10.1016/J.GIQ.2019.03.004},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/giq/CorreaSS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tce/Calcina-CcoriBF19,
  author       = {Pablo C. Calcina{-}Ccori and
                  Laisa Caroline Costa De Biase and
                  Geovane Fedrecheski and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva and
                  Marcelo Kn{\"{o}}rich Zuffo},
  title        = {Enabling Semantic Discovery in the Swarm},
  journal      = {{IEEE} Trans. Consumer Electron.},
  volume       = {65},
  number       = {1},
  pages        = {57--63},
  year         = {2019},
  url          = {https://doi.org/10.1109/TCE.2018.2888511},
  doi          = {10.1109/TCE.2018.2888511},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tce/Calcina-CcoriBF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dgo/CorreaS19,
  author       = {Andreiwid Sheffer Corr{\^{e}}a and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  editor       = {Yu{-}Che Chen and
                  Fadi Salem and
                  Anneke Zuiderwijk},
  title        = {Laying the foundations for benchmarking open data automatically: a
                  method for surveying data portals from the whole web},
  booktitle    = {20th Annual International Conference on Digital Government Research,
                  {DG.O} 2019, Dubai, United Arab Emirates, June 18-20, 2019},
  pages        = {287--296},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3325112.3325257},
  doi          = {10.1145/3325112.3325257},
  timestamp    = {Wed, 10 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dgo/CorreaS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/giots/Calcina-CcoriBO19,
  author       = {Pablo C. Calcina{-}Ccori and
                  Laisa C. C. De Biase and
                  Carlos Eduardo L. De Oliveira and
                  Geovane Fedrecheski and
                  Fl{\'{a}}vio S. Corr{\^{e}}a da Silva and
                  Marcelo Kn{\"{o}}rich Zuffo},
  title        = {Location-aware discovery of services in the IoT: a Swarm approach},
  booktitle    = {2019 Global IoT Summit, GIoTS 2019, Aarhus, Denmark, June 17-21, 2019},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/GIOTS.2019.8766389},
  doi          = {10.1109/GIOTS.2019.8766389},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/giots/Calcina-CcoriBO19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccel/Calcina-CcoriBO19,
  author       = {Pablo C. Calcina{-}Ccori and
                  Laisa Caroline Costa De Biase and
                  Carlos Eduardo L. De Oliveira and
                  Geovane Fedrecheski and
                  Fl{\'{a}}vio S. Corr{\^{e}}a da Silva and
                  Marcelo Kn{\"{o}}rich Zuffo},
  title        = {Describing services geolocation in IoT context},
  booktitle    = {{IEEE} International Conference on Consumer Electronics, {ICCE} 2019,
                  Las Vegas, NV, USA, January 11-13, 2019},
  pages        = {1--2},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICCE.2019.8661934},
  doi          = {10.1109/ICCE.2019.8661934},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccel/Calcina-CcoriBO19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cem/KawamotoS18,
  author       = {Andr{\'{e}} Luiz Satoshi Kawamoto and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  title        = {Depth-Sensor Applications for the Elderly: {A} Viable Option to Promote
                  a Better Quality of Life},
  journal      = {{IEEE} Consumer Electron. Mag.},
  volume       = {7},
  number       = {1},
  pages        = {47--56},
  year         = {2018},
  url          = {https://doi.org/10.1109/MCE.2017.2692800},
  doi          = {10.1109/MCE.2017.2692800},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cem/KawamotoS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcsci/CorreaCSC18,
  author       = {Andreiwid Sheffer Corr{\^{e}}a and
                  Pedro Luiz Pizzigatti Corr{\^{e}}a and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva and
                  Tiago J. Carvalho},
  title        = {An ADD-Oriented Software Architecture for Structuring Information
                  to Open Government Data},
  journal      = {J. Comput. Sci.},
  volume       = {14},
  number       = {5},
  pages        = {673--679},
  year         = {2018},
  url          = {https://doi.org/10.3844/jcssp.2018.673.679},
  doi          = {10.3844/JCSSP.2018.673.679},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcsci/CorreaCSC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dgo/CorreaZS18,
  author       = {Andreiwid Sheffer Corr{\^{e}}a and
                  P{\"{a}}r{-}Ola Zander and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  editor       = {Marijn Janssen and
                  Soon Ae Chun and
                  Vishanth Weerakkody},
  title        = {Investigating open data portals automatically: a methodology and some
                  illustrations},
  booktitle    = {Proceedings of the 19th Annual International Conference on Digital
                  Government Research: Governance in the Data Age, {DG.O} 2018, Delft,
                  The Netherlands, May 30 - June 01, 2018},
  pages        = {82:1--82:10},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3209281.3209292},
  doi          = {10.1145/3209281.3209292},
  timestamp    = {Fri, 08 Sep 2023 14:37:47 +0200},
  biburl       = {https://dblp.org/rec/conf/dgo/CorreaZS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-10078,
  author       = {Arlindo Fl{\'{a}}vio da Concei{\c{c}}{\~{a}}o and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva and
                  Vladimir Rocha and
                  Angela Locoro and
                  Jo{\~{a}}o Marcos Barguil},
  title        = {Eletronic Health Records using Blockchain Technology},
  journal      = {CoRR},
  volume       = {abs/1804.10078},
  year         = {2018},
  url          = {http://arxiv.org/abs/1804.10078},
  eprinttype    = {arXiv},
  eprint       = {1804.10078},
  timestamp    = {Mon, 11 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-10078.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-04854,
  author       = {Fl{\'{a}}vio S. Corr{\^{e}}a da Silva and
                  Frederico P. Costa and
                  Antonio F. Iemma},
  title        = {On the practice of classification learning for clinical diagnosis
                  and therapy advice in oncology},
  journal      = {CoRR},
  volume       = {abs/1811.04854},
  year         = {2018},
  url          = {http://arxiv.org/abs/1811.04854},
  eprinttype    = {arXiv},
  eprint       = {1811.04854},
  timestamp    = {Fri, 23 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1811-04854.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cogsr/VieiraS17,
  author       = {Luiz Carlos Vieira and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  title        = {Assessment of fun in interactive systems: {A} survey},
  journal      = {Cogn. Syst. Res.},
  volume       = {41},
  pages        = {130--143},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.cogsys.2016.09.007},
  doi          = {10.1016/J.COGSYS.2016.09.007},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cogsr/VieiraS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/VeneroS17,
  author       = {Mirtha Lina Fern{\'{a}}ndez Venero and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  title        = {Model checking multi-level and recursive nets},
  journal      = {Softw. Syst. Model.},
  volume       = {16},
  number       = {4},
  pages        = {1117--1144},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10270-015-0509-6},
  doi          = {10.1007/S10270-015-0509-6},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/VeneroS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccel/BiaseCSZ17,
  author       = {Laisa Caroline Costa De Biase and
                  Pablo C. Calcina{-}Ccori and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva and
                  Marcelo Kn{\"{o}}rich Zuffo},
  title        = {The semantic Mediation for the Swarm: An adaptable and organic solution
                  for the Internet of Things},
  booktitle    = {{IEEE} International Conference on Consumer Electronics, {ICCE} 2017,
                  Las Vegas, NV, USA, January 8-10, 2017},
  pages        = {78--79},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICCE.2017.7889237},
  doi          = {10.1109/ICCE.2017.7889237},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccel/BiaseCSZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfnds/Calcina-CcoriCF17,
  author       = {Pablo C. Calcina{-}Ccori and
                  Laisa Caroline de Paula Costa and
                  Geovane Fedrecheski and
                  John Esquiagola and
                  Marcelo Zuffo and
                  Fl{\'{a}}vio S. Corr{\^{e}}a da Silva},
  editor       = {Mohammad Hammoudeh and
                  Robert M. Newman},
  title        = {Agile servient integration with the Swarm: Automatic code generation
                  for nodes in the Internet of Things},
  booktitle    = {Proceedings of the International Conference on Future Networks and
                  Distributed Systems, {ICFNDS} 2017, Cambridge, United Kingdom, July
                  19-20, 2017},
  pages        = {30:1--30:6},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3102304.3102334},
  doi          = {10.1145/3102304.3102334},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfnds/Calcina-CcoriCF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ontobras/SucaS17,
  author       = {Erika Guetti Suca and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  editor       = {Mara Abel and
                  Sandro Rama Fiorini and
                  Christiano Pessanha},
  title        = {Preserving Confidentiality in Ontologies: Can we Develop Secure Ontologies?},
  booktitle    = {Proceedings of the {IX} Seminar on Ontology Research in Brazil and
                  {I} Doctoral and Masters Consortium on Ontologies, Bras{\'{\i}}lia,
                  Brazil, August 28th-30th, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1908},
  pages        = {199--204},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1908/paper23.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:15 +0100},
  biburl       = {https://dblp.org/rec/conf/ontobras/SucaS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-01648,
  author       = {Stefania Bandini and
                  Luca Crociani and
                  Giuseppe Vizzari and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva and
                  Andrea Gorrini},
  title        = {The Role of Compliance in Heterogeneous Interacting Agents: Data from
                  Observations},
  journal      = {CoRR},
  volume       = {abs/1712.01648},
  year         = {2017},
  url          = {http://arxiv.org/abs/1712.01648},
  eprinttype    = {arXiv},
  eprint       = {1712.01648},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1712-01648.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ontobras/SucaS16,
  author       = {Erika Guetti Suca and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  editor       = {Renata Maria Abrantes Baracho and
                  Seiji Isotani and
                  Mauricio Barcellos Almeida},
  title        = {A Logical Approach for Preserving Confidentiality in Shared Knowledge
                  Bases},
  booktitle    = {Proceedings of the {IX} {ONTOBRAS} Brazilian Ontology Research Seminar,
                  Curitiba, Brazil, October 3rd, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1862},
  pages        = {132--137},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1862/paper-11.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:15 +0100},
  biburl       = {https://dblp.org/rec/conf/ontobras/SucaS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dgo/CorreaCS15,
  author       = {Andreiwid Sheffer Corr{\^{e}}a and
                  Pedro Luiz Pizzigatti Corr{\^{e}}a and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  editor       = {Karen Mossberger and
                  Natalie Helbig and
                  Jing Zhang and
                  Yushim Kim},
  title        = {A collaborative-oriented middleware for structuring information to
                  open government data},
  booktitle    = {Proceedings of the 16th Annual International Conference on Digital
                  Government Research, Phoenix, AZ, USA, May 27-30, 2015},
  pages        = {43--50},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2757401.2757409},
  doi          = {10.1145/2757401.2757409},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dgo/CorreaCS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gala/SilvaVB15,
  author       = {Fl{\'{a}}vio S. Corr{\^{e}}a da Silva and
                  Luiz Carlos Vieira and
                  Stefania Bandini},
  editor       = {Alessandro De Gloria and
                  Remco C. Veltkamp},
  title        = {Engagement Mechanisms for Social Machines},
  booktitle    = {Games and Learning Alliance - 4th International Conference, {GALA}
                  2015, Rome, Italy, December 9-11, 2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9599},
  pages        = {361--367},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-40216-1\_40},
  doi          = {10.1007/978-3-319-40216-1\_40},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gala/SilvaVB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/SilvaRV15,
  author       = {Fl{\'{a}}vio S. Corr{\^{e}}a da Silva and
                  Dave Robertson and
                  Wamberto Weber Vasconcelos},
  editor       = {St{\'{e}}phane Loiseau and
                  Joaquim Filipe and
                  B{\'{e}}atrice Duval and
                  H. Jaap van den Herik},
  title        = {{LS2C} - {A} Platform to Design, Implement and Execute Social Computations},
  booktitle    = {{ICAART} 2015 - Proceedings of the International Conference on Agents
                  and Artificial Intelligence, Volume 2, Lisbon, Portugal, 10-12 January,
                  2015},
  pages        = {196--203},
  publisher    = {SciTePress},
  year         = {2015},
  timestamp    = {Tue, 13 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icaart/SilvaRV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/SilvaRV15a,
  author       = {Fl{\'{a}}vio S. Corr{\^{e}}a da Silva and
                  David Stuart Robertson and
                  Wamberto Weber Vasconcelos},
  editor       = {B{\'{e}}atrice Duval and
                  H. Jaap van den Herik and
                  St{\'{e}}phane Loiseau and
                  Joaquim Filipe},
  title        = {{LS} {\^{}}2 {C} - {A} Platform for Norm Controlled Social Computers},
  booktitle    = {Agents and Artificial Intelligence - 7th International Conference,
                  {ICAART} 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9494},
  pages        = {284--297},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-27947-3\_15},
  doi          = {10.1007/978-3-319-27947-3\_15},
  timestamp    = {Tue, 13 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icaart/SilvaRV15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdata/CorreaCSS14,
  author       = {Andreiwid Sheffer Corr{\^{e}}a and
                  Pedro Luiz Pizzigatti Corr{\^{e}}a and
                  Daniel Lins da Silva and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  title        = {Really Opened Government Data: {A} Collaborative Transparency at Sight},
  booktitle    = {2014 {IEEE} International Congress on Big Data, Anchorage, AK, USA,
                  June 27 - July 2, 2014},
  pages        = {806--807},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/BigData.Congress.2014.131},
  doi          = {10.1109/BIGDATA.CONGRESS.2014.131},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bigdata/CorreaCSS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dgo/CorreaCS14,
  author       = {Andreiwid Sheffer Corr{\^{e}}a and
                  Pedro Luiz Pizzigatti Corr{\^{e}}a and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  editor       = {Gabriel Puron Cid and
                  Scott P. Robertson and
                  Jing Zhang and
                  J. Ram{\'{o}}n Gil{-}Garc{\'{\i}}a},
  title        = {Transparency portals versus open government data: an assessment of
                  openness in Brazilian municipalities},
  booktitle    = {15th Annual International Conference on Digital Government Research,
                  dg.o '14, Aguascalientes, Mexico, June 18-21, 2014},
  pages        = {178--185},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2612733.2612760},
  doi          = {10.1145/2612733.2612760},
  timestamp    = {Fri, 08 Sep 2023 15:13:05 +0200},
  biburl       = {https://dblp.org/rec/conf/dgo/CorreaCS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/KawamotoMS14,
  author       = {Andr{\'{e}} Luiz Satoshi Kawamoto and
                  Valeria Farinazzo Martins and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  title        = {Converging Natural User Interfaces guidelines and the design of applications
                  for older adults},
  booktitle    = {2014 {IEEE} International Conference on Systems, Man, and Cybernetics,
                  {SMC} 2014, San Diego, CA, USA, October 5-8, 2014},
  pages        = {2328--2334},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SMC.2014.6974274},
  doi          = {10.1109/SMC.2014.6974274},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/KawamotoMS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/VeneroS14,
  author       = {Mirtha Lina Fern{\'{a}}ndez Venero and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  title        = {A general translation from nested Petri nets into {PROMELA}},
  journal      = {CoRR},
  volume       = {abs/1403.7991},
  year         = {2014},
  url          = {http://arxiv.org/abs/1403.7991},
  eprinttype    = {arXiv},
  eprint       = {1403.7991},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/VeneroS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/information/Silva13,
  author       = {Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  title        = {Philosophy of Information: Views and Reflections on the Work of Luciano
                  Floridi},
  journal      = {Inf.},
  volume       = {4},
  number       = {1},
  pages        = {31--32},
  year         = {2013},
  url          = {https://doi.org/10.3390/info4010031},
  doi          = {10.3390/INFO4010031},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/information/Silva13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kais/Silva13,
  author       = {Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  title        = {Knowledge-based interaction protocols for intelligent interactive
                  environments},
  journal      = {Knowl. Inf. Syst.},
  volume       = {34},
  number       = {1},
  pages        = {219--242},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10115-011-0464-7},
  doi          = {10.1007/S10115-011-0464-7},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/kais/Silva13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/SilvaVDSC13,
  author       = {Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva and
                  Mirtha Lina Fern{\'{a}}ndez Venero and
                  Diego Mira David and
                  Mohammad Saleem and
                  Paul W. H. Chung},
  title        = {Interaction protocols for cross-organisational workflows},
  journal      = {Knowl. Based Syst.},
  volume       = {37},
  pages        = {121--136},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.knosys.2012.07.023},
  doi          = {10.1016/J.KNOSYS.2012.07.023},
  timestamp    = {Thu, 18 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/kbs/SilvaVDSC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/SucaS13,
  author       = {Erika Guetti Suca and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  editor       = {Kecheng Liu and
                  Ana L. N. Fred and
                  Joaquim Filipe},
  title        = {An Ontology for Portability and Interoperability Digital Documents
                  - An Approach in Document Engineering using Ontologies},
  booktitle    = {{KDIR/KMIS} 2013 - Proceedings of the International Conference on
                  Knowledge Discovery and Information Retrieval and the International
                  Conference on Knowledge Management and Information Sharing, Vilamoura,
                  Algarve, Portugal, 19 - 22 September, 2013},
  pages        = {373--380},
  publisher    = {SciTePress},
  year         = {2013},
  url          = {https://doi.org/10.5220/0004547503730380},
  doi          = {10.5220/0004547503730380},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ic3k/SucaS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icegov/AndrewsS13,
  author       = {Pierre Andrews and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  editor       = {Jeanne Holm and
                  Tomasz Janowski},
  title        = {Using parliamentary open data to improve participation},
  booktitle    = {7th International Conference on Theory and Practice of Electronic
                  Governance, {ICEGOV} '13, Seoul, Republic of Korea, October 22-25,
                  2013},
  pages        = {242--249},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2591888.2591933},
  doi          = {10.1145/2591888.2591933},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icegov/AndrewsS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwec/AlmeidaS13,
  author       = {Marcos Silvano Orita Almeida and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  editor       = {J{\'{u}}nia Coutinho Anacleto and
                  Esteban Walter Gonzalez Clua and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva and
                  Sidney S. Fels and
                  Hyun Seung Yang},
  title        = {A Systematic Review of Game Design Methods and Tools},
  booktitle    = {Entertainment Computing - {ICEC} 2013 - 12th International Conference,
                  {ICEC} 2013, S{\~{a}}o Paulo, Brazil, October 16-18, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8215},
  pages        = {17--29},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41106-9\_3},
  doi          = {10.1007/978-3-642-41106-9\_3},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/iwec/AlmeidaS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwec/KawamotoSS13,
  author       = {Andr{\'{e}} Luiz Satoshi Kawamoto and
                  Val{\'{e}}ria Farinazzo Martins Salvador and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  editor       = {J{\'{u}}nia Coutinho Anacleto and
                  Esteban Walter Gonzalez Clua and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva and
                  Sidney S. Fels and
                  Hyun Seung Yang},
  title        = {Usability Evaluation of an Application Designed for the Older Adults},
  booktitle    = {Entertainment Computing - {ICEC} 2013 - 12th International Conference,
                  {ICEC} 2013, S{\~{a}}o Paulo, Brazil, October 16-18, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8215},
  pages        = {189--192},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41106-9\_28},
  doi          = {10.1007/978-3-642-41106-9\_28},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwec/KawamotoSS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/VeneroS13,
  author       = {Mirtha Lina Fern{\'{a}}ndez Venero and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  editor       = {Juliano Iyoda and
                  Leonardo Mendon{\c{c}}a de Moura},
  title        = {On the Use of {SPIN} for Studying the Behavior of Nested Petri Nets},
  booktitle    = {Formal Methods: Foundations and Applications - 16th Brazilian Symposium,
                  {SBMF} 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8195},
  pages        = {83--98},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41071-0\_7},
  doi          = {10.1007/978-3-642-41071-0\_7},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/sbmf/VeneroS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbsi/FernandezADSM13,
  author       = {Mirtha{-}Lina Fern{\'{a}}ndez and
                  Cl{\'{a}}udia Josimar Abr{\~{a}}o de Ara{\'{u}}jo and
                  Diego Mira David and
                  Fl{\'{a}}vio S. Corr{\^{e}}a da Silva and
                  Ana Magalh{\~{a}}es},
  editor       = {Rita Suzana Pitangueira Maciel and
                  Adriana Z. Clericuzi},
  title        = {OpenMuseum: uma estrutura para colabora{\c{c}}{\~{a}}o entre institui{\c{c}}{\~{o}}es
                  de patrim{\^{o}}nio cultural},
  booktitle    = {Proceedings of the 9th Brazilian Symposium on Information Systems,
                  {SBSI} 2013, Jo{\~{a}}o Pessoa, Brazil, May 22-24, 2013},
  pages        = {158--169},
  year         = {2013},
  url          = {https://doi.org/10.5753/sbsi.2013.5684},
  doi          = {10.5753/SBSI.2013.5684},
  timestamp    = {Mon, 31 Jan 2022 17:23:36 +0100},
  biburl       = {https://dblp.org/rec/conf/sbsi/FernandezADSM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/VeneroS13,
  author       = {Mirtha Lina Fern{\'{a}}ndez Venero and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  editor       = {Steve Counsell and
                  Manuel N{\'{u}}{\~{n}}ez},
  title        = {Modeling and Simulating Interaction Protocols Using Nested Petri Nets},
  booktitle    = {Software Engineering and Formal Methods - {SEFM} 2013 Collocated Workshops:
                  BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain,
                  September 23-24, 2013, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8368},
  pages        = {135--150},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-05032-4\_11},
  doi          = {10.1007/978-3-319-05032-4\_11},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/VeneroS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/svr/KawamotoS13,
  author       = {Andr{\'{e}} Luiz Satoshi Kawamoto and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  title        = {Using Low-Cost Technologies in the Development of People-Monitoring
                  Applications},
  booktitle    = {15th Symposium on Virtual and Augmented Reality, {SVR} 2013, Cuiab{\'{a}}
                  - Mato Grosso, Brazil, May 28-31, 2013},
  pages        = {204--207},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/SVR.2013.23},
  doi          = {10.1109/SVR.2013.23},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/svr/KawamotoS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwec/2013,
  editor       = {J{\'{u}}nia Coutinho Anacleto and
                  Esteban Walter Gonzalez Clua and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva and
                  Sidney S. Fels and
                  Hyun Seung Yang},
  title        = {Entertainment Computing - {ICEC} 2013 - 12th International Conference,
                  {ICEC} 2013, S{\~{a}}o Paulo, Brazil, October 16-18, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8215},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41106-9},
  doi          = {10.1007/978-3-642-41106-9},
  isbn         = {978-3-642-41105-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwec/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apin/PeanhoSS12,
  author       = {Claudio Antonio Peanho and
                  Henrique Stagni and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  title        = {Semantic information extraction from images of complex documents},
  journal      = {Appl. Intell.},
  volume       = {37},
  number       = {4},
  pages        = {543--557},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10489-012-0348-x},
  doi          = {10.1007/S10489-012-0348-X},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apin/PeanhoSS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijdet/AraujoS12,
  author       = {Cl{\'{a}}udia Josimar Abr{\~{a}}o de Ara{\'{u}}jo and
                  Fl{\'{a}}vio S. Corr{\^{e}}a da Silva},
  title        = {A System for Governmental Virtual Institutions based on Ontologies
                  and Interaction Protocols},
  journal      = {Int. J. Distance Educ. Technol.},
  volume       = {10},
  number       = {4},
  pages        = {82--95},
  year         = {2012},
  url          = {https://doi.org/10.4018/jdet.2012100107},
  doi          = {10.4018/JDET.2012100107},
  timestamp    = {Thu, 01 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijdet/AraujoS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/NetoS12,
  author       = {Ary Fagundes Bressane Neto and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  editor       = {Marielba Zacarias and
                  Jos{\'{e}} Valente de Oliveira},
  title        = {A Computer Architecture for Intelligent Agents with Personality and
                  Emotions},
  booktitle    = {Human-Computer Interaction: The Agency Perspective},
  series       = {Studies in Computational Intelligence},
  volume       = {396},
  pages        = {263--285},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-25691-2\_11},
  doi          = {10.1007/978-3-642-25691-2\_11},
  timestamp    = {Sat, 30 Sep 2023 10:30:33 +0200},
  biburl       = {https://dblp.org/rec/series/sci/NetoS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwec/SilvaN11,
  author       = {Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva and
                  Ary Fagundes Bressane Neto},
  editor       = {J{\'{u}}nia Coutinho Anacleto and
                  Sidney S. Fels and
                  T. C. Nicholas Graham and
                  Bill Kapralos and
                  Magy Seif El{-}Nasr and
                  Kevin Stanley},
  title        = {Affective Agents for Empathic Interactions},
  booktitle    = {Entertainment Computing - {ICEC} 2011 - 10th International Conference,
                  {ICEC} 2011, Vancouver, Canada, October 5-8, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6972},
  pages        = {161--172},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24500-8\_18},
  doi          = {10.1007/978-3-642-24500-8\_18},
  timestamp    = {Sun, 12 Nov 2023 02:15:16 +0100},
  biburl       = {https://dblp.org/rec/conf/iwec/SilvaN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ontobras/SucaS11,
  author       = {Erika Guetti Suca and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  editor       = {Renata Vieira and
                  Giancarlo Guizzardi and
                  Sandro Rama Fiorini},
  title        = {Interoperabilidade e Portabilidade de Documentos Digitais Usando Oontologias},
  booktitle    = {Proceedings of Joint {IV} Seminar on Ontology Research in Brazil and
                  {VI} International Workshop on Metamodels, Ontologies and Semantic
                  Technologies, Gramado, Brazil, September 12-14, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {776},
  pages        = {117--122},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-776/ontobras-most2011\_paper11.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:15 +0100},
  biburl       = {https://dblp.org/rec/conf/ontobras/SucaS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbia/NetoS10,
  author       = {Ary Fagundes Bressane Neto and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  editor       = {Ant{\^{o}}nio Carlos da Rocha Costa and
                  Rosa Maria Vicari and
                  Flavio Tonidandel},
  title        = {On the Construction of Synthetic Characters with Personality and Emotion},
  booktitle    = {Advances in Artificial Intelligence - {SBIA} 2010 - 20th Brazilian
                  Symposium on Artificial Intelligence, S{\~{a}}o Bernardo do Campo,
                  Brazil, October 23-28, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6404},
  pages        = {102--111},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16138-4\_11},
  doi          = {10.1007/978-3-642-16138-4\_11},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/sbia/NetoS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kes/SilvaB09,
  author       = {Fl{\'{a}}vio S. Corr{\^{e}}a da Silva and
                  Stefania Bandini},
  title        = {Special issue: Intelligent agents and services for smart environments},
  journal      = {Int. J. Knowl. Based Intell. Eng. Syst.},
  volume       = {13},
  number       = {1},
  pages        = {1--3},
  year         = {2009},
  url          = {https://doi.org/10.3233/KES-2009-0172},
  doi          = {10.3233/KES-2009-0172},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/kes/SilvaB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icegov/AraujoS09,
  author       = {Cl{\'{a}}udia Josimar Abr{\~{a}}o de Ara{\'{u}}jo and
                  Fl{\'{a}}vio S. Corr{\^{e}}a da Silva},
  editor       = {Tomasz Janowski and
                  Jim Davies},
  title        = {Governmental virtual institutions},
  booktitle    = {{ICEGOV} 2009, Proceedings of the 3rd International Conference on
                  Theory and Practice of Electronic Governance, Bogota, Colombia, November
                  10-13, 2009},
  series       = {{ACM} International Conference Proceeding Series},
  volume       = {322},
  pages        = {404--406},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1693042.1693132},
  doi          = {10.1145/1693042.1693132},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icegov/AraujoS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iva/NetoS09,
  author       = {Ary Fagundes Bressane Neto and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  editor       = {Zs{\'{o}}fia Ruttkay and
                  Michael Kipp and
                  Anton Nijholt and
                  Hannes H{\"{o}}gni Vilhj{\'{a}}lmsson},
  title        = {Synthetic Characters with Personality and Emotion},
  booktitle    = {Intelligent Virtual Agents, 9th International Conference, {IVA} 2009,
                  Amsterdam, The Netherlands, September 14-16, 2009, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5773},
  pages        = {533--534},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04380-2\_78},
  doi          = {10.1007/978-3-642-04380-2\_78},
  timestamp    = {Tue, 21 Mar 2023 21:01:33 +0100},
  biburl       = {https://dblp.org/rec/conf/iva/NetoS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbgames/PassosMCPS09,
  author       = {Erick Baptista Passos and
                  Anselmo Antunes Montenegro and
                  Esteban Walter Gonzalez Clua and
                  Cesar Tadeu Pozzer and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva},
  title        = {Hierarchical {PNF} Networks - {A} Temporal Model of Events for the
                  Representation and Dramatization of Storytelling},
  booktitle    = {{VIII} Brazilian Symposium on Games and Digital Entertainment, {SBGAMES}
                  2009, Rio de Janeiro, Brazil, October 8-10, 2009},
  pages        = {175--184},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/SBGAMES.2009.28},
  doi          = {10.1109/SBGAMES.2009.28},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbgames/PassosMCPS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0019979,
  author       = {Fl{\'{a}}vio S. Corr{\^{e}}a da Silva and
                  Jaume Agust{\'{\i}}{-}Cullell},
  title        = {Information flow and knowledge sharing},
  series       = {Capturing intelligence},
  publisher    = {Elsevier},
  year         = {2008},
  isbn         = {978-0-444-52935-0},
  timestamp    = {Wed, 06 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/daglib/0019979.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/Salazar-TorresCSNB08,
  author       = {G. Salazar{-}Torres and
                  Ettore Colombo and
                  Fl{\'{a}}vio S. Corr{\^{e}}a da Silva and
                  C. A. Noriega and
                  Stefania Bandini},
  title        = {Design issues for knowledge artifacts},
  journal      = {Knowl. Based Syst.},
  volume       = {21},
  number       = {8},
  pages        = {856--867},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.knosys.2008.03.058},
  doi          = {10.1016/J.KNOSYS.2008.03.058},
  timestamp    = {Tue, 25 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/kbs/Salazar-TorresCSNB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/VizzariPS08,
  author       = {Giuseppe Vizzari and
                  Giorgio Pizzi and
                  Fl{\'{a}}vio S. Corr{\^{e}}a da Silva},
  editor       = {Roger L. Wainwright and
                  Hisham Haddad},
  title        = {A framework for execution and 3D visualization of situated cellular
                  agent based crowd simulations},
  booktitle    = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
                  Fortaleza, Ceara, Brazil, March 16-20, 2008},
  pages        = {18--22},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1363686.1363692},
  doi          = {10.1145/1363686.1363692},
  timestamp    = {Tue, 06 Nov 2018 11:06:48 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/VizzariPS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aai/SilvaV07,
  author       = {Fl{\'{a}}vio S. Corr{\^{e}}a da Silva and
                  Wamberto Weber Vasconcelos},
  title        = {Managing Responsive Environments with Software Agents},
  journal      = {Appl. Artif. Intell.},
  volume       = {21},
  number       = {4{\&}5},
  pages        = {469--488},
  year         = {2007},
  url          = {https://doi.org/10.1080/08839510701253682},
  doi          = {10.1080/08839510701253682},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aai/SilvaV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/VizzariPS07,
  author       = {Giuseppe Vizzari and
                  Giorgio Pizzi and
                  Fl{\'{a}}vio S. Corr{\^{e}}a da Silva},
  editor       = {Matteo Baldoni and
                  Antonio Boccalatte and
                  Flavio De Paoli and
                  Maurizio Martelli and
                  Viviana Mascardi},
  title        = {A Framework for Execution and Visualization of Situated Agents Based
                  Virtual Environments},
  booktitle    = {{WOA} 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop
                  "From Objects to Agents": Agents and Industry: Technological Applications
                  of Software Agents, 24-25 September 2007, Genova, Italy},
  pages        = {22--25},
  publisher    = {Seneca Edizioni Torino},
  year         = {2007},
  url          = {http://woa07.disi.unige.it/papers/D4\_VizPizSoa-WOA07-Demo.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/woa/VizzariPS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/VizzariPS07a,
  author       = {Giuseppe Vizzari and
                  Giorgio Pizzi and
                  Fl{\'{a}}vio S. Corr{\^{e}}a da Silva},
  editor       = {Matteo Baldoni and
                  Antonio Boccalatte and
                  Flavio De Paoli and
                  Maurizio Martelli and
                  Viviana Mascardi},
  title        = {A Framework for Interacting Situated Agents in Virtual Environments},
  booktitle    = {{WOA} 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop
                  "From Objects to Agents": Agents and Industry: Technological Applications
                  of Software Agents, 24-25 September 2007, Genova, Italy},
  pages        = {96--103},
  publisher    = {Seneca Edizioni Torino},
  year         = {2007},
  url          = {http://woa07.disi.unige.it/papers/VizzariFramework.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/woa/VizzariPS07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aepia/TrevizanBS06,
  author       = {Felipe W. Trevizan and
                  Leliane Nunes de Barros and
                  Fl{\'{a}}vio S. Corr{\^{e}}a da Silva},
  title        = {Designing logic-based robots},
  journal      = {Inteligencia Artif.},
  volume       = {10},
  number       = {31},
  pages        = {11--22},
  year         = {2006},
  url          = {http://journal.iberamia.org/index.php/ia/article/view/501/article\%20\%281\%29.pdf},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aepia/TrevizanBS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iberamia/SilvaV06,
  author       = {Fl{\'{a}}vio S. Corr{\^{e}}a da Silva and
                  Wamberto Weber Vasconcelos},
  editor       = {Jaime Sim{\~{a}}o Sichman and
                  Helder Coelho and
                  Solange Oliveira Rezende},
  title        = {Rule Schemata for Game Artificial Intelligence},
  booktitle    = {Advances in Artificial Intelligence - {IBERAMIA-SBIA} 2006, 2nd International
                  Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian
                  {AI} Symposium, Ribeir{\~{a}}o Preto, Brazil, October 23-27, 2006,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4140},
  pages        = {451--461},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11874850\_49},
  doi          = {10.1007/11874850\_49},
  timestamp    = {Sun, 02 Jun 2019 21:17:03 +0200},
  biburl       = {https://dblp.org/rec/conf/iberamia/SilvaV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apin/Silva05,
  author       = {Fl{\'{a}}vio S. Corr{\^{e}}a da Silva},
  title        = {Towards a Logic of Perishable Propositions},
  journal      = {Appl. Intell.},
  volume       = {23},
  number       = {2},
  pages        = {121--130},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10489-005-3417-6},
  doi          = {10.1007/S10489-005-3417-6},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apin/Silva05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/SilvaV05,
  author       = {Fl{\'{a}}vio S. Corr{\^{e}}a da Silva and
                  Wamberto Weber Vasconcelos},
  editor       = {Stefania Bandini and
                  Sara Manzoni},
  title        = {Agent-Based Management of Responsive Environments},
  booktitle    = {AI*IA 2005: Advances in Artificial Intelligence, 9th Congress of the
                  Italian Association for Artificial Intelligence, Milan, Italy, September
                  21-23, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3673},
  pages        = {224--236},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11558590\_23},
  doi          = {10.1007/11558590\_23},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/aiia/SilvaV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/SilvaWMBF05,
  author       = {Fl{\'{a}}vio S. Corr{\^{e}}a da Silva and
                  Renata Wassermann and
                  Ana Cristina Vieira de Melo and
                  Leliane Nunes de Barros and
                  Marcelo Finger},
  editor       = {Joaquim Filipe and
                  Juan Andrade{-}Cetto and
                  Jean{-}Louis Ferrier},
  title        = {Intelligent mobile multi-robotic systems: some challenges and possible
                  solutions},
  booktitle    = {{ICINCO} 2005, Proceedings of the Second International Conference
                  on Informatics in Control, Automation and Robotics, Barcelona, Spain,
                  September 14-17, 2005, 4 Volumes / {CD}},
  pages        = {479--485},
  publisher    = {{INSTICC} Press},
  year         = {2005},
  timestamp    = {Mon, 31 Oct 2005 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icinco/SilvaWMBF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/SilvaVRBMFA02,
  author       = {Fl{\'{a}}vio S. Corr{\^{e}}a da Silva and
                  Wamberto Weber Vasconcelos and
                  David Stuart Robertson and
                  Virg{\'{\i}}nia V. B. Biris Brilhante and
                  Ana Cristina Vieira de Melo and
                  Marcelo Finger and
                  Jaume Agust{\'{\i}}{-}Cullell},
  title        = {On the insufficiency of ontologies: problems in knowledge sharing
                  and alternative solutions},
  journal      = {Knowl. Based Syst.},
  volume       = {15},
  number       = {3},
  pages        = {147--167},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0950-7051(01)00152-6},
  doi          = {10.1016/S0950-7051(01)00152-6},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/kbs/SilvaVRBMFA02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/MenesesS02,
  author       = {Eudenia Xavier Meneses and
                  Fl{\'{a}}vio S. Corr{\^{e}}a da Silva},
  title        = {Expressing systems capabilities for knowledge coordination},
  booktitle    = {The First International Joint Conference on Autonomous Agents {\&}
                  Multiagent Systems, {AAMAS} 2002, July 15-19, 2002, Bologna, Italy,
                  Proceedings},
  pages        = {936--937},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/544862.544956},
  doi          = {10.1145/544862.544956},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atal/MenesesS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/CarbogimS00,
  author       = {Daniela Vasconcelos Carbogim and
                  Fl{\'{a}}vio S. Corr{\^{e}}a da Silva},
  title        = {Facts, Arguments, Annotations and Reasoning},
  journal      = {New Gener. Comput.},
  volume       = {19},
  number       = {1},
  pages        = {1--22},
  year         = {2000},
  url          = {https://doi.org/10.1007/BF03037532},
  doi          = {10.1007/BF03037532},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/CarbogimS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/RobertsonSVM00,
  author       = {David Stuart Robertson and
                  Fl{\'{a}}vio S. Corr{\^{e}}a da Silva and
                  Wamberto Weber Vasconcelos and
                  Ana Cristina Vieira de Melo},
  editor       = {Rasiah Loganantharaj and
                  G{\"{u}}nther Palm},
  title        = {A Lightweight Capability Communication Mechanism},
  booktitle    = {Intelligent Problem Solving, Methodologies and Approaches, 13th International
                  Conference on Industrial and Engineering Applications of Artificial
                  Intelligence and Expert Systems, {IEA/AIE} 2000, New Orleans, Louisiana,
                  USA, June 19-22, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1821},
  pages        = {660--670},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45049-1\_80},
  doi          = {10.1007/3-540-45049-1\_80},
  timestamp    = {Tue, 13 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ieaaie/RobertsonSVM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbia/SilvaV00a,
  author       = {Fl{\'{a}}vio S. Corr{\^{e}}a da Silva and
                  Sirley Ambr{\'{o}}sia Vitorio},
  editor       = {Maria Carolina Monard and
                  Jaime Sim{\~{a}}o Sichman},
  title        = {Remarks on Reasoning with Progressively Obsolete Information},
  booktitle    = {International Joint Conference, 7th Ibero-American Conference on AI,
                  15th Brazilian Symposium on AI, {IBERAMIA-SBIA} 2000, Open Discussion
                  Track Proceedings, Atibaia, SP, Brazil, November 19-22, 2000},
  pages        = {87--95},
  publisher    = {{ICMC/USP}},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 12:08:12 +0100},
  biburl       = {https://dblp.org/rec/conf/sbia/SilvaV00a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/Silva99,
  author       = {Fl{\'{a}}vio S. Corr{\^{e}}a da Silva},
  editor       = {Ibrahim F. Imam and
                  Yves Kodratoff and
                  Ayman El{-}Dessouki and
                  Moonis Ali},
  title        = {Formalisations of Uncertain Reasonining},
  booktitle    = {Multiple Approaches to Intelligent Systems, 12th International Conference
                  on Industrial and Engineering Applications of Artificial Intelligence
                  and Expert Systems, IEA/AIE-99, Cairo, Egypt, May 31 - June 3, 1999,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1611},
  pages        = {1--3},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-540-48765-4\_1},
  doi          = {10.1007/978-3-540-48765-4\_1},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/ieaaie/Silva99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/SilvaAMVR99,
  author       = {Fl{\'{a}}vio S. Corr{\^{e}}a da Silva and
                  Jaume Agust{\'{\i}}{-}Cullell and
                  Ana Cristina Vieira de Melo and
                  Wamberto Weber Vasconcelos and
                  David Stuart Robertson},
  editor       = {Ibrahim F. Imam and
                  Yves Kodratoff and
                  Ayman El{-}Dessouki and
                  Moonis Ali},
  title        = {Why Ontologies Are Not Enough for Knowledge Sharing},
  booktitle    = {Multiple Approaches to Intelligent Systems, 12th International Conference
                  on Industrial and Engineering Applications of Artificial Intelligence
                  and Expert Systems, IEA/AIE-99, Cairo, Egypt, May 31 - June 3, 1999,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1611},
  pages        = {520--529},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-540-48765-4\_56},
  doi          = {10.1007/978-3-540-48765-4\_56},
  timestamp    = {Tue, 13 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ieaaie/SilvaAMVR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apin/Silva98,
  author       = {Fl{\'{a}}vio S. Corr{\^{e}}a da Silva},
  title        = {Applied Intelligence: Special Issue on Systems for Uncertain Reasoning},
  journal      = {Appl. Intell.},
  volume       = {9},
  number       = {2},
  pages        = {99--100},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1008266601015},
  doi          = {10.1023/A:1008266601015},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apin/Silva98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apin/CarbogimS98,
  author       = {Daniela Vasconcelos Carbogim and
                  Fl{\'{a}}vio S. Corr{\^{e}}a da Silva},
  title        = {Annotated Logic Applications for Imperfect Information},
  journal      = {Appl. Intell.},
  volume       = {9},
  number       = {2},
  pages        = {163--172},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1008268003741},
  doi          = {10.1023/A:1008268003741},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apin/CarbogimS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/FingerS98,
  author       = {Marcelo Finger and
                  Fl{\'{a}}vio S. Corr{\^{e}}a da Silva},
  title        = {Temporal Data Obsolescence: Modelling Problems},
  booktitle    = {5th Workshop on Temporal Representation and Reasoning, {TIME} '98,
                  Sanibel Island, Florida, USA, May 16-17, 1998},
  pages        = {45--50},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/TIME.1998.674130},
  doi          = {10.1109/TIME.1998.674130},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/time/FingerS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismm/BarreraTST96,
  author       = {Junior Barrera and
                  Routo Terada and
                  Fl{\'{a}}vio Soares Corr{\^{e}}a da Silva and
                  Nina Sumiko Tomita},
  editor       = {Petros Maragos and
                  Ronald W. Schafer and
                  Muhammad Akmal Butt},
  title        = {Automatic Programming of MMach's for {OCR}},
  booktitle    = {Proceedings of the 3th International Symposium on Mathematical Morphology
                  and its Applications to Image and Signal Processing, {ISMM} 1996,
                  Atlanta, GA, USA, May 1996},
  series       = {Computational Imaging and Vision},
  volume       = {5},
  pages        = {385--392},
  publisher    = {Kluwer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-1-4613-0469-2\_45},
  doi          = {10.1007/978-1-4613-0469-2\_45},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismm/BarreraTST96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/Silva95,
  author       = {Fl{\'{a}}vio S. Corr{\^{e}}a da Silva},
  title        = {On proof- and model-based techniques for reasoning with uncertainty},
  journal      = {Int. J. Intell. Syst.},
  volume       = {10},
  number       = {6},
  pages        = {561--570},
  year         = {1995},
  url          = {https://doi.org/10.1002/int.4550100603},
  doi          = {10.1002/INT.4550100603},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijis/Silva95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/law/SilvaRH92,
  author       = {Fl{\'{a}}vio S. Corr{\^{e}}a da Silva and
                  David Stuart Robertson and
                  Jane Hesketh},
  editor       = {Michael Masuch and
                  L{\'{a}}szl{\'{o}} P{\'{o}}los},
  title        = {Automated Reasoning with Uncertainties},
  booktitle    = {Knowledge Representation and Reasoning Under Uncertainty, Logic at
                  Work [International Conference Logic at Work, Amsterdam, The Netherlands,
                  December 17-19, 1992]},
  series       = {Lecture Notes in Computer Science},
  volume       = {808},
  pages        = {57--79},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-58095-6\_5},
  doi          = {10.1007/3-540-58095-6\_5},
  timestamp    = {Tue, 13 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/law/SilvaRH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/SilvaRC91,
  author       = {Fl{\'{a}}vio S. Corr{\^{e}}a da Silva and
                  David Stuart Robertson and
                  Paul W. H. Chung},
  editor       = {Rudolf Kruse and
                  Pierre Siegel},
  title        = {Automated Reasoning About an Uncertain Domain},
  booktitle    = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty,
                  European Conference, ECSQAU, Marseille, France, October 15-17, 1991,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {548},
  pages        = {141--145},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54659-6\_80},
  doi          = {10.1007/3-540-54659-6\_80},
  timestamp    = {Tue, 13 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/SilvaRC91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics