Publication
How to construct remainder sets for paraconsistent revisions: preliminary report
| dc.contributor.author | Testa, Rafael | |
| dc.contributor.author | Fermé, Eduardo | |
| dc.contributor.author | Garapa, Marco | |
| dc.contributor.author | Reis, Maurício | |
| dc.date.accessioned | 2023-01-31T12:13:30Z | |
| dc.date.available | 2023-01-31T12:13:30Z | |
| dc.date.issued | 2018 | |
| dc.description.abstract | Revision operation is the consistent expansion of a theory by a new belief-representing sentence. We consider that in a paraconsistent setting this desideratum can be accomplished in at least three distinct ways: the output of a revision op eration should be either non-trivial or non-contradictory (in general or relative to the new belief). In this paper those dis tinctions will be explored in the constructive level by showing how the remainder sets could be refined, capturing the key concepts of paraconsistency in a dynamical scenario. These are preliminaries results of a wider project on Paraconsistent Belief Change conduced by the authors. | pt_PT |
| dc.description.version | info:eu-repo/semantics/publishedVersion | pt_PT |
| dc.identifier.citation | Testa, R., Fermé, E., Garapa, M., & Reis, M. (2018). How to construct remainder sets for paraconsistent revisions: preliminary report. 17 th Iinternational Workshop on Non-Monotonic Reasoning 2018. | pt_PT |
| dc.identifier.uri | http://hdl.handle.net/10400.13/4981 | |
| dc.language.iso | eng | pt_PT |
| dc.publisher | AAAI Publications | pt_PT |
| dc.relation | NOVA Laboratory for Computer Science and Informatics | |
| dc.relation | Research Centre for Mathematics and Applications | |
| dc.rights.uri | http://creativecommons.org/licenses/by/4.0/ | pt_PT |
| dc.subject | Belief | pt_PT |
| dc.subject | Revision operation | pt_PT |
| dc.subject | Paraconsistent revisions | pt_PT |
| dc.subject | . | pt_PT |
| dc.subject | Faculdade de Ciências Exatas e da Engenharia | pt_PT |
| dc.title | How to construct remainder sets for paraconsistent revisions: preliminary report | pt_PT |
| dc.type | conference object | |
| dspace.entity.type | Publication | |
| oaire.awardTitle | NOVA Laboratory for Computer Science and Informatics | |
| oaire.awardTitle | Research Centre for Mathematics and Applications | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UID%2FCEC%2F04516%2F2013/PT | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UID%2FMAT%2F04674%2F2013/PT | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/3599-PPCDT/PTDC%2FCCI-COM%2F30990%2F2017/PT | |
| oaire.citation.endPage | 125 | pt_PT |
| oaire.citation.startPage | 119 | pt_PT |
| oaire.citation.title | 17 th Iinternational Workshop on Non-Monotonic Reasoning, 2018 | pt_PT |
| oaire.fundingStream | 6817 - DCRRNI ID | |
| oaire.fundingStream | 6817 - DCRRNI ID | |
| oaire.fundingStream | 3599-PPCDT | |
| 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 | conferenceObject | 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 | f9e53ffc-7786-4c3a-b9fc-424f5f88acb2 | |
| relation.isProjectOfPublication | d5b6b03a-3dfd-4fb2-97c0-ead0a1c55f24 | |
| relation.isProjectOfPublication | 9cf81ce7-2e2d-469d-ba33-9a70d1eb657d | |
| relation.isProjectOfPublication.latestForDiscovery | 9cf81ce7-2e2d-469d-ba33-9a70d1eb657d |