Probabilistic satisfiability and coherence checking through Integer programming (2013)
- Authors:
- Autor USP: COZMAN, FABIO GAGLIARDI - EP
- Unidade: EP
- Subjects: PROBABILIDADE E ESTATISTICA; INTELIGÊNCIA ARTIFICIAL
- Language: Inglês
- Imprenta:
- Source:
- Conference titles: European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
-
ABNT
COZMAN, Fabio Gagliardi e IANNI, Lucas Fargoni di. Probabilistic satisfiability and coherence checking through Integer programming. 2013, Anais.. Berlin: Springer, 2013. Disponível em: https://repositorio.usp.br/directbitstream/1a2e1c5e-cabd-4499-ad2a-0e876235f7bf/Cozman-2013-Probabilistic%20satisfiability%20and%20coherence%20checking%20through%20Integer%20programming.pdf. Acesso em: 01 jan. 2026. -
APA
Cozman, F. G., & Ianni, L. F. di. (2013). Probabilistic satisfiability and coherence checking through Integer programming. In Symbolic and quantitative approaches to reasoning and uncertainty: ECSQARU'2013: proceedings. Berlin: Springer. Recuperado de https://repositorio.usp.br/directbitstream/1a2e1c5e-cabd-4499-ad2a-0e876235f7bf/Cozman-2013-Probabilistic%20satisfiability%20and%20coherence%20checking%20through%20Integer%20programming.pdf -
NLM
Cozman FG, Ianni LF di. Probabilistic satisfiability and coherence checking through Integer programming [Internet]. Symbolic and quantitative approaches to reasoning and uncertainty: ECSQARU'2013: proceedings. 2013 ;[citado 2026 jan. 01 ] Available from: https://repositorio.usp.br/directbitstream/1a2e1c5e-cabd-4499-ad2a-0e876235f7bf/Cozman-2013-Probabilistic%20satisfiability%20and%20coherence%20checking%20through%20Integer%20programming.pdf -
Vancouver
Cozman FG, Ianni LF di. Probabilistic satisfiability and coherence checking through Integer programming [Internet]. Symbolic and quantitative approaches to reasoning and uncertainty: ECSQARU'2013: proceedings. 2013 ;[citado 2026 jan. 01 ] Available from: https://repositorio.usp.br/directbitstream/1a2e1c5e-cabd-4499-ad2a-0e876235f7bf/Cozman-2013-Probabilistic%20satisfiability%20and%20coherence%20checking%20through%20Integer%20programming.pdf - Tomada de decisão com conjuntos de medidas de probabilidade: conceitos de independência e modelos baseados em grafos
- Selecting exact and approximate algorithms in decomposed bayesian networks
- Propositional and relational bayesian networks associated with imprecise and qualitative probabilistic assessments
- Portal para análise de dados temporais em aprendizado semi-supervisionado com restrições
- Aprendizado ativo utilizando dados classificados e não-classificados
- RoPET: um robô automóvel para inspeção controlado via internet
- Learning bayesian network classifiers for facial expression recognition using both labeled and unlabeled data
- Inference in credal networks with branch-and-bound algorithms
- Constructing sets of probability measures through kuznetsov's independence condition
- Selecting exact and approximate algorithms in decomposed bayesian networks
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
Cozman-2013-Probabilistic... |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
