|
|
|
|
Advances on belief base dynamics / Marco Paulo Ferreirinha Garapa ; orient. Eduardo Leopoldo Fermé, Maurício Duarte Luís ReisPublication:Funchal : [s.n.], 2017Description: 247 p. :
il. ;
30 cm +
CD-ROMAvailability:
|
|
|
|
|
Advances on belief base dynamics [Recurso eletrónico] / Marco Paulo Ferreirinha Garapa ; orient. Eduardo Leopoldo Fermé, Maurício Duarte Luís ReisPublication:Funchal : [s.n.], 2017Description: 1 CD-ROM +
MonogrAvailability: Copies available for reference: Biblioteca da Universidade da Madeira[T/DCD-R 51 GAR Adv] (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).
|
|
|
|
|
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).
|
|
|
|
|
Lógica modal etiquetada em Isabelle / Marco Paulo Ferreirinha Garapa ; orient. Francisco Miguel Alves Campos de Sousa DionisioPublication:Funchal : Marco Paulo Ferreirinha Garapa, 2006Description: 265 p +
Curr. vitaeAvailability: Copies available for loan: Biblioteca da Universidade da Madeira[T/M UMa 51 GAR Lóg]
(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).
|
|
|
|
|
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).
|
|
|
|
|
Studies in credibility [Recurso eletrónico] : limited base revision / Marco Garapa, Eduardo Fermé, Maurício D. L. ReisPiece-Analytic Level: Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), AAAI = 2018, p. 240-247, [S.l.]Publication:Availability: Copies available for reference: Biblioteca da Universidade da Madeira[ANL/MON/URL 004 INT Pro] (1).
|
|
|
|
|
Studies on brutal contraction and severe withdrawal [Recurso eletrónico] / M. Garapa, Eduardo Fermé, M. D. L. ReisSet Level: Studia logica, p. 331–360, 0039-3215 (Print) ; 1572-8730 (eISSN), V. 105, n. 2, Springer Nature, Switzerland AG = Abr. 2017Publication:Availability: Copies available for reference: Biblioteca da Universidade da Madeira[ANL/PP/URL 51 Stu] (1).
|
