On the link between partial meet, kernel, and infra contraction and its application to Horn logic (2011)
- Authors:
- Autor USP: WASSERMANN, RENATA - IME
- Unidade: IME
- DOI: 10.5555/2208436.2208438
- Assunto: COMPUTABILIDADE E COMPLEXIDADE
- Language: Inglês
- Imprenta:
- Source:
- Título: Journal of Artificial Intelligence Research
- ISSN: 1076-9757
- Volume/Número/Paginação/Ano: v. 42, n. 1, p. 31-53, 2011
-
ABNT
BOOTH, Richard et al. On the link between partial meet, kernel, and infra contraction and its application to Horn logic. Journal of Artificial Intelligence Research, v. 42, n. 1, p. 31-53, 2011Tradução . . Disponível em: https://doi.org/10.5555/2208436.2208438. Acesso em: 01 abr. 2026. -
APA
Booth, R., Meyer, T., Varzinczak, I., & Wassermann, R. (2011). On the link between partial meet, kernel, and infra contraction and its application to Horn logic. Journal of Artificial Intelligence Research, 42( 1), 31-53. doi:10.5555/2208436.2208438 -
NLM
Booth R, Meyer T, Varzinczak I, Wassermann R. On the link between partial meet, kernel, and infra contraction and its application to Horn logic [Internet]. Journal of Artificial Intelligence Research. 2011 ; 42( 1): 31-53.[citado 2026 abr. 01 ] Available from: https://doi.org/10.5555/2208436.2208438 -
Vancouver
Booth R, Meyer T, Varzinczak I, Wassermann R. On the link between partial meet, kernel, and infra contraction and its application to Horn logic [Internet]. Journal of Artificial Intelligence Research. 2011 ; 42( 1): 31-53.[citado 2026 abr. 01 ] Available from: https://doi.org/10.5555/2208436.2208438 - 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
- Local diagnosis
- Approximate belief revision
- Generalized change and the meaning of rationality postulates
- Full acceptance via argumentation
- A contraction core for Horn belief change: preliminary report
- An argumentation machinery to reason over inconsistent ontologies
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
