Generalized probabilistic satisfiability (2013)
- Authors:
- USP affiliated authors: COZMAN, FABIO GAGLIARDI - EP ; FINGER, MARCELO - IME ; BONA, GLAUBER DE - IME
- Unidades: EP; IME
- DOI: 10.1109/BRACIS.2013.38
- Assunto: LÓGICA FORMAL
- Language: Inglês
- Imprenta:
- Publisher: IEEE
- Publisher place: Piscataway
- Date published: 2013
- Source:
- Título: Proceeding
- Conference titles: Brazilian Conference on Intelligent Systems - BRACIS
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
DE BONA, Glauber e COZMAN, Fabio Gagliardi e FINGER, Marcelo. Generalized probabilistic satisfiability. 2013, Anais.. Piscataway: IEEE, 2013. Disponível em: https://doi.org/10.1109/BRACIS.2013.38. Acesso em: 02 out. 2024. -
APA
De Bona, G., Cozman, F. G., & Finger, M. (2013). Generalized probabilistic satisfiability. In Proceeding. Piscataway: IEEE. doi:10.1109/BRACIS.2013.38 -
NLM
De Bona G, Cozman FG, Finger M. Generalized probabilistic satisfiability [Internet]. Proceeding. 2013 ;[citado 2024 out. 02 ] Available from: https://doi.org/10.1109/BRACIS.2013.38 -
Vancouver
De Bona G, Cozman FG, Finger M. Generalized probabilistic satisfiability [Internet]. Proceeding. 2013 ;[citado 2024 out. 02 ] Available from: https://doi.org/10.1109/BRACIS.2013.38 - Generalized probabilistic satisfiability through integer programming
- Towards classifying propositional probabilistic logics
- Satisfazibilidade Probabilística
- A logic based algorithm for solving probabilistic satisfiability
- Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
- A refuted conjecture on probabilistic satisfiability
- Uma conjectura refutada sobre satisfazibilidade probabilística
- Algorithms for deciding counting quantifiers over unary predicates
- Probabilistic satisfiability: logic-based algorithms and phase transition
- Notes on measuring inconsistency in probabilistic logic
Informações sobre o DOI: 10.1109/BRACIS.2013.38 (Fonte: oaDOI API)
Download do texto completo
Tipo | Nome | Link | |
---|---|---|---|
Cozman-2013-Generalized p... |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas