Satisfiability in EL with sets of probabilistic ABoxes (2011)
- Authors:
- USP affiliated authors: FINGER, MARCELO - IME ; WASSERMANN, RENATA - IME ; COZMAN, FABIO GAGLIARDI - EP
- Unidades: IME; EP
- Subjects: LÓGICA FORMAL; RACIOCÍNIO PROBABILÍSTICO
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: CEUR Workshop Proceedings
- ISSN: 1613-0073
- Volume/Número/Paginação/Ano: v. 745, p. 1-11, 2011
- Conference titles: International Workshop on Description Logics - DL
-
ABNT
FINGER, Marcelo e WASSERMANN, Renata e COZMAN, Fabio Gagliardi. Satisfiability in EL with sets of probabilistic ABoxes. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://ceur-ws.org/Vol-745/paper_14.pdf. Acesso em: 09 jan. 2026. , 2011 -
APA
Finger, M., Wassermann, R., & Cozman, F. G. (2011). Satisfiability in EL with sets of probabilistic ABoxes. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://ceur-ws.org/Vol-745/paper_14.pdf -
NLM
Finger M, Wassermann R, Cozman FG. Satisfiability in EL with sets of probabilistic ABoxes [Internet]. CEUR Workshop Proceedings. 2011 ; 745 1-11.[citado 2026 jan. 09 ] Available from: http://ceur-ws.org/Vol-745/paper_14.pdf -
Vancouver
Finger M, Wassermann R, Cozman FG. Satisfiability in EL with sets of probabilistic ABoxes [Internet]. CEUR Workshop Proceedings. 2011 ; 745 1-11.[citado 2026 jan. 09 ] Available from: http://ceur-ws.org/Vol-745/paper_14.pdf - Approximate and limited reasoning: semantics, proof theory, expressivity and control
- The universe of propositional approximations
- Anytime approximations of classical logic from above
- Tableaux for approximate reasoning
- The universe of approximations
- Revising specifications with CTL properties using bounded model checking
- Expressivity and control in limited reasoning
- Logics for approximate reasoning: approximating classical logic “from above”
- Tableaux for approximate reasoning
- Ontocloud: a clinical information ontology based data integration system
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
| Cozman-2011-Satisfiabilit... |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
