Belief revision in description logics with tipicality (2013)
- Authors:
- USP affiliated authors: WASSERMANN, RENATA - IME ; CURADO, JOSÉ DAVID FERNÁNDEZ - IME
- Unidade: IME
- Subjects: LÓGICA MATEMÁTICA; REPRESENTAÇÃO DE CONHECIMENTO
- Language: Inglês
- Imprenta:
- Publisher: UNILOG
- Publisher place: Rio de Janeiro
- Date published: 2013
- Source:
- Conference titles: World Congress and School on Universal Logic
-
ABNT
CURADO, José David Fernandez e WASSERMANN, Renata. Belief revision in description logics with tipicality. 2013, Anais.. Rio de Janeiro: UNILOG, 2013. Disponível em: https://www.uni-log.org/start4.html. Acesso em: 19 fev. 2026. -
APA
Curado, J. D. F., & Wassermann, R. (2013). Belief revision in description logics with tipicality. In Handbook of the 4th World Congress and School on Universal Logic. Rio de Janeiro: UNILOG. Recuperado de https://www.uni-log.org/start4.html -
NLM
Curado JDF, Wassermann R. Belief revision in description logics with tipicality [Internet]. Handbook of the 4th World Congress and School on Universal Logic. 2013 ;[citado 2026 fev. 19 ] Available from: https://www.uni-log.org/start4.html -
Vancouver
Curado JDF, Wassermann R. Belief revision in description logics with tipicality [Internet]. Handbook of the 4th World Congress and School on Universal Logic. 2013 ;[citado 2026 fev. 19 ] Available from: https://www.uni-log.org/start4.html - Typicality in description logics
- Horn clause contraction functions: belief set and belief base approaches
- Belief revision and computer science
- Hyperintensional models and belief change
- Merging ontologies via kernel contraction
- On the link between partial meet, kernel, and infra contraction and its application to Horn logic
- Local diagnosis
- Approximate belief revision
- Generalized change and the meaning of rationality postulates
- Full acceptance via argumentation
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
