|
|
|
An axiomatic characterization of ensconcement-based contraction [Recurso eletrónico] / Eduardo Fermé, Martín Krevneris, Maurício ReisSet Level: Journal of logic and computation, p. 739–753, 0955-792X (Print) ; 1465-363X (Online), V. 18, n. 5, Oxford University Press, Oxford = Out. 2008, 68055Publication:Availability: Copies available for reference: Biblioteca da Universidade da Madeira[ANL/PP/URL 51 Jou] (1).
|
|
|
|
Construction of system of spheres-based transitively relational partial meet multiple contractions [Recurso eletrónico] / Maurício D. L. Reis, Eduardo Fermé, Pavlos Peppas : an impossibility resultSet Level: Artificial intelligence, p. 122-141, 0004-3702, Vol. 233, Elsevier B.V, United States = Abr. 2016Publication:Availability: Copies available for reference: Biblioteca da Universidade da Madeira[ANL/PP/URL 004 Art] (1).
|
|
|
|
Credibility-limited base revision [Recurso eletrónico] / Marco Garapa, Eduardo Fermé, Maurício D. L. Reis : new classes and their characterizationsSet Level: Journal of artificial intelligence research, p. 1023-1075, 1076 - 9757, V. 69, AI Access Foundation, Califórnia = 2020Publication:Availability: Copies available for reference: Biblioteca da Universidade da Madeira[ANL/PP/URL 004 Jou] (1).
|
|
|
|
Epistemic entrenchment-based multiple contractions [Recurso eletrónico] / Eduardo Fermé, Maurício D. L. ReisSet Level: The review of symbolic logic, p. 460-487, 1755-0203 (Print) ; 1755-0211 (Online), V. 6, n. 3, Cambridge University Press, Cambridge = Set. 2013Publication:Availability: Copies available for reference: Biblioteca da Universidade da Madeira[ANL/PP/URL 51 Rev] (1).
|
|
|
|
Funções teste e funções generalizadas em dimensão 1 [Recurso eletrónico] / Jorge Ferreira... [et al.] : descrição e caracterizaçãoSet Level: Lisboa, 59-75, Boletim da SPM, N. 52, 0872–3672 = Maio 2005, Sociedade Portuguesa de Matemática, 19801Publication:Availability: Copies available for reference: Biblioteca da Universidade da Madeira[ANL/PP/URL 51 Bol] (1).
|
|
|
|
How to construct remainder sets for paraconsistent revisions [Recurso eletrónico] : preliminary report / Rafael Testa... [et al.]Piece-Analytic Level: 17th International Workshop on Non-Monotonic Reasoning: NMR 2018Eduardo Fermé, Serena Villata , [S.l.], AAAI = 2018, [p. 1-7]Publication:Availability: Copies available for reference: Biblioteca da Universidade da Madeira[ANL/MON/URL 004 INT Sev] (1).
|
|
|
|
On ensconcement and contraction [Recurso eletrónico] / Eduardo Fermé, Marco Garapa, Maurício D. L. ReisSet Level: Journal of logic and computation, p. 2011-2042, 0955-792X (Print) ; 1465-363X (Online), V. 27, n. 7, Oxford University Press, Oxford = Out. 2017, 68055Publication:Availability: Copies available for reference: Biblioteca da Universidade da Madeira[ANL/PP/URL 51 Jou] (1).
|
|
|
|
Possible worlds semantics for partial meet multiple contraction [Recurso eletrónico] / Maurício D. L. Reis, Eduardo FerméSet Level: Journal of philosophical logic, p. 7-28, 0022-3611 (Print) ; 1573-0433 (eISSN), V. 41, n. 1, Springer Nature, Switzerland AG = Fev. 2012Publication:Availability: Copies available for reference: Biblioteca da Universidade da Madeira[ANL/PP/URL 51 Jou] (1).
|
|
|
|
Residual contraction [Recurso eletrónico] / Marco Garapa, Maurício D. L. ReisSet Level: Journal of logic, language and information, p. 255-274, 0925-8531 (Print) ; 1572-9583 (eISSN), Vol. 29, n. 2, Springer Nature, Switzerland AG = Jun. 2020Publication:Availability: Copies available for reference: Biblioteca da Universidade da Madeira[ANL/PP/URL 51 Jou] (1).
|
|
|
|
Shielded base contraction [Recurso eletrónico] / Marco Garapa, Eduardo Fermé, Maurício D. L. ReisSet Level: Artificial intelligence, p. 186-216, 0004-3702, V. 259, Elsevier B.V, United States = Jun. 2018Publication:Availability: Copies available for reference: Biblioteca da Universidade da Madeira[ANL/PP/URL 004 Art] (1).
|