Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/78054
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Jain, Manisha | por |
dc.contributor.author | Gomes, Leandro | por |
dc.contributor.author | Madeira, Alexandre | por |
dc.contributor.author | Barbosa, L. S. | por |
dc.date.accessioned | 2022-05-30T20:19:02Z | - |
dc.date.available | 2022-05-30T20:19:02Z | - |
dc.date.issued | 2021 | - |
dc.identifier.citation | M. Jain, L. Gomes, A. Madeira and L. S. Barbosa, "Towards a specification theory for fuzzy modal logic," 2021 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2021, pp. 175-182, doi: 10.1109/TASE52547.2021.00031. | por |
dc.identifier.isbn | 9781665441636 | por |
dc.identifier.uri | https://hdl.handle.net/1822/78054 | - |
dc.description.abstract | Fuzziness, as a way to express imprecision, or uncertainty, in computation is an important feature in a number of current application scenarios: from hybrid systems interfacing with sensor networks with error boundaries, to knowledge bases collecting data from often non-coincident human experts. Their abstraction in e.g. fuzzy transition systems led to a number of mathematical structures to model this sort of systems and reason about them. This paper adds two more elements to this family: two modal logics, framed as institutions, to reason about fuzzy transition systems and the corresponding processes. This paves the way to the development, in the second part of the paper, of an associated theory of structured specification for fuzzy computational systems. | por |
dc.description.sponsorship | This work is financed by the ERDF - European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation -COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT -Fundacao para a Ciencia e a Tecnologia within project POCI-01-0145-FEDER-029946 -PTDC/CCI-COM/29946/2017. | por |
dc.language.iso | eng | por |
dc.publisher | IEEE | por |
dc.relation | info:eu-repo/grantAgreement/FCT/9471 - RIDTI/PTDC%2FCCI-COM%2F29946%2F2017/PT | por |
dc.rights | openAccess | por |
dc.subject | Dynamic Logic | por |
dc.subject | Fuzzy logic | por |
dc.subject | Specification | por |
dc.title | Towards a specification theory for fuzzy modal logic | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | https://ieeexplore.ieee.org/document/9546826 | por |
oaire.citationStartPage | 175 | por |
oaire.citationEndPage | 182 | por |
dc.identifier.doi | 10.1109/TASE52547.2021.00031 | por |
dc.subject.fos | Ciências Naturais::Ciências da Computação e da Informação | por |
dc.subject.wos | Science & Technology | por |
sdum.conferencePublication | 2021 International Symposium on Theoretical Aspects of Software Engineering (TASE) | por |
sdum.bookTitle | 2021 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2021) | por |
oaire.version | VoR | por |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
JGMB21.pdf | 265,13 kB | Adobe PDF | Ver/Abrir |