Belief revision in ACTL using bounded model checking

Empirical Analysis of Belief Base Revision Algorithms

Revision of temporal beliefs

Belif revision in description logics - a Plug-in for Protégé

Belief revision in description logics and other non-classical logics

Avaliação dos efeitos modulatórios e mecanismos do fragmento sintético de leptina...

Faunistic analysis of Saturniidae (Insecta, Lepidoptera) in a fragment of Atlantic...

Restoration of a forest remnant using agroforestry

The romantic fragment in O poema do frade

Regeneration trajectory in a degraded semideciduous seasonal forest fragment submitted...