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: 25 fev. 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 fev. 25 ] 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 fev. 25 ] Available from: https://repositorio.usp.br/directbitstream/1a2e1c5e-cabd-4499-ad2a-0e876235f7bf/Cozman-2013-Probabilistic%20satisfiability%20and%20coherence%20checking%20through%20Integer%20programming.pdf - Controlador de trajetoria para o robô móvel ariel - solução de controle ótimo
- Inteligência Artificial no dia-a-dia [Entrevista á Fabio de Lima]
- Tomada de decisão com conjuntos de medidas de probabilidade: conceitos de independência e modelos baseados em grafos
- Markov conditions and factorization in logical credal networks
- Robo da usp. [Depoimento]
- Pesquisadores da USP concluem robo móvel e vão torna-lo mais inteligente. [Depoimento]
- Estudo internacional revela como neurônios artificiais simulam habilidades cerebrais complexas [Entrevista a Guilherme Castro Souza]
- Geração de redes bayesianas uniformemente distribuídas
- Robustness analysis of Bayesian networks with local convex sets of distributions
- Axiomatizing noisy-OR
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
