Publication
On ensconcement and contraction
dc.contributor.author | Fermé, Eduardo | |
dc.contributor.author | Garapa, Marco | |
dc.contributor.author | Reis, Maurício | |
dc.date.accessioned | 2023-01-30T14:40:05Z | |
dc.date.available | 2023-01-30T14:40:05Z | |
dc.date.issued | 2017 | |
dc.description.abstract | In this article we present an axiomatic characterization for the ensconcement-based contractions. We study the interrelation among ensconcement-based contractions and brutal contractions, and we present two ways of defining an ensconcement relation by means of a base contraction operation. Finally, we study the interrelations among ensconcement-based contraction and epistemic entrenchment-based contractions and among brutal contractions and severe withdrawals. | pt_PT |
dc.description.version | info:eu-repo/semantics/publishedVersion | pt_PT |
dc.identifier.citation | Fermé, E., Garapa, M., & Reis, M. D. (2017). On ensconcement and contraction. Journal of Logic and Computation, 27(7), 2011-2042. | pt_PT |
dc.identifier.doi | 10.1093/logcom/exx008 | pt_PT |
dc.identifier.uri | http://hdl.handle.net/10400.13/4977 | |
dc.language.iso | eng | pt_PT |
dc.peerreviewed | yes | pt_PT |
dc.publisher | Oxford University Press | pt_PT |
dc.relation | Research Centre for Mathematics and Applications | |
dc.relation | NOVA Laboratory for Computer Science and Informatics | |
dc.relation | Modelos de revisão de bases de crenças para fusão de ontologias | |
dc.rights.uri | http://creativecommons.org/licenses/by/4.0/ | pt_PT |
dc.subject | Belief change | pt_PT |
dc.subject | Belief bases | pt_PT |
dc.subject | Contraction | pt_PT |
dc.subject | Ensconcement | pt_PT |
dc.subject | Axiomatic characterization | pt_PT |
dc.subject | . | pt_PT |
dc.subject | Faculdade de Ciências Exatas e da Engenharia | pt_PT |
dc.title | On ensconcement and contraction | pt_PT |
dc.type | journal article | |
dspace.entity.type | Publication | |
oaire.awardTitle | Research Centre for Mathematics and Applications | |
oaire.awardTitle | NOVA Laboratory for Computer Science and Informatics | |
oaire.awardTitle | Modelos de revisão de bases de crenças para fusão de ontologias | |
oaire.awardURI | info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UID%2FMAT%2F04674%2F2013/PT | |
oaire.awardURI | info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UID%2FCEC%2F04516%2F2013/PT | |
oaire.awardURI | info:eu-repo/grantAgreement/FCT/OE/SFRH%2FBSAB%2F127790%2F2016/PT | |
oaire.citation.endPage | 2042 | pt_PT |
oaire.citation.issue | 7 | pt_PT |
oaire.citation.startPage | 2011 | pt_PT |
oaire.citation.title | Journal Of Logic And Computation | pt_PT |
oaire.citation.volume | 27 | pt_PT |
oaire.fundingStream | 6817 - DCRRNI ID | |
oaire.fundingStream | 6817 - DCRRNI ID | |
oaire.fundingStream | OE | |
person.familyName | Fermé | |
person.familyName | Garapa | |
person.familyName | Reis | |
person.givenName | Eduardo | |
person.givenName | Marco | |
person.givenName | Maurício | |
person.identifier | https://scholar.google.com/citations?user=Qu6aCR8AAAAJ&hl | |
person.identifier.ciencia-id | C515-D92F-8F54 | |
person.identifier.ciencia-id | 2712-ABAA-7FAD | |
person.identifier.ciencia-id | 881A-A9ED-56DD | |
person.identifier.orcid | 0000-0002-9618-2421 | |
person.identifier.orcid | 0000-0003-3697-1565 | |
person.identifier.orcid | 0000-0001-7437-8354 | |
person.identifier.scopus-author-id | 6507544015 | |
person.identifier.scopus-author-id | 57191524100 | |
person.identifier.scopus-author-id | 16025753300 | |
project.funder.identifier | http://doi.org/10.13039/501100001871 | |
project.funder.identifier | http://doi.org/10.13039/501100001871 | |
project.funder.identifier | http://doi.org/10.13039/501100001871 | |
project.funder.name | Fundação para a Ciência e a Tecnologia | |
project.funder.name | Fundação para a Ciência e a Tecnologia | |
project.funder.name | Fundação para a Ciência e a Tecnologia | |
rcaap.rights | openAccess | pt_PT |
rcaap.type | article | pt_PT |
relation.isAuthorOfPublication | dbd2982b-b171-4458-b280-5bf0569ca5f2 | |
relation.isAuthorOfPublication | 17ad4b81-ed14-4f2c-9302-0c6fa9125673 | |
relation.isAuthorOfPublication | 6ad739b6-6c65-4385-bde1-71d6047878fe | |
relation.isAuthorOfPublication.latestForDiscovery | 17ad4b81-ed14-4f2c-9302-0c6fa9125673 | |
relation.isProjectOfPublication | d5b6b03a-3dfd-4fb2-97c0-ead0a1c55f24 | |
relation.isProjectOfPublication | f9e53ffc-7786-4c3a-b9fc-424f5f88acb2 | |
relation.isProjectOfPublication | 9bc97f81-1c0f-4f1a-97b5-5e1fc4bb9db1 | |
relation.isProjectOfPublication.latestForDiscovery | 9bc97f81-1c0f-4f1a-97b5-5e1fc4bb9db1 |